[remove old strictness analysis
John Meacham <john@repetae.net>**20060717022539] hunk ./E/Demand.hs 2
-    analyzeProgram,
hunk ./E/Demand.hs 3
+    DemandSignature(..),
hunk ./E/Demand.hs 5
-    DemandSignature(..)
+    analyzeProgram,
+    lazySig,
+    lazy,
+    lazyType
hunk ./E/Demand.hs 87
+lazyType = (DemandEnv mempty lazy) :=> []
+lazySig = DemandSignature 0 lazyType
+
hunk ./E/SSimplify.hs 41
-import qualified E.Strictness as Strict
hunk ./E/SSimplify.hs 493
-                return $ eStrictLet t e e'
-            [(t,e)] | worthStricting e, Just (Strict.S _) <- Info.lookup (tvrInfo t), not (getProperty prop_CYCLIC t) -> do
-                mtick "E.Simplify.strictness.let-to-case"
hunk ./E/WorkerWrapper.hs 8
-import Support.CanType
hunk ./E/WorkerWrapper.hs 12
-import E.Strictness
-import qualified E.Demand as Demand
hunk ./E/WorkerWrapper.hs 18
+import qualified E.Demand as Demand
hunk ./E/WorkerWrapper.hs 20
+import Support.CanType
hunk ./E/WorkerWrapper.hs 35
-    sa = maybe ((repeat L)) id (Info.lookup (tvrInfo tvr))
-    ans = f e ( sa ++ repeat L) cpr []
-    f (ELam t e) (S _:ss) (Fun x) ts
+    Demand.DemandSignature _ (_ Demand.:=> sa) = maybe Demand.lazySig id (Info.lookup (tvrInfo tvr))
+    ans = f e ( sa ++ repeat Demand.lazy) cpr []
+    f (ELam t e) (Demand.S _:ss) (Fun x) ts
hunk ./Info/Binary.hs 8
+import C.FFI(FfiExport)
+import E.CPR
hunk ./Info/Binary.hs 13
-import C.FFI(FfiExport)
-import E.CPR
-import E.Strictness
hunk ./Info/Binary.hs 32
-    cb (u :: E.Strictness.SA),
-    cb (u :: [E.Strictness.SA]),
hunk ./Main.hs 25
---import E.SStrictness as SStrict(analyzeProgram)
hunk ./Main.hs 36
-import E.Strictness
hunk ./Main.hs 326
-        let ns = programDs mprog
-        ns <- E.Strictness.solveDs ns
-        mprog <- return $ programSetDs ns mprog
hunk ./Main.hs 327
-        putStrLn "After strictness"
-        printProgram mprog
-        --SStrict.analyzeProgram mprog
hunk ./Main.hs 386
-        cds <- E.Strictness.solveDs cds
+        --cds <- E.Strictness.solveDs cds
hunk ./Main.hs 426
-        cds <- E.Strictness.solveDs cds
+        --cds <- E.Strictness.solveDs cds