X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcHsType.lhs;h=6f92e4b4384ba6e9de40b3ae92c6fddd90e6bad7;hb=ea2d0a53ff4ca7e6331d09225ad84ec9c9efe6d8;hp=30a47f7a5d842ed96e3aa5afbbd596e5d47401f4;hpb=80c89b80c355b2aaebcd53330e6c6170c3f05aca;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs
index 30a47f7..6f92e4b 100644
--- a/compiler/typecheck/TcHsType.lhs
+++ b/compiler/typecheck/TcHsType.lhs
@@ -1,4 +1,5 @@
-
+%
+% (c) The University of Glasgow 2006
 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
 %
 \section[TcMonoType]{Typechecking user-specified @MonoTypes@}
@@ -23,41 +24,26 @@ module TcHsType (
 
 #include "HsVersions.h"
 
-import HsSyn		( HsType(..), LHsType, HsTyVarBndr(..), LHsTyVarBndr, 
-			  LHsContext, HsPred(..), LHsPred )
-import RnHsSyn		( extractHsTyVars )
+import HsSyn
+import RnHsSyn
 import TcRnMonad
-import TcEnv		( tcExtendTyVarEnv, tcExtendKindEnvTvs, 
-			  tcLookup, tcLookupClass, tcLookupTyCon,
-		 	  TyThing(..), getInLocalScope, getScopedTyVarBinds,
-			  wrongThingErr
-			)
-import TcMType		( newKindVar, 
-			  zonkTcKindToKind, 
-			  tcInstBoxyTyVar, readFilledBox,
-			  checkValidType
-			)
-import TcUnify		( boxyUnify, unifyFunKind, checkExpectedKind )
-import TcIface		( checkWiredInTyCon )
-import TcType		( Type, PredType(..), ThetaType, BoxySigmaType,
-			  TcType, TcKind, isRigidTy,
-			  UserTypeCtxt(..), pprUserTypeCtxt,
-			  substTyWith, mkTyVarTys, tcEqType,
-		 	  tcIsTyVarTy, mkFunTy, mkSigmaTy, mkPredTy, 
-			  mkTyConApp, mkAppTys, typeKind )
-import {- Kind parts of -} Type 		( Kind, isLiftedTypeKind, liftedTypeKind, ubxTupleKind, 
-			  openTypeKind, argTypeKind, splitKindFunTys )
-import Var		( TyVar, mkTyVar, tyVarName )
-import TyCon		( TyCon, tyConKind )
-import Class		( Class, classTyCon )
-import Name		( Name, mkInternalName )
-import OccName		( mkOccName, tvName )
+import TcEnv
+import TcMType
+import TcUnify
+import TcIface
+import TcType
+import {- Kind parts of -} Type
+import Var
+import TyCon
+import Class
+import Name
+import OccName
 import NameSet
-import PrelNames	( genUnitTyConName )
-import TysWiredIn	( mkListTy, listTyCon, mkPArrTy, parrTyCon, tupleTyCon )
-import BasicTypes	( Boxity(..) )
-import SrcLoc		( Located(..), unLoc, noLoc, getLoc, srcSpanStart )
-import UniqSupply	( uniqsFromSupply )
+import PrelNames
+import TysWiredIn
+import BasicTypes
+import SrcLoc
+import UniqSupply
 import Outputable
 \end{code}
 
@@ -357,6 +343,10 @@ kc_hs_type (HsBangTy b ty)
 kc_hs_type ty@(HsSpliceTy _)
   = failWithTc (ptext SLIT("Unexpected type splice:") <+> ppr ty)
 
+-- remove the doc nodes here, no need to worry about the location since
+-- its the same for a doc node and it's child type node
+kc_hs_type (HsDocTy ty _)
+  = kc_hs_type (unLoc ty) 
 
 ---------------------------
 kcApps :: TcKind			-- Function kind
@@ -810,7 +800,6 @@ pprHsSigCtxt ctxt hs_ty = vcat [ ptext SLIT("In") <+> pprUserTypeCtxt ctxt <> co
     pp_sig (FunSigCtxt n)  = pp_n_colon n
     pp_sig (ConArgCtxt n)  = pp_n_colon n
     pp_sig (ForSigCtxt n)  = pp_n_colon n
-    pp_sig (RuleSigCtxt n) = pp_n_colon n
     pp_sig other	   = ppr (unLoc hs_ty)
 
     pp_n_colon n = ppr n <+> dcolon <+> ppr (unLoc hs_ty)