From: sof Date: Sun, 18 May 1997 21:50:13 +0000 (+0000) Subject: [project @ 1997-05-18 21:50:13 by sof] X-Git-Tag: Approximately_1000_patches_recorded~638 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=19bee3b880fe9b731f9fbcffb03341a0467e6e9f;p=ghc-hetmet.git [project @ 1997-05-18 21:50:13 by sof] Made 2.0x bootable --- diff --git a/ghc/compiler/types/TyCon.lhs b/ghc/compiler/types/TyCon.lhs index 0460e6e..d6fad86 100644 --- a/ghc/compiler/types/TyCon.lhs +++ b/ghc/compiler/types/TyCon.lhs @@ -40,7 +40,7 @@ module TyCon( 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, @@ -53,9 +53,10 @@ import Usage ( GenUsage, SYN_IE(Usage) ) 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 ) @@ -78,7 +79,7 @@ data TyCon 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