[add option to perform type analysis
John Meacham <john@repetae.net>**20051012045211] hunk ./FlagOpts.flags 10
+type-analysis perhaps a basic points-to analysis on types right after method generation
hunk ./Main.hs 213
+        -- let (cds',st) = performWorkWrap fullDataTable cds
+        --Stats.tickStat stats st
hunk ./Main.hs 219
-                --lc <- mangle (return ()) False ("Barendregt: ") (return . barendregt) lc
hunk ./Main.hs 317
-    let ELetRec ds _ = lco in do
-        putStrLn "Supercombinators"
-        ds' <- typeAnalyze ds
-        mapM_ (\ (t,e) -> let (_,ts) = fromLam e in putStrLn $  (showTVr t) ++ " \\" ++ concat [ "(" ++ show  (tvrInfo t) ++ ")" | t <- ts, sortStarLike (getType t) ] ) ds'
+    when (fopts  FO.TypeAnalysis) $ do
+        let ELetRec ds _ = lco in do
+            putStrLn "Supercombinators"
+            ds' <- typeAnalyze ds
+            mapM_ (\ (t,e) -> let (_,ts) = fromLam e in putStrLn $  (showTVr t) ++ " \\" ++ concat [ "(" ++ show  (tvrInfo t) ++ ")" | t <- ts, sortStarLike (getType t) ] ) ds'