CHK_Ubiq() -- debugging consistency check
-IMPORT_DELOOPER(TyLoop) ( SYN_IE(Type), GenType,
+IMPORT_DELOOPER(TyLoop) ( SYN_IE(Type), GenType,
SYN_IE(Class), GenClass,
SYN_IE(Id), GenId,
splitSigmaTy, splitFunTy,
import Kind ( Kind, mkBoxedTypeKind, mkArrowKind, resultKind, argKind )
import Maybes
-import Name ( Name, nameUnique, mkWiredInTyConName )
+import Name ( Name, nameUnique, mkWiredInTyConName, NamedThing(getName) )
import Unique ( Unique, funTyConKey )
-import Pretty ( SYN_IE(Pretty), PrettyRep )
+import UniqFM ( Uniquable(..) )
+import Pretty ( Doc )
import PrimRep ( PrimRep(..) )
import PrelMods ( gHC__, pREL_TUP, pREL_BASE )
import Lex ( mkTupNameStr )
Kind
[TyVar]
[(Class,Type)] -- Its context
- [Id] -- Its data constructors, with fully polymorphic types
+ [Id{-DataCon-}] -- Its data constructors, with fully polymorphic types
-- This list can be empty, when we import a data type abstractly,
-- either (a) the interface is hand-written and doesn't give
-- the constructors, or