RenamedClassOpSig(..), SYN_IE(RenamedMonoBinds),
RenamedGenPragmas(..), RenamedContext(..), SYN_IE(RenamedHsDecl)
)
-import TcHsSyn ( TcIdOcc(..), SYN_IE(TcHsBinds), SYN_IE(TcMonoBinds), SYN_IE(TcExpr),
+import TcHsSyn ( SYN_IE(TcHsBinds), SYN_IE(TcMonoBinds), SYN_IE(TcExpr),
mkHsTyApp, mkHsTyLam, mkHsDictApp, mkHsDictLam, tcIdType )
import Inst ( Inst, InstOrigin(..), SYN_IE(LIE), emptyLIE, plusLIE, newDicts, newMethod )
import TcMonad
import TcMonoType ( tcHsType, tcContext )
import TcSimplify ( tcSimplifyAndCheck )
-import TcType ( SYN_IE(TcType), SYN_IE(TcTyVar), tcInstType, tcInstSigTyVars,
+import TcType ( TcIdOcc(..), SYN_IE(TcType), SYN_IE(TcTyVar), tcInstType, tcInstSigTyVars,
tcInstSigType, tcInstSigTcType )
import PragmaInfo ( PragmaInfo(..) )
DefaultDecl(..), HsType, IfaceSig,
HsExpr, HsLit, ArithSeqInfo, Fake, InPat)
import RnHsSyn ( RenamedHsDecl(..), RenamedDefaultDecl(..) )
-import TcHsSyn ( TcIdOcc )
import TcMonad
import Inst ( InstOrigin(..) )
import SpecEnv ( SpecEnv )
import TcMonoType ( tcHsType )
import TcSimplify ( tcSimplifyCheckThetas )
+import TcType ( TcIdOcc )
import TysWiredIn ( intTy, doubleTy, unitTy )
import Type ( SYN_IE(Type) )
import HsPragmas ( InstancePragmas(..) )
import RdrHsSyn ( RdrName, SYN_IE(RdrNameMonoBinds) )
import RnHsSyn ( SYN_IE(RenamedHsBinds), SYN_IE(RenamedMonoBinds), SYN_IE(RenamedFixityDecl) )
-import TcHsSyn ( TcIdOcc )
import TcMonad
import Inst ( SYN_IE(InstanceMapper) )
import TcGenDeriv -- Deriv stuff
import TcInstUtil ( InstInfo(..), mkInstanceRelatedIds, buildInstanceEnvs )
import TcSimplify ( tcSimplifyThetas )
+import TcType ( TcIdOcc )
import RnBinds ( rnMethodBinds, rnTopMonoBinds )
import RnEnv ( newDfunName, bindLocatedLocalsRn )
import HsTypes ( HsTyVar(..) )
import Id ( SYN_IE(Id), GenId, idType, mkUserLocal, mkUserId, replaceIdInfo, getIdInfo )
import PragmaInfo ( PragmaInfo(..) )
-import TcHsSyn ( SYN_IE(TcIdBndr), TcIdOcc(..) )
import TcKind ( TcKind, newKindVars, newKindVar, tcDefaultKind, kindToTcKind, Kind )
-import TcType ( SYN_IE(TcType), TcMaybe, SYN_IE(TcTyVar), SYN_IE(TcTyVarSet),
+import TcType ( SYN_IE(TcIdBndr), TcIdOcc(..),
+ SYN_IE(TcType), TcMaybe, SYN_IE(TcTyVar), SYN_IE(TcTyVarSet),
newTyVarTys, tcInstTyVars, zonkTcTyVars
)
import TyVar ( unionTyVarSets, emptyTyVarSet, tyVarSetToList, SYN_IE(TyVar) )