-import TcMonoType ( tcHsType )
- -- NB: all the tyars in interface files are kinded,
- -- so tcHsType will do the Right Thing without
- -- having to mess about with zonking
-
-import TcEnv ( ValueEnv, tcExtendTyVarEnv,
- tcExtendGlobalValEnv, tcSetValueEnv,
- tcLookupValueMaybe,
- explicitLookupValue, badCon, badPrimOp, valueEnvIds
+import TcMonoType ( tcIfaceType )
+import TcEnv ( RecTcEnv, tcExtendTyVarEnv,
+ tcExtendGlobalValEnv, tcSetEnv, tcEnvIds,
+ tcLookupGlobal_maybe, tcLookupRecId_maybe