projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove an unused import on Windows
[ghc-hetmet.git]
/
compiler
/
coreSyn
/
CoreTidy.lhs
diff --git
a/compiler/coreSyn/CoreTidy.lhs
b/compiler/coreSyn/CoreTidy.lhs
index
f634197
..
c928be4
100644
(file)
--- a/
compiler/coreSyn/CoreTidy.lhs
+++ b/
compiler/coreSyn/CoreTidy.lhs
@@
-17,7
+17,7
@@
import CoreSyn
import CoreArity
import Id
import IdInfo
import CoreArity
import Id
import IdInfo
-import Type
+import TcType( tidyType, tidyTyVarBndr )
import Var
import VarEnv
import UniqFM
import Var
import VarEnv
import UniqFM
@@
-123,7
+123,7
@@
tidyVarOcc (_, var_env) v = lookupVarEnv var_env v `orElse` v
-- tidyBndr is used for lambda and case binders
tidyBndr :: TidyEnv -> Var -> (TidyEnv, Var)
tidyBndr env var
-- tidyBndr is used for lambda and case binders
tidyBndr :: TidyEnv -> Var -> (TidyEnv, Var)
tidyBndr env var
- | isTyVar var = tidyTyVarBndr env var
+ | isTyCoVar var = tidyTyVarBndr env var
| otherwise = tidyIdBndr env var
tidyBndrs :: TidyEnv -> [Var] -> (TidyEnv, [Var])
| otherwise = tidyIdBndr env var
tidyBndrs :: TidyEnv -> [Var] -> (TidyEnv, [Var])
@@
-155,8
+155,8
@@
tidyLetBndr env (id,rhs)
idinfo = idInfo id
new_info = idInfo new_id
`setArityInfo` exprArity rhs
idinfo = idInfo id
new_info = idInfo new_id
`setArityInfo` exprArity rhs
- `setAllStrictnessInfo` newStrictnessInfo idinfo
- `setNewDemandInfo` newDemandInfo idinfo
+ `setStrictnessInfo` strictnessInfo idinfo
+ `setDemandInfo` demandInfo idinfo
`setInlinePragInfo` inlinePragInfo idinfo
-- Override the env we get back from tidyId with the new IdInfo
`setInlinePragInfo` inlinePragInfo idinfo
-- Override the env we get back from tidyId with the new IdInfo