X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcType.lhs;h=43e8cd21bc09894daf14845a6bef0781227a496e;hb=e328afb3e9a9d34b80a8071d5bd7e3f9bff3cf5a;hp=ffcf39240730276a2c3d0fa4aa42875aa9eb454a;hpb=f714e6b642fd614a9971717045ae47c3d871275e;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs index ffcf392..43e8cd2 100644 --- a/ghc/compiler/typecheck/TcType.lhs +++ b/ghc/compiler/typecheck/TcType.lhs @@ -86,8 +86,7 @@ module TcType ( Kind, -- Stuff to do with kinds is insensitive to pre/post Tc unliftedTypeKind, liftedTypeKind, openTypeKind, mkArrowKind, mkArrowKinds, isLiftedTypeKind, isUnliftedTypeKind, isOpenTypeKind, - isSubKind, defaultKind, - isArgTypeKind, isOpenTypeKind, + isArgTypeKind, isSubKind, defaultKind, Type, PredType(..), ThetaType, mkForAllTy, mkForAllTys,