X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcTyDecls.lhs;h=a6f55f2c451e84ec0d4f0222d37faafe4cdbaf9b;hp=a45e600030054392076681d5cade7f2ab719c640;hb=9d4c03805bafb6b1e1d47306b6a6c591c998e517;hpb=da3d89487174e161a42a64ff815640798b5f30e3 diff --git a/ghc/compiler/typecheck/TcTyDecls.lhs b/ghc/compiler/typecheck/TcTyDecls.lhs index a45e600..a6f55f2 100644 --- 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, @@ -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) )