fixed horrible bug in getting facts from BodyCat (thanks -Wall)
authorNorman Ramsey <nr@cs.tufts.edu>
Sat, 17 Apr 2010 19:41:19 +0000 (15:41 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Sat, 17 Apr 2010 19:41:19 +0000 (15:41 -0400)
src/Compiler/Hoopl/ZipDataflowNoRG.hs

index 2d08659..4726923 100644 (file)
@@ -534,7 +534,7 @@ normalizeGraph g = (graphMapBlocks dropFact g, facts g)
           exitFacts (JustO (FZBlock f b)) = unitFact (entryLabel b) f
           bodyFacts :: Body' (FZBlock f) n -> FactBase f
           bodyFacts (BodyUnit (FZBlock f b)) = unitFact (entryLabel b) f
-          bodyFacts (b1 `BodyCat` b2) = bodyFacts b1 `unionFactBase` bodyFacts b1
+          bodyFacts (b1 `BodyCat` b2) = bodyFacts b1 `unionFactBase` bodyFacts b2
 
 normaliseBody rg = (body, fact_base)
   where (GMany _ body _, fact_base) = normalizeGraph rg