projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove Linear Implicit Parameters, and all their works
[ghc-hetmet.git]
/
compiler
/
coreSyn
/
CoreTidy.lhs
diff --git
a/compiler/coreSyn/CoreTidy.lhs
b/compiler/coreSyn/CoreTidy.lhs
index
7b80eac
..
bacf64f
100644
(file)
--- a/
compiler/coreSyn/CoreTidy.lhs
+++ b/
compiler/coreSyn/CoreTidy.lhs
@@
-11,14
+11,12
@@
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 Var ( Var, TyVar, varName )
+import Type ( tidyType, tidyTyVarBndr )
+import Var ( Var, varName )
import VarEnv
import UniqFM ( lookupUFM )
import Name ( Name, getOccName )
import VarEnv
import UniqFM ( lookupUFM )
import Name ( Name, getOccName )