import CmdLineOpts ( DynFlag(..), DynFlags, dopt )
import HsSyn ( HsBinds(..), MonoBinds(..), HsDecl(..), HsExpr(..),
Stmt(..), InPat(..), HsMatchContext(..), HsDoContext(..), RuleDecl(..),
- isIfaceRuleDecl, nullBinds, andMonoBindList, mkSimpleMatch, placeHolderType
+ isIfaceRuleDecl, nullBinds, mkSimpleMatch, placeHolderType
)
import PrelNames ( mAIN_Name, mainName, ioTyConName, printName,
returnIOName, bindIOName, failIOName,
import MkIface ( pprModDetails )
import TcExpr ( tcMonoExpr )
import TcMonad
-import TcMType ( unifyTauTy, newTyVarTy, zonkTcType, tcInstType )
+import TcMType ( newTyVarTy, zonkTcType, tcInstType )
import TcType ( Type, liftedTypeKind, openTypeKind,
tyVarsOfType, tidyType, tcFunResultTy,
mkForAllTys, mkFunTys, mkTyConApp, tcSplitForAllTys
import TcForeign ( tcForeignImports, tcForeignExports )
import TcIfaceSig ( tcInterfaceSigs )
import TcInstDcls ( tcInstDecls1, tcInstDecls2 )
+import TcUnify ( unifyTauTy )
import TcSimplify ( tcSimplifyTop, tcSimplifyInfer )
import TcTyClsDecls ( tcTyAndClassDecls )
-import CoreUnfold ( unfoldingTemplate, hasUnfolding )
+import CoreUnfold ( unfoldingTemplate )
import TysWiredIn ( mkListTy, unitTy )
import ErrUtils ( printErrorsAndWarnings, errorsFound,
dumpIfSet_dyn, dumpIfSet_dyn_or, showPass )
PackageTypeEnv, ModIface(..),
ModDetails(..), DFunId,
TypeEnv, extendTypeEnvList, typeEnvTyCons, typeEnvElts,
- TyThing(..),
mkTypeEnv
)
\end{code}