[remove lambda lifting stuff to treat types specially
John Meacham <john@repetae.net>**20070516060747] {
hunk ./E/LambdaLift.hs 162
---    noLift <- return $ mempty `asTypeOf` noLift
+    noLift <- return $ mempty `asTypeOf` noLift
+    putStrLn "noLift"
+    Prelude.print noLift
hunk ./E/LambdaLift.hs 181
-            --local (declEnv_u (ds ++)) $ do
-            --    let (ds',e') = decomposeLet e
-            --    h ds' e' []
hunk ./E/LambdaLift.hs 195
-        g ec@ECase { eCaseScrutinee = (EVar v), eCaseAlts = as, eCaseDefault = d} | sortKindLike (tvrType v) = do
-            True <- asks isStrict
-            d' <- fmapM f d
-            let z (Alt l e) = do
-                    e' <- local (declEnv_u ((v,followAliases dataTable $ patToLitEE l):)) $ f e
-                    return $ Alt l e'
-            as' <- mapM z as
-            return $ caseUpdate ec { eCaseAlts = as', eCaseDefault = d'}
+--        g ec@ECase { eCaseScrutinee = (EVar v), eCaseAlts = as, eCaseDefault = d} | sortKindLike (tvrType v) = do
+--            True <- asks isStrict
+--            d' <- fmapM f d
+--            let z (Alt l e) = do
+--                    e' <- local (declEnv_u ((v,followAliases dataTable $ patToLitEE l):)) $ f e
+--                    return $ Alt l e'
+--            as' <- mapM z as
+--            return $ caseUpdate ec { eCaseAlts = as', eCaseDefault = d'}
hunk ./E/LambdaLift.hs 212
-                ss = filter (sortKindLike . tvrType) fvs'
+                --ss = filter (sortKindLike . tvrType) fvs'
+                ss = []
}
