projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add more location info in CoreLint
[ghc-hetmet.git]
/
compiler
/
coreSyn
/
CoreTidy.lhs
diff --git
a/compiler/coreSyn/CoreTidy.lhs
b/compiler/coreSyn/CoreTidy.lhs
index
b77186e
..
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])