[print names of functions as simplification progresses
John Meacham <john@repetae.net>**20060412232530] hunk ./Main.hs 338
-            lc <- doopt mangle False stats "SuperSimplify" cm lc
+            lc <- doopt mangle False stats ("SuperSimplify 1: " ++ pprint v) cm lc
hunk ./Main.hs 348
-            lc <- doopt mangle False stats "SuperSimplify" cm lc
+            lc <- doopt mangle False stats ("SuperSimplify 2: " ++ pprint v) cm lc
hunk ./Main.hs 373
-                    let sopt = mempty { SS.so_exports = inscope, SS.so_boundVars = fromList [ (tvrIdent v,lc) | (v,lc) <- ds] `union` smap, SS.so_rules = allRules, SS.so_dataTable = fullDataTable }
+                    let sopt = mempty { SS.so_exports = inscope, SS.so_boundVars = fromList [ (tvrIdent v,lc) | (v,lc) <- ds] `union` smap,  SS.so_dataTable = fullDataTable }
hunk ./Main.hs 380
-                lc <- doopt mangle False stats "SuperSimplify" cm lc'
+                lc <- doopt mangle False stats ("SuperSimplify PostPWW: " ++ pprint v) cm lc'
hunk ./Main.hs 382
-                return ((v,lc):ds,used' `mappend` used)
+                return ((v,lc'):ds,used' `mappend` used)