Skip to content
Snippets Groups Projects
Commit 67a9242d authored by Keith Wansbrough's avatar Keith Wansbrough
Browse files

[project @ 2000-06-13 15:04:48 by keithw]

Fix: mkPiType has moved.
parent a8066070
No related merge requests found
......@@ -42,7 +42,7 @@ module SetLevels (
import CoreSyn
import CoreUtils ( exprType, exprIsTrivial, exprIsBottom )
import CoreUtils ( exprType, exprIsTrivial, exprIsBottom, mkPiType )
import CoreFVs -- all of it
import Subst
import Id ( Id, idType, idFreeTyVars, mkSysLocal, isOneShotLambda, modifyIdInfo,
......@@ -54,7 +54,7 @@ import VarSet
import VarEnv
import Name ( getOccName )
import OccName ( occNameUserString )
import Type ( isUnLiftedType, mkPiType, Type )
import Type ( isUnLiftedType, Type )
import BasicTypes ( TopLevelFlag(..) )
import Demand ( isStrict, wwLazy )
import UniqSupply
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment