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 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 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 )