[perform CPR analysis early.
John Meacham <john@repetae.net>**20051004120802] hunk ./DataConstructors.hs 89
-    Nothing -> fail $ "getConstructor: " ++ show n
+    Nothing -> fail $ "getConstructor: " ++ show (nameType n,n)
hunk ./E/SSimplify.hs 448
-        | Properties p <- Info.fetch (tvrInfo x) = Set.member prop_NOINLINE p || Set.member prop_WORKER p
+        | Properties p <- Info.fetch (tvrInfo x) = Set.member prop_NOINLINE p -- || Set.member prop_WORKER p
hunk ./Main.hs 9
+import Maybe
hunk ./Main.hs 183
-            wdump FD.Lambdacube $ printCheckName fullDataTable lc
+            --wdump FD.Lambdacube $ printCheckName' fullDataTable lc
hunk ./Main.hs 187
+        cds' <- return $ concatMap (uncurry (workWrap fullDataTable)) cds
+        let wws = length cds' - length cds
+        wdump FD.Progress $ putErr (replicate wws 'w')
+        cds <- flip mapM (cds') $ \ (v,lc) -> do
+            let cm stats e = do
+                let sopt = mempty { SS.so_superInline = True, SS.so_exports = inscope, SS.so_boundVars = smap, SS.so_rules = allRules, SS.so_dataTable = fullDataTable }
+                let (e',stat,occ) = SS.simplify sopt e
+                Stats.tickStat stats stat
+                return e'
+            lc <- mangle (return ()) False ("Barendregt: ") (return . barendregt) lc
+            lc <- doopt mangle False stats "SuperSimplify" cm lc
+            --lc <- mangle (return ()) False ("Barendregt: " ++ show n) (return . barendregt) lc
+            --lc <- doopt mangle False stats "Float Inward..." (\stats x -> return (floatInward allRules x)) lc
+            --lc <- doopt mangle False stats "SuperSimplify" cm lc
+            wdump FD.Lambdacube $ printCheckName' fullDataTable v lc
+            return (v,lc)
hunk ./Main.hs 204
-        let nvls = [ (n,t,e) | n <- names | (t,e) <- cds ]
+        let nvls = [ (fromJust (fromId (tvrIdent t)),t,e)  | (t,e) <- cds ]
hunk ./Main.hs 321
+    lc <- mangle dataTable (return ()) True  "FixupLets..." (\x -> atomizeApps mempty finalStats x >>= coalesceLets finalStats)  lc
hunk ./Main.hs 336
-    --lc <- mangle dataTable (return ()) True  "FixupLets..." (\x -> atomizeApps mempty stats x >>= coalesceLets stats)  lc
hunk ./Main.hs 501
+
hunk ./Main.hs 505
-    putErrLn  ( render $ hang 4 (pprint ty))
+    putErrLn  ( render $ indent 4 (pprint ty))
hunk ./Main.hs 507
+printCheckName' dataTable tvr e = do
+    putErrLn  ( render $ hang 4 (pprint tvr <+> equals <+> pprint e <+> text "::") )
+    ty <- typecheck dataTable e
+    putErrLn  ( render $ indent 4 (pprint ty))