projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2000-05-12 12:56:45 by rrt]
[ghc-hetmet.git]
/
ghc
/
compiler
/
simplStg
/
LambdaLift.lhs
diff --git
a/ghc/compiler/simplStg/LambdaLift.lhs
b/ghc/compiler/simplStg/LambdaLift.lhs
index
09d10b9
..
20c6c10
100644
(file)
--- a/
ghc/compiler/simplStg/LambdaLift.lhs
+++ b/
ghc/compiler/simplStg/LambdaLift.lhs
@@
-11,7
+11,7
@@
module LambdaLift ( liftProgram ) where
import StgSyn
import Bag ( Bag, emptyBag, unionBags, unitBag, snocBag, bagToList )
import StgSyn
import Bag ( Bag, emptyBag, unionBags, unitBag, snocBag, bagToList )
-import Id ( mkVanillaId, idType, setIdArity, Id )
+import Id ( mkVanillaId, idType, setIdArityInfo, Id )
import VarSet
import VarEnv
import IdInfo ( exactArity )
import VarSet
import VarEnv
import IdInfo ( exactArity )
@@
-144,7
+144,9
@@
liftExpr :: StgExpr
-> LiftM (StgExpr, LiftInfo)
-> LiftM (StgExpr, LiftInfo)
-liftExpr expr@(StgCon con args _) = returnLM (expr, emptyLiftInfo)
+liftExpr expr@(StgLit _) = returnLM (expr, emptyLiftInfo)
+liftExpr expr@(StgConApp _ _) = returnLM (expr, emptyLiftInfo)
+liftExpr expr@(StgPrimApp _ _ _) = returnLM (expr, emptyLiftInfo)
liftExpr expr@(StgApp v args)
= lookUp v `thenLM` \ ~(sc, sc_args) -> -- NB the ~. We don't want to
liftExpr expr@(StgApp v args)
= lookUp v `thenLM` \ ~(sc, sc_args) -> -- NB the ~. We don't want to
@@
-442,7
+444,7
@@
newSupercombinator :: Type
newSupercombinator ty arity mod ci us idenv
= mkVanillaId (mkTopName uniq mod SLIT("_ll")) ty
newSupercombinator ty arity mod ci us idenv
= mkVanillaId (mkTopName uniq mod SLIT("_ll")) ty
- `setIdArity` exactArity arity
+ `setIdArityInfo` exactArity arity
-- ToDo: rm the setIdArity? Just let subsequent stg-saturation pass do it?
where
uniq = uniqFromSupply us
-- ToDo: rm the setIdArity? Just let subsequent stg-saturation pass do it?
where
uniq = uniqFromSupply us