[don't lambda lift join points
John Meacham <john@repetae.net>**20060814064039] hunk ./E/LambdaLift.hs 12
-import E.Subst
hunk ./E/LambdaLift.hs 13
+import E.Subst
hunk ./E/LambdaLift.hs 17
-import Support.FreeVars
hunk ./E/LambdaLift.hs 18
+import Info.Types
+import Name.Id
hunk ./E/LambdaLift.hs 22
-import Util.UniqueMonad
+import Support.FreeVars
hunk ./E/LambdaLift.hs 25
-import Name.Id
+import Util.UniqueMonad
hunk ./E/LambdaLift.hs 62
-            if (isELam e || (shouldLift e && not st)) then do
+            if (isELam e || (shouldLift tvr e && not st)) then do
hunk ./E/LambdaLift.hs 96
-        h (Left (t,e):ds) rest ds' | shouldLift e = do
+        h (Left (t,e):ds) rest ds' | shouldLift t e = do
hunk ./E/LambdaLift.hs 110
-        h (Right rs:ds) rest ds' | any shouldLift (snds rs)  = do
+        h (Right rs:ds) rest ds' | any (uncurry shouldLift) rs  = do
hunk ./E/LambdaLift.hs 159
-                case shouldLift e of
+                case shouldLift t e of
hunk ./E/LambdaLift.hs 184
-shouldLift ECase {} = True
-shouldLift ELam {} = True
-shouldLift ELetRec {eBody = e } = shouldLift e
-shouldLift _ = False
+shouldLift _ ECase {} = True
+shouldLift t ELam {} | getProperty prop_JOINPOINT t = False
+shouldLift _ ELam {} = True
+--shouldLift t ELetRec {eBody = e } = shouldLift t e
+shouldLift _ _ = False