X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcPat.lhs;h=d26b121280b72da2671e4e66fc68d856bb3e0a2a;hb=d069cec2bd92d4156aeab80f7eb1f222a82e4103;hp=4d1a49d73d6b6c464aa6f466e8b432a2f1fd8d9e;hpb=3622a7de695b4cb795171c8cb59bfe41c7f4d85f;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index 4d1a49d..d26b121 100644
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -21,15 +21,14 @@ import Id		( mkLocalId )
 import Name		( Name )
 import FieldLabel	( fieldLabelName )
 import TcEnv		( tcLookupClass, tcLookupDataCon, tcLookupGlobalId, tcLookupSyntaxId )
-import TcType 		( TcType, TcTyVar, tcInstTyVars, newTyVarTy )
+import TcMType 		( tcInstTyVars, newTyVarTy, unifyTauTy, unifyListTy, unifyTupleTy )
+import TcType		( isTauTy, mkTyConApp, mkClassPred, liftedTypeKind )
 import TcMonoType	( tcHsSigType )
-import TcUnify 		( unifyTauTy, unifyListTy, unifyTupleTy	)
 
 import CmdLineOpts	( opt_IrrefutableTuples )
 import DataCon		( dataConSig, dataConFieldLabels, 
 			  dataConSourceArity
 			)
-import Type		( isTauTy, mkTyConApp, mkClassPred, liftedTypeKind )
 import Subst		( substTy, substTheta )
 import TysPrim		( charPrimTy, intPrimTy, floatPrimTy,
 			  doublePrimTy, addrPrimTy