Constant-propagation figure is now extracted automatically from John's code; some...
[packages/hoopl.git] / src / Compiler / Hoopl / Debug.hs
index 9e95b07..d03320e 100644 (file)
@@ -42,8 +42,8 @@ import Compiler.Hoopl.Show
 --------------------------------------------------------------------------------
 
 
-debugFwdJoins :: forall n f . Show f => TraceFn -> ChangePred -> FwdPass n f -> FwdPass n f
-debugBwdJoins :: forall n f . Show f => TraceFn -> ChangePred -> BwdPass n f -> BwdPass n f
+debugFwdJoins :: forall m n f . Show f => TraceFn -> ChangePred -> FwdPass m n f -> FwdPass m n f
+debugBwdJoins :: forall m n f . Show f => TraceFn -> ChangePred -> BwdPass m n f -> BwdPass m n f
 
 type TraceFn    = forall a . String -> a -> a
 type ChangePred = ChangeFlag -> Bool
@@ -70,11 +70,11 @@ type ShowN n   = forall e x . n e x ->      String
 type FPred n f = forall e x . n e x -> f        -> Bool
 type BPred n f = forall e x . n e x -> Fact x f -> Bool
 debugFwdTransfers::
-  forall n f . Show f => TraceFn -> ShowN n -> FPred n f -> FwdPass n f -> FwdPass n f
+  forall m n f . Show f => TraceFn -> ShowN n -> FPred n f -> FwdPass m n f -> FwdPass m n f
 debugFwdTransfers trace showN showPred pass = pass { fp_transfer = transfers' }
   where
-    (f, m, l) = getFTransfers $ fp_transfer pass
-    transfers' = mkFTransfer (wrap show f) (wrap show m) (wrap showFactBase l)
+    (f, m, l) = getFTransfer3 $ fp_transfer pass
+    transfers' = mkFTransfer3 (wrap show f) (wrap show m) (wrap showFactBase l)
     wrap :: forall e x . (Fact x f -> String) -> (n e x -> f -> Fact x f) -> n e x -> f -> Fact x f
     wrap showOutF ft n f = if showPred n f then trace output res else res
       where
@@ -83,11 +83,11 @@ debugFwdTransfers trace showN showPred pass = pass { fp_transfer = transfers' }
     name = fact_name (fp_lattice pass)
     
 debugBwdTransfers::
-  forall n f . Show f => TraceFn -> ShowN n -> BPred n f -> BwdPass n f -> BwdPass n f
+  forall m n f . Show f => TraceFn -> ShowN n -> BPred n f -> BwdPass m n f -> BwdPass m n f
 debugBwdTransfers trace showN showPred pass = pass { bp_transfer = transfers' }
   where
-    (f, m, l) = getBTransfers $ bp_transfer pass
-    transfers' = mkBTransfer (wrap show f) (wrap show m) (wrap showFactBase l)
+    (f, m, l) = getBTransfer3 $ bp_transfer pass
+    transfers' = mkBTransfer3 (wrap show f) (wrap show m) (wrap showFactBase l)
     wrap :: forall e x . (Fact x f -> String) -> (n e x -> Fact x f -> f) -> n e x -> Fact x f -> f
     wrap showInF ft n f = if showPred n f then trace output res else res
       where
@@ -97,7 +97,7 @@ debugBwdTransfers trace showN showPred pass = pass { bp_transfer = transfers' }
     
 
 -- debugFwdTransfers, debugFwdRewrites, debugFwdAll ::
---   forall n f . Show f => TraceFn -> ShowN n -> FwdPass n f -> FwdPass n f
+--   forall m n f . Show f => TraceFn -> ShowN n -> FwdPass m n f -> FwdPass m n f
 -- debugBwdTransfers, debugBwdRewrites, debugBwdAll ::
---   forall n f . Show f => TraceFn -> ShowN n -> BwdPass n f -> BwdPass n f
+--   forall m n f . Show f => TraceFn -> ShowN n -> BwdPass m n f -> BwdPass m n f