projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix bugs, add boolean flag to identify coercion variables
[ghc-hetmet.git]
/
compiler
/
coreSyn
/
CoreTidy.lhs
diff --git
a/compiler/coreSyn/CoreTidy.lhs
b/compiler/coreSyn/CoreTidy.lhs
index
7b80eac
..
35948fc
100644
(file)
--- a/
compiler/coreSyn/CoreTidy.lhs
+++ b/
compiler/coreSyn/CoreTidy.lhs
@@
-11,13
+11,11
@@
module CoreTidy (
import CoreSyn
import CoreUtils ( exprArity )
import CoreSyn
import CoreUtils ( exprArity )
-import DataCon ( DataCon )
-import Id ( Id, mkUserLocal, idInfo, setIdInfo, idUnique,
- idType, setIdType )
+import Id ( Id, mkUserLocal, idInfo, setIdInfo, idUnique, idType )
import IdInfo ( setArityInfo, vanillaIdInfo,
newStrictnessInfo, setAllStrictnessInfo,
newDemandInfo, setNewDemandInfo )
import IdInfo ( setArityInfo, vanillaIdInfo,
newStrictnessInfo, setAllStrictnessInfo,
newDemandInfo, setNewDemandInfo )
-import Type ( Type, tidyType, tidyTyVarBndr, substTy, mkOpenTvSubst )
+import Type ( tidyType, tidyTyVarBndr, substTy )
import Var ( Var, TyVar, varName )
import VarEnv
import UniqFM ( lookupUFM )
import Var ( Var, TyVar, varName )
import VarEnv
import UniqFM ( lookupUFM )