Match, HsBinds, HsType, ArithSeqInfo, Fixity,
GRHSsAndBinds, Stmt, DoOrListComp, Fake )
import HsBinds ( andMonoBinds )
-import TcHsSyn ( TcIdOcc(..), SYN_IE(TcIdBndr), SYN_IE(TcExpr),
- SYN_IE(TcMonoBinds), SYN_IE(TcDictBinds) )
+import TcHsSyn ( SYN_IE(TcExpr), SYN_IE(TcMonoBinds), SYN_IE(TcDictBinds) )
import TcMonad
import Inst ( lookupInst, lookupSimpleInst,
OverloadedLit )
import TcEnv ( tcGetGlobalTyVars )
import SpecEnv ( SpecEnv )
-import TcType ( SYN_IE(TcType), SYN_IE(TcTyVar), SYN_IE(TcTyVarSet), TcMaybe, tcInstType )
+import TcType ( TcIdOcc(..), SYN_IE(TcIdBndr),
+ SYN_IE(TcType), SYN_IE(TcTyVar), SYN_IE(TcTyVarSet), TcMaybe, tcInstType
+ )
import Unify ( unifyTauTy )
import Bag ( Bag, unitBag, listToBag, foldBag, filterBag, emptyBag, bagToList,
)
import RnHsSyn ( RenamedTyDecl(..), RenamedClassDecl(..), SYN_IE(RenamedHsDecl)
)
-import TcHsSyn ( SYN_IE(TcHsBinds), TcIdOcc(..) )
+import TcHsSyn ( SYN_IE(TcHsBinds) )
import TcMonad
import Inst ( SYN_IE(InstanceMapper) )
import TcKind ( TcKind, newKindVars )
import TcTyDecls ( tcTyDecl, mkDataBinds )
import TcMonoType ( tcTyVarScope )
+import TcType ( TcIdOcc(..) )
import Bag
import Class ( SYN_IE(Class) )
import HsTypes ( getTyVarName )
import RnHsSyn ( RenamedTyDecl(..), RenamedConDecl(..) )
import TcHsSyn ( mkHsTyLam, mkHsDictLam, tcIdType,
- SYN_IE(TcHsBinds), TcIdOcc(..), SYN_IE(TcMonoBinds)
+ SYN_IE(TcHsBinds), SYN_IE(TcMonoBinds)
)
import Inst ( newDicts, InstOrigin(..), Inst )
import TcMonoType ( tcHsTypeKind, tcHsType, tcContext )
import TcSimplify ( tcSimplifyThetas )
-import TcType ( tcInstTyVars, tcInstType, tcInstId )
+import TcType ( TcIdOcc(..), tcInstTyVars, tcInstType, tcInstId )
import TcEnv ( tcLookupTyCon, tcLookupTyVar, tcLookupClass,
newLocalId, newLocalIds, tcLookupClassByKey
)