import TcMonad
import TcEnv ( tcExtendTyVarEnv, tcExtendKindEnv,
- tcLookup, tcLookupGlobal,
- tcGetEnv, tcEnvTyVars, tcEnvTcIds,
+ --tcLookup, tcLookupGlobal,
+ tcEnvTcIds, tcEnvTyVars,
tcGetGlobalTyVars,
- TyThing(..)
+ TyThing(..), TcTyThing(..)
)
import TcType ( TcType, TcKind, TcTyVar, TcThetaType, TcTauType,
newKindVar, tcInstSigVar,
import SrcLoc ( SrcLoc )
import Util ( mapAccumL, isSingleton )
import Outputable
-
+import HscTypes ( TyThing(..) )
\end{code}