[clean up messages during intial optimization pass, perform a lot more typechecks on lint
John Meacham <john@repetae.net>**20060322223612] hunk ./Main.hs 263
+    initialPassStats <- Stats.new
+
hunk ./Main.hs 267
-        stats <- Stats.new
+        mstats <- Stats.new
hunk ./Main.hs 278
-            Stats.tickStat stats stat
+            Stats.tickStat mstats stat
hunk ./Main.hs 281
+        lintCheckProgram mprog
hunk ./Main.hs 283
-            (v,lc) <- Stats.runStatIO stats (etaExpandDef' fullDataTable v lc)
-            lc <- doopt mangle False stats "SuperSimplify" cm lc
+            (v,lc) <- Stats.runStatIO mstats (etaExpandDef' fullDataTable v lc)
+            lc <- doopt mangle False mstats "SuperSimplify" cm lc
hunk ./Main.hs 290
-        wdump FD.Lambdacube $ mapM_ (\ (v,lc) -> printCheckName'' fullDataTable v lc) (programDs mprog)
hunk ./Main.hs 292
-        wdump FD.Lambdacube $ mapM_ (\ (v,lc) -> printCheckName'' fullDataTable v lc) (programDs mprog)
hunk ./Main.hs 294
-            (v,lc) <- Stats.runStatIO stats (etaExpandDef' fullDataTable v lc)
-            lc <- doopt mangle False stats "SuperSimplify" cm lc
+            (v,lc) <- Stats.runStatIO mstats (etaExpandDef' fullDataTable v lc)
+            lc <- doopt mangle False mstats "SuperSimplify" cm lc
hunk ./Main.hs 297
-            lc <- doopt mangle False stats "Float Inward..." (\stats x -> return (floatInward allRules x)) lc
+            lc <- doopt mangle False mstats "Float Inward..." (\stats x -> return (floatInward allRules x)) lc
hunk ./Main.hs 301
+        lintCheckProgram mprog
hunk ./Main.hs 303
-            --(v,lc) <- Stats.runStatIO stats (etaExpandDef' fullDataTable v lc)
-            lc <- doopt mangle False stats "SuperSimplify" cm lc
+            lc <- doopt mangle False mstats "SuperSimplify" cm lc
hunk ./Main.hs 307
+        lintCheckProgram mprog
hunk ./Main.hs 309
-        Stats.tickStat stats (progStats mprog)
+        Stats.tickStat mstats (progStats mprog)
hunk ./Main.hs 311
-        Stats.print ("InitialOptimize:" ++ pprint names) stats
+        wdump FD.Pass $
+            Stats.print ("InitialOptimize:" ++ pprint names) mstats
+        Stats.combine initialPassStats mstats
+        wdump FD.Progress $ putErr (if rec then "*" else ".")
hunk ./Main.hs 317
+    progress "Initial optimization pass"
hunk ./Main.hs 319
+    progress "!"
+    wdump FD.Progress $
+        Stats.print "Initial Pass Stats" initialPassStats
hunk ./Main.hs 341
+            lintCheckE fullDataTable v lc
hunk ./Main.hs 346
+            lintCheckE fullDataTable v lc
hunk ./Main.hs 351
+            lintCheckE fullDataTable v lc
hunk ./Main.hs 355
+            lintCheckE fullDataTable v lc
hunk ./Main.hs 371
+        sequence_ [lintCheckE fullDataTable v e | (v,e) <- cds ]
hunk ./Main.hs 373
+        sequence_ [lintCheckE fullDataTable v e | (v,e) <- cds ]
hunk ./Main.hs 405
+    progress "Optimization pass with workwrapping/CPR"
hunk ./Main.hs 412
-    (prog,_didSomething) <- if (fopts FO.TypeAnalysis) then do typeAnalyze prog else return (prog,False)
+    (prog,didSomething) <- if (fopts FO.TypeAnalysis) then do typeAnalyze prog else return (prog,False)
hunk ./Main.hs 416
-    prog <- if True then do
+    prog <- if didSomething then do
hunk ./Main.hs 424
+        progress "Post typeanalyis/etaexpansion pass"
hunk ./Main.hs 804
+        printProgram prog