X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcType.lhs;h=aa0b0c988062ec9ba862f0cf61f17269ba8d97ef;hb=311b1cdfc9b1c311cc53482c461c18cba8885b2a;hp=21375a94da3ec42b3e6f98687a69cbb3d87623bf;hpb=171d4582f4b9a8e0f11f8738079accbb22bafdcb;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs
index 21375a9..aa0b0c9 100644
--- a/compiler/typecheck/TcType.lhs
+++ b/compiler/typecheck/TcType.lhs
@@ -1,4 +1,5 @@
 %
+% (c) The University of Glasgow 2006
 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
 %
 \section[TcType]{Types used in the typechecker}
@@ -68,7 +69,7 @@ module TcType (
   isClassPred, isTyVarClassPred, isEqPred, 
   mkDictTy, tcSplitPredTy_maybe, 
   isPredTy, isDictTy, tcSplitDFunTy, tcSplitDFunHead, predTyUnique, 
-  mkClassPred, isInheritablePred, isLinearPred, isIPPred, mkPredName, 
+  mkClassPred, isInheritablePred, isIPPred, mkPredName, 
   dataConsStupidTheta, isRefineableTy,
 
   ---------------------------------
@@ -129,71 +130,33 @@ module TcType (
 #include "HsVersions.h"
 
 -- friends:
-import TypeRep		( Type(..), funTyCon, Kind )  -- friend
-
-import Type		(	-- Re-exports
-			  tyVarsOfType, tyVarsOfTypes, tyVarsOfPred,
-			  tyVarsOfTheta, Kind, PredType(..), KindVar,
-			  ThetaType, isUnliftedTypeKind, unliftedTypeKind, 
-			  argTypeKind,
-			  liftedTypeKind, openTypeKind, mkArrowKind,
-		  	  tySuperKind, isLiftedTypeKind,
-			  mkArrowKinds, mkForAllTy, mkForAllTys,
-			  defaultKind, isSubArgTypeKind, isSubOpenTypeKind,
-			  mkFunTy, mkFunTys, zipFunTys, 
-			  mkTyConApp, mkAppTy,
-			  mkAppTys, applyTy, applyTys,
-			  mkTyVarTy, mkTyVarTys, mkTyConTy, mkPredTy,
-			  mkPredTys, isUnLiftedType, 
-			  isUnboxedTupleType, isPrimitiveType,
-			  splitTyConApp_maybe,
-			  tidyTopType, tidyType, tidyPred, tidyTypes,
-			  tidyFreeTyVars, tidyOpenType, tidyOpenTypes,
-			  tidyTyVarBndr, tidyOpenTyVar,
-			  tidyOpenTyVars, tidyKind,
-			  isSubKind, tcView,
-
-			  tcEqType, tcEqTypes, tcCmpType, tcCmpTypes, 
-			  tcEqPred, tcCmpPred, tcEqTypeX, eqKind,
-
-			  TvSubst(..),
-			  TvSubstEnv, emptyTvSubst, mkTvSubst, zipTyEnv,
-			  mkOpenTvSubst, zipOpenTvSubst, zipTopTvSubst, mkTopTvSubst,
-			  getTvSubstEnv, setTvSubstEnv, getTvInScope, extendTvInScope,
-			  extendTvSubst, extendTvSubstList, isInScope, notElemTvSubst,
-		  	  substTy, substTys, substTyWith, substTheta, 
-			  substTyVar, substTyVarBndr, substPred, lookupTyVar,
-
-			  typeKind, repType, coreView, repSplitAppTy_maybe,
-			  pprKind, pprParendKind,
-			  pprType, pprParendType, pprTyThingCategory,
-			  pprPred, pprTheta, pprThetaArrow, pprClassPred
-			)
-import TyCon		( TyCon, isUnLiftedTyCon, isSynTyCon, isOpenTyCon,
-			  synTyConDefn, tyConUnique )	 
-import DataCon		( DataCon, dataConStupidTheta, dataConResTys )
-import Class		( Class )
-import Var		( TyVar, Id, isCoVar, isTcTyVar, mkTcTyVar, tyVarName, tyVarKind, tcTyVarDetails )
-import ForeignCall	( Safety, DNType(..) )
-import Unify		( tcMatchTys )
+import TypeRep
+import DataCon
+import Class
+import Var
+import ForeignCall
+import Unify
 import VarSet
+import Type
+import TyCon
 
 -- others:
-import DynFlags		( DynFlags, DynFlag( Opt_GlasgowExts ), dopt )
-import Name		( Name, NamedThing(..), mkInternalName, getSrcLoc, mkSystemName )
+import DynFlags
+import Name
 import NameSet
-import VarEnv		( TidyEnv )
-import OccName		( OccName, mkDictOcc, mkOccName, tvName )
-import PrelNames	-- Lots (e.g. in isFFIArgumentTy)
-import TysWiredIn	( unitTyCon, charTyCon, listTyCon )
-import BasicTypes	( IPName(..), Arity, ipNameName )
-import SrcLoc		( SrcLoc, SrcSpan )
-import Util		( equalLength )
-import Maybes		( maybeToBool, expectJust, mapCatMaybes )
-import ListSetOps	( hasNoDups )
-import List		( nubBy )
+import VarEnv
+import OccName
+import PrelNames
+import TysWiredIn
+import BasicTypes
+import SrcLoc
+import Util
+import Maybes
+import ListSetOps
 import Outputable
-import DATA_IOREF
+
+import Data.List
+import Data.IORef
 \end{code}
 
 
@@ -864,10 +827,6 @@ getClassPredTys :: PredType -> (Class, [Type])
 getClassPredTys (ClassP clas tys) = (clas, tys)
 getClassPredTys other = panic "getClassPredTys"
 
-isEqPred :: PredType -> Bool
-isEqPred (EqPred {}) = True
-isEqPred _	     = False
-
 mkDictTy :: Class -> [Type] -> Type
 mkDictTy clas tys = mkPredTy (ClassP clas tys)
 
@@ -895,10 +854,6 @@ isInheritablePred :: PredType -> Bool
 -- which can be free in g's rhs, and shared by both calls to g
 isInheritablePred (ClassP _ _) = True
 isInheritablePred other	     = False
-
-isLinearPred :: TcPredType -> Bool
-isLinearPred (IParam (Linear n) _) = True
-isLinearPred other		   = False
 \end{code}
 
 --------------------- Equality predicates ---------------------------------