Commit d829642b authored by Ben Gamari's avatar Ben Gamari 🐢

Merge pull request #19 from bgamari/master

Guard redundant equations
parents 84255f0f 5405469b
......@@ -247,7 +247,9 @@ arfGraph pass@FwdPass { fp_lattice = lattice,
-> Fact e f -> m (DG f n e C, Fact C f)
c NothingC (JustO entry) = block entry `cat` body (successors entry) bdy
c (JustC entries) NothingO = body entries bdy
#if __GLASGOW_HASKELL__ < 711
c _ _ = error "bogus GADT pattern match failure"
#endif
-- Lift from nodes to blocks
-- @ start block.tex -2
......@@ -439,7 +441,9 @@ arbGraph pass@BwdPass { bp_lattice = lattice,
-> Fact C f -> m (DG f n e C, Fact e f)
c NothingC (JustO entry) = block entry `cat` body (successors entry) bdy
c (JustC entries) NothingO = body entries bdy
#if __GLASGOW_HASKELL__ < 711
c _ _ = error "bogus GADT pattern match failure"
#endif
-- Lift from nodes to blocks
block BNil = \f -> return (dgnil, f)
......
......@@ -193,7 +193,9 @@ splice bcat = sp
sp (GMany e1 b1 NothingO) (GMany NothingO b2 x2)
= {-# SCC "sp5" #-} (GMany e1 $! b1 `bodyUnion` b2) x2
#if __GLASGOW_HASKELL__ < 711
sp _ _ = error "bogus GADT match failure"
#endif
gSplice :: NonLocal n => Graph n e a -> Graph n a x -> Graph n e x
gSplice = splice blockAppend
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment