[utilize strictness info to improve CPR analysis
John Meacham <john@repetae.net>**20051026043850] hunk ./E/CPR.hs 13
+import E.Strictness
hunk ./E/CPR.hs 35
+toVal c = case conSlots c of
+    [] -> Tag [conName c]
+    ss -> Tup (conName c) [ Top | _ <- ss]
+
+
hunk ./E/CPR.hs 98
+
+    cprAnalyze' env (ELam t e)
+        | Just (S _) <- Info.lookup (tvrInfo t), Just c <- getProduct dataTable (tvrType t) = let
+            (e',val) = cprAnalyze' (envInsert t (toVal c) env) e
+            in (ELam t e',Fun val)
hunk ./E/Strictness.hs 82
-    wts = [ sol y | (_,y) <- vs]
hunk ./E/Strictness.hs 83
+        let wts = [ sol y | (_,y) <- vs]
hunk ./E/Strictness.hs 154
+            fin as samap -- tell [(t,Lam [ Map.findWithDefault A tvr samap |  tvr <- as])]
hunk ./Main.hs 206
-        wdump FD.Lambdacube $ mapM_ (\ (v,lc) -> printCheckName' fullDataTable v lc) cds
hunk ./Main.hs 215
+        wdump FD.Lambdacube $ mapM_ (\ (v,lc) -> printCheckName' fullDataTable v lc) cds