[perform demand analysis in several more places.
John Meacham <john@repetae.net>**20060718053613] hunk ./Main.hs 25
-import E.Demand as Demand(analyzeProgram)
+import E.Demand as Demand(analyzeProgram,solveDs)
hunk ./Main.hs 317
+
hunk ./Main.hs 320
+
hunk ./Main.hs 355
-    progress "Big Type Anasysis"
-    prog <- transformProgram "typeAnalyze" DontIterate True (typeAnalyze True) prog
+    --progress "Big Type Anasysis"
+    --prog <- transformProgram "typeAnalyze" DontIterate True (typeAnalyze True) prog
hunk ./Main.hs 358
+    -- we have to redo strictness after type analysis, as it might have changed the number of arguments to functions
hunk ./Main.hs 363
-    prog <- Demand.analyzeProgram prog
hunk ./Main.hs 390
+        cds <- Demand.solveDs fullDataTable cds
hunk ./Main.hs 400
+        cds <- Demand.solveDs fullDataTable cds
hunk ./Main.hs 432
+        cds <- Demand.solveDs fullDataTable cds
hunk ./Main.hs 449
+
+    -- perform demand analysis
+    prog <- Demand.analyzeProgram prog
+
hunk ./Main.hs 461
-    prog <- transformProgram "typeAnalyze" DontIterate True (typeAnalyze True) prog
+    --prog <- transformProgram "typeAnalyze" DontIterate True (typeAnalyze True) prog
hunk ./Main.hs 987
+