From f50b860a322b27a2c45e486bfd3da30393cdb03c Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 5 Feb 2002 14:46:27 +0000
Subject: [PATCH] [project @ 2002-02-05 14:46:26 by simonpj] Imports only

---
 ghc/compiler/typecheck/TcMatches.lhs  |    2 +-
 ghc/compiler/typecheck/TcMonoType.lhs |    2 --
 ghc/compiler/typecheck/TcRules.lhs    |    7 ++-----
 ghc/compiler/typecheck/TcSimplify.lhs |    7 +++----
 4 files changed, 6 insertions(+), 12 deletions(-)

diff --git a/ghc/compiler/typecheck/TcMatches.lhs b/ghc/compiler/typecheck/TcMatches.lhs
index ffee339..57a5d94 100644
--- a/ghc/compiler/typecheck/TcMatches.lhs
+++ b/ghc/compiler/typecheck/TcMatches.lhs
@@ -24,7 +24,7 @@ import TcMonad
 import TcMonoType	( tcAddScopedTyVars, tcHsSigType, UserTypeCtxt(..) )
 import Inst		( LIE, isEmptyLIE, plusLIE, emptyLIE, plusLIEs, lieToList )
 import TcEnv		( TcId, tcLookupLocalIds, tcExtendLocalValEnv, tcExtendGlobalTyVars )
-import TcPat		( tcPat, tcMonoPatBndr, polyPatSig )
+import TcPat		( tcPat, tcMonoPatBndr )
 import TcMType		( newTyVarTy )
 import TcType		( TcType, TcTyVar, tyVarsOfType,
 			  mkFunTy, isOverloadedTy, liftedTypeKind, openTypeKind  )
diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index ef9a43b..21d554d 100644
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -35,7 +35,6 @@ import TcUnify		( unifyKind, unifyOpenTypeKind )
 import TcType		( Type, Kind, SourceType(..), ThetaType, TyVarDetails(..),
 			  TcTyVar, TcKind, TcThetaType, TcTauType,
 			  mkTyVarTy, mkTyVarTys, mkFunTy, mkSynTy,
-			  tcSplitForAllTys, tcSplitRhoTy, 
 		 	  hoistForAllTys, zipFunTys, 
 			  mkSigmaTy, mkPredTy, mkTyConApp, mkAppTys, 
 			  liftedTypeKind, unliftedTypeKind, mkArrowKind,
@@ -43,7 +42,6 @@ import TcType		( Type, Kind, SourceType(..), ThetaType, TyVarDetails(..),
 			)
 import Inst		( Inst, InstOrigin(..), newMethodWithGivenTy, instToId )
 
-import Subst		( mkTopTyVarSubst, substTy )
 import Id		( mkLocalId, idName, idType )
 import Var		( TyVar, mkTyVar, tyVarKind )
 import ErrUtils		( Message )
diff --git a/ghc/compiler/typecheck/TcRules.lhs b/ghc/compiler/typecheck/TcRules.lhs
index f4d8a85..9f55b02 100644
--- a/ghc/compiler/typecheck/TcRules.lhs
+++ b/ghc/compiler/typecheck/TcRules.lhs
@@ -11,20 +11,17 @@ module TcRules ( tcIfaceRules, tcSourceRules ) where
 import HsSyn		( RuleDecl(..), RuleBndr(..), collectRuleBndrSigTys )
 import CoreSyn		( CoreRule(..) )
 import RnHsSyn		( RenamedRuleDecl )
-import HscTypes		( PackageRuleBase )
 import TcHsSyn		( TypecheckedRuleDecl, mkHsLet )
 import TcMonad
 import TcSimplify	( tcSimplifyToDicts, tcSimplifyInferCheck )
 import TcMType		( newTyVarTy )
 import TcType		( tyVarsOfTypes, openTypeKind )
-import TcIfaceSig	( tcCoreExpr, tcCoreLamBndrs, tcVar, tcDelay )
+import TcIfaceSig	( tcCoreExpr, tcCoreLamBndrs, tcVar )
 import TcMonoType	( tcHsSigType, UserTypeCtxt(..), tcAddScopedTyVars )
 import TcExpr		( tcExpr )
-import TcEnv		( RecTcEnv, tcExtendLocalValEnv, isLocalThing, tcLookupId )
+import TcEnv		( RecTcEnv, tcExtendLocalValEnv, tcLookupId )
 import Inst		( LIE, plusLIEs, emptyLIE, instToId )
 import Id		( idName, idType, mkLocalId )
-import Module		( Module )
-import List		( partition )
 import Outputable
 \end{code}
 
diff --git a/ghc/compiler/typecheck/TcSimplify.lhs b/ghc/compiler/typecheck/TcSimplify.lhs
index 13c847f..9b49a02 100644
--- a/ghc/compiler/typecheck/TcSimplify.lhs
+++ b/ghc/compiler/typecheck/TcSimplify.lhs
@@ -25,7 +25,7 @@ import TcHsSyn		( TcExpr, TcId,
 			)
 
 import TcMonad
-import Inst		( lookupInst, lookupSimpleInst, LookupInstResult(..),
+import Inst		( lookupInst, LookupInstResult(..),
 			  tyVarsOfInst, predsOfInsts, predsOfInst, newDicts,
 			  isDict, isClassDict, isLinearInst, linearInstType,
 			  isStdClassTyVarDict, isMethodFor, isMethod,
@@ -41,11 +41,10 @@ import Inst		( lookupInst, lookupSimpleInst, LookupInstResult(..),
 import TcEnv		( tcGetGlobalTyVars, tcGetInstEnv, tcLookupGlobalId )
 import InstEnv		( lookupInstEnv, classInstEnv, InstLookupResult(..) )
 import TcMType		( zonkTcTyVarsAndFV, tcInstTyVars, checkAmbiguity )
-import TcType		( TcTyVar, TcTyVarSet, ThetaType, PredType, 
+import TcType		( TcTyVar, TcTyVarSet, ThetaType, 
 			  mkClassPred, isOverloadedTy, mkTyConApp,
 			  mkTyVarTy, tcGetTyVar, isTyVarClassPred, mkTyVarTys,
-			  tyVarsOfPred, getClassPredTys_maybe, isClassPred, isIPPred,
-			  inheritablePred, predHasFDs )
+			  tyVarsOfPred, isIPPred, inheritablePred, predHasFDs )
 import Id		( idType, mkUserLocal )
 import Var		( TyVar )
 import Name		( getOccName, getSrcLoc )
-- 
1.7.10.4