Commit 05446f0f authored by sewardj's avatar sewardj
Browse files

[project @ 2000-10-23 12:00:21 by sewardj]

Track renaming of typecheck/TcInstUtil to types/InstEnv.
parent f0682380
......@@ -20,7 +20,7 @@ import BasicTypes ( Fixity(..), NewOrData(..),
)
import RnMonad
import TcInstUtil ( InstInfo(..) )
import InstEnv ( InstInfo(..) )
import CmdLineOpts
import Id ( Id, idType, idInfo, omitIfaceSigForId, isUserExportedId, hasNoBinding,
......
......@@ -44,7 +44,7 @@ import TcHsSyn ( TcExpr, TcId,
)
import TcMonad
import TcEnv ( TcIdSet, tcGetInstEnv, tcLookupGlobalId )
import TcInstUtil ( InstLookupResult(..), lookupInstEnv )
import InstEnv ( InstLookupResult(..), lookupInstEnv )
import TcType ( TcThetaType,
TcType, TcTauType, TcTyVarSet,
zonkTcTyVars, zonkTcType, zonkTcTypes,
......
......@@ -18,7 +18,7 @@ import CmdLineOpts ( DynFlag(..), DynFlags )
import TcMonad
import TcEnv ( TcEnv, tcSetInstEnv, getTcGST, newDFunName )
import TcGenDeriv -- Deriv stuff
import TcInstUtil ( InstInfo(..), InstEnv,
import InstEnv ( InstInfo(..), InstEnv,
pprInstInfo, simpleDFunClassTyCon, extendInstEnv )
import TcSimplify ( tcSimplifyThetas )
......
......@@ -69,7 +69,7 @@ import UniqFM
import Util ( zipEqual )
import SrcLoc ( SrcLoc )
import Outputable
import TcInstUtil ( emptyInstEnv )
import InstEnv ( emptyInstEnv )
import IOExts ( newIORef )
\end{code}
......
......@@ -8,7 +8,7 @@ import Class ( Class, FunDep, className )
import Unify ( unifyTyListsX )
import Subst ( mkSubst, emptyInScopeSet, substTy )
import TcEnv ( tcGetInstEnv )
import TcInstUtil ( classInstEnv )
import InstEnv ( classInstEnv )
import TcMonad
import TcType ( TcType, TcTyVarSet, zonkTcType )
import TcUnify ( unifyTauTyLists )
......
......@@ -33,7 +33,7 @@ import TcEnv ( TcEnv, tcExtendGlobalValEnv,
tcAddImportedIdInfo, tcInstId, tcLookupClass,
newDFunName, tcExtendTyVarEnv
)
import TcInstUtil ( InstInfo(..), InstEnv, pprInstInfo, classDataCon,
import InstEnv ( InstInfo(..), InstEnv, pprInstInfo, classDataCon,
simpleInstInfoTyCon, simpleInstInfoTy, isLocalInst,
extendInstEnv )
import TcMonoType ( tcTyVars, tcHsSigType, tcHsType, kcHsSigType )
......
......@@ -33,7 +33,7 @@ import TcRules ( tcRules )
import TcForeign ( tcForeignImports, tcForeignExports )
import TcIfaceSig ( tcInterfaceSigs )
import TcInstDcls ( tcInstDecls1, tcInstDecls2 )
import TcInstUtil ( InstInfo(..) )
import InstEnv ( InstInfo(..) )
import TcSimplify ( tcSimplifyTop )
import TcTyClsDecls ( tcTyAndClassDecls )
import TcTyDecls ( mkImplicitDataBinds )
......
......@@ -143,7 +143,7 @@ import Inst ( lookupInst, lookupSimpleInst, LookupInstResult(..),
lieToList
)
import TcEnv ( tcGetGlobalTyVars, tcGetInstEnv )
import TcInstUtil ( lookupInstEnv, InstLookupResult(..) )
import InstEnv ( lookupInstEnv, InstLookupResult(..) )
import TcType ( TcTyVarSet )
import TcUnify ( unifyTauTy )
......
%
% (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
%
\section[TcInstUtil]{Utilities for typechecking instance declarations}
\section[InstEnv]{Utilities for typechecking instance declarations}
The bits common to TcInstDcls and TcDeriv.
\begin{code}
module TcInstUtil (
module InstEnv (
InstInfo(..), pprInstInfo,
simpleInstInfoTy, simpleInstInfoTyCon, simpleDFunClassTyCon,
......
Supports Markdown
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