[project @ 1996-07-19 18:36:04 by partain]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcTyDecls.lhs

diff --git a/ghc/compiler/typecheck/TcTyDecls.lhs b/ghc/compiler/typecheck/TcTyDecls.lhs
index a45e600..0eff0ad 100644 (file)
--- a/ghc/compiler/typecheck/TcTyDecls.lhs
+++ b/ghc/compiler/typecheck/TcTyDecls.lhs
@@ -24,7 +24,7 @@ import RnHsSyn                ( RenamedTyDecl(..), RenamedConDecl(..),
                          RnName{-instance Outputable-}
                        )
 import TcHsSyn         ( mkHsTyLam, mkHsDictLam, tcIdType,
-                         TcHsBinds(..), TcIdOcc(..)
+                         SYN_IE(TcHsBinds), TcIdOcc(..)
                        )
 import Inst            ( newDicts, InstOrigin(..), Inst )
 import TcMonoType      ( tcMonoTypeKind, tcMonoType, tcPolyType, tcContext )
@@ -36,7 +36,9 @@ import TcEnv          ( tcLookupTyCon, tcLookupTyVar, tcLookupClass,
 import TcMonad         hiding ( rnMtoTcM )
 import TcKind          ( TcKind, unifyKind, mkTcArrowKind, mkTcTypeKind )
 
-import PprType         ( GenClass, GenType{-instance Outputable-} )
+import PprType         ( GenClass, GenType{-instance Outputable-},
+                         GenTyVar{-instance Outputable-}{-ToDo:possibly rm-}
+                       )
 import Class           ( GenClass{-instance Eq-}, classInstEnv )
 import Id              ( mkDataCon, dataConSig, mkRecordSelId, idType,
                          dataConFieldLabels, dataConStrictMarks,
@@ -45,7 +47,7 @@ import Id             ( mkDataCon, dataConSig, mkRecordSelId, idType,
                        )
 import FieldLabel
 import Kind            ( Kind, mkArrowKind, mkBoxedTypeKind )
-import SpecEnv         ( SYN_IE(SpecEnv), nullSpecEnv )
+import SpecEnv         ( SpecEnv, nullSpecEnv )
 import Name            ( nameSrcLoc, isLocallyDefinedName, getSrcLoc,
                          Name{-instance Ord3-}
                        )
@@ -59,7 +61,6 @@ import Type           ( GenType, -- instances
                          applyTyCon, mkTyVarTys, mkForAllTys, mkFunTy,
                          splitFunTy, mkTyVarTy, getTyVar_maybe
                        )
-import PprType         ( GenTyVar{-instance Outputable-}{-ToDo:possibly rm-} )
 import TyVar           ( tyVarKind, elementOfTyVarSet, GenTyVar{-instance Eq-} )
 import Unique          ( Unique {- instance Eq -}, evalClassKey )
 import UniqSet         ( emptyUniqSet, mkUniqSet, uniqSetToList, unionManyUniqSets, SYN_IE(UniqSet) )