X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcHsType.lhs;h=473166d2a4e023af5e01f76b7bdef1d9636ab023;hb=1f5e55804b97d2b9a77207d568d602ba88d8855d;hp=0861e8c941094ee030adb22e1e3dcffddd7a8d2f;hpb=599e42c2948811e71607c5167d9345ddd74d83c3;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcHsType.lhs b/ghc/compiler/typecheck/TcHsType.lhs index 0861e8c..473166d 100644 --- a/ghc/compiler/typecheck/TcHsType.lhs +++ b/ghc/compiler/typecheck/TcHsType.lhs @@ -43,14 +43,12 @@ import TcType ( Type, PredType(..), ThetaType, TyVarDetails(..), mkForAllTys, mkFunTys, tcEqType, isPredTy, mkSigmaTy, mkPredTy, mkGenTyConApp, mkTyConApp, mkAppTys, liftedTypeKind, unliftedTypeKind, eqKind, - tcSplitFunTy_maybe, tcSplitForAllTys, tcSplitSigmaTy, - pprKind, pprThetaArrow ) + tcSplitFunTy_maybe, tcSplitForAllTys, pprKind ) import qualified Type ( splitFunTys ) import Inst ( Inst, InstOrigin(..), newMethod, instToId ) import Id ( mkLocalId, idName, idType ) import Var ( TyVar, mkTyVar, tyVarKind ) -import ErrUtils ( Message ) import TyCon ( TyCon, tyConKind ) import Class ( classTyCon ) import Name ( Name )