Commit f50b860a authored by simonpj's avatar simonpj
Browse files

[project @ 2002-02-05 14:46:26 by simonpj]

Imports only
parent 144e841e
......@@ -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 )
......
......@@ -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 )
......
......@@ -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}
......
......@@ -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 )
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment