2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 \section[PrelNames]{Definitions of prelude modules}
6 The strings identify built-in prelude modules. They are
7 defined here so as to avod
9 [oh dear, looks like the recursive module monster caught up with
10 and gobbled whoever was writing the above :-) -- SOF ]
14 Unique, Uniquable(..), hasKey, -- Re-exported for convenience
16 -----------------------------------------------------------
17 module PrelNames, -- A huge bunch of (a) RdrNames, e.g. intTyCon_RDR
18 -- (b) Uniques e.g. intTyConKey
19 -- So many that we export them all
21 -----------------------------------------------------------
23 mkTupNameStr, mkTupConRdrName,
25 ------------------------------------------------------------
26 -- Goups of classes and types
27 needsDataDeclCtxtClassKeys, cCallishClassKeys, noDictClassKeys,
28 fractionalClassKeys, numericClassKeys, standardClassKeys,
29 derivingOccurrences, -- For a given class C, this tells what other
30 derivableClassKeys, -- things are needed as a result of a
32 numericTyKeys, cCallishTyKeys,
34 mkUnboundName, isUnboundName
37 #include "HsVersions.h"
39 import Module ( ModuleName, mkPrelModule, mkHomeModule, mkModuleName )
40 import OccName ( NameSpace, UserFS, varName, dataName, tcName, clsName,
43 import RdrName ( RdrName, mkOrig, mkUnqual )
45 import Unique ( Unique, Uniquable(..), hasKey,
46 mkPreludeMiscIdUnique, mkPreludeDataConUnique,
47 mkPreludeTyConUnique, mkPreludeClassUnique,
50 import BasicTypes ( Boxity(..), Arity )
51 import UniqFM ( UniqFM, listToUFM )
52 import Name ( Name, mkLocalName, mkKnownKeyGlobal, nameRdrName )
53 import RdrName ( rdrNameOcc )
54 import SrcLoc ( builtinSrcLoc, noSrcLoc )
55 import Util ( nOfThem )
56 import Panic ( panic )
60 %************************************************************************
62 \subsection{Local Names}
64 %************************************************************************
66 This *local* name is used by the interactive stuff
69 itName uniq = mkLocalName uniq (mkOccFS varName SLIT("it")) noSrcLoc
73 -- mkUnboundName makes a place-holder Name; it shouldn't be looked at except possibly
74 -- during compiler debugging.
75 mkUnboundName :: RdrName -> Name
76 mkUnboundName rdr_name = mkLocalName unboundKey (rdrNameOcc rdr_name) builtinSrcLoc
78 isUnboundName :: Name -> Bool
79 isUnboundName name = name `hasKey` unboundKey
83 %************************************************************************
85 \subsection{Known key Names}
87 %************************************************************************
89 This section tells what the compiler knows about the assocation of
90 names with uniques. These ones are the *non* wired-in ones. The
91 wired in ones are defined in TysWiredIn etc.
94 knownKeyNames :: [Name]
97 -- Type constructors (synonyms especially)
98 ioTyConName, ioDataConName,
105 mutableByteArrayTyConName,
110 stablePtrDataConName,
112 -- Classes. *Must* include:
113 -- classes that are grabbed by key (e.g., eqClassKey)
114 -- classes in "Class.standardClassKeys" (quite a few)
115 eqClassName, -- mentioned, derivable
116 ordClassName, -- derivable
117 boundedClassName, -- derivable
118 numClassName, -- mentioned, numeric
119 enumClassName, -- derivable
123 showClassName, -- derivable
124 realClassName, -- numeric
125 integralClassName, -- numeric
126 fractionalClassName, -- numeric
127 floatingClassName, -- numeric
128 realFracClassName, -- numeric
129 realFloatClassName, -- numeric
130 readClassName, -- derivable
131 ixClassName, -- derivable (but it isn't Prelude.Ix; hmmm)
132 cCallableClassName, -- mentioned, ccallish
133 cReturnableClassName, -- mentioned, ccallish
162 unpackCStringListName,
163 unpackCStringAppendName,
164 unpackCStringFoldrName,
165 unpackCStringUtf8Name,
175 -- FFI primitive types that are not wired-in.
194 splitIdName, fstIdName, sndIdName -- Used by splittery
199 %************************************************************************
201 \subsection{Module names}
203 %************************************************************************
206 pRELUDE_Name = mkModuleName "Prelude"
207 pREL_GHC_Name = mkModuleName "PrelGHC" -- Primitive types and values
208 pREL_BASE_Name = mkModuleName "PrelBase"
209 pREL_ENUM_Name = mkModuleName "PrelEnum"
210 pREL_SHOW_Name = mkModuleName "PrelShow"
211 pREL_READ_Name = mkModuleName "PrelRead"
212 pREL_NUM_Name = mkModuleName "PrelNum"
213 pREL_LIST_Name = mkModuleName "PrelList"
214 pREL_TUP_Name = mkModuleName "PrelTup"
215 pREL_PACK_Name = mkModuleName "PrelPack"
216 pREL_CONC_Name = mkModuleName "PrelConc"
217 pREL_IO_BASE_Name = mkModuleName "PrelIOBase"
218 pREL_IO_Name = mkModuleName "PrelIO"
219 pREL_ST_Name = mkModuleName "PrelST"
220 pREL_ARR_Name = mkModuleName "PrelArr"
221 pREL_BYTEARR_Name = mkModuleName "PrelByteArr"
222 pREL_FOREIGN_Name = mkModuleName "PrelForeign"
223 pREL_STABLE_Name = mkModuleName "PrelStable"
224 pREL_SPLIT_Name = mkModuleName "PrelSplit"
225 pREL_ADDR_Name = mkModuleName "PrelAddr"
226 pREL_PTR_Name = mkModuleName "PrelPtr"
227 pREL_ERR_Name = mkModuleName "PrelErr"
228 pREL_REAL_Name = mkModuleName "PrelReal"
229 pREL_FLOAT_Name = mkModuleName "PrelFloat"
231 pREL_MAIN_Name = mkModuleName "PrelMain"
232 mAIN_Name = mkModuleName "Main"
233 pREL_INT_Name = mkModuleName "PrelInt"
234 pREL_WORD_Name = mkModuleName "PrelWord"
236 fOREIGNOBJ_Name = mkModuleName "ForeignObj"
237 aDDR_Name = mkModuleName "Addr"
239 gLA_EXTS_Name = mkModuleName "GlaExts"
241 pREL_GHC = mkPrelModule pREL_GHC_Name
242 pREL_BASE = mkPrelModule pREL_BASE_Name
243 pREL_ADDR = mkPrelModule pREL_ADDR_Name
244 pREL_PTR = mkPrelModule pREL_PTR_Name
245 pREL_STABLE = mkPrelModule pREL_STABLE_Name
246 pREL_IO_BASE = mkPrelModule pREL_IO_BASE_Name
247 pREL_PACK = mkPrelModule pREL_PACK_Name
248 pREL_ERR = mkPrelModule pREL_ERR_Name
249 pREL_NUM = mkPrelModule pREL_NUM_Name
250 pREL_REAL = mkPrelModule pREL_REAL_Name
251 pREL_FLOAT = mkPrelModule pREL_FLOAT_Name
253 iNTERACTIVE = mkHomeModule (mkModuleName "$Interactive")
256 %************************************************************************
258 \subsection{Constructing the names of tuples
260 %************************************************************************
263 mkTupNameStr :: Boxity -> Int -> (ModuleName, UserFS)
265 mkTupNameStr Boxed 0 = (pREL_BASE_Name, SLIT("()"))
266 mkTupNameStr Boxed 1 = panic "Name.mkTupNameStr: 1 ???"
267 mkTupNameStr Boxed 2 = (pREL_TUP_Name, _PK_ "(,)") -- not strictly necessary
268 mkTupNameStr Boxed 3 = (pREL_TUP_Name, _PK_ "(,,)") -- ditto
269 mkTupNameStr Boxed 4 = (pREL_TUP_Name, _PK_ "(,,,)") -- ditto
270 mkTupNameStr Boxed n = (pREL_TUP_Name, _PK_ ("(" ++ nOfThem (n-1) ',' ++ ")"))
272 mkTupNameStr Unboxed 0 = panic "Name.mkUbxTupNameStr: 0 ???"
273 mkTupNameStr Unboxed 1 = (pREL_GHC_Name, _PK_ "(# #)") -- 1 and 0 both make sense!!!
274 mkTupNameStr Unboxed 2 = (pREL_GHC_Name, _PK_ "(#,#)")
275 mkTupNameStr Unboxed 3 = (pREL_GHC_Name, _PK_ "(#,,#)")
276 mkTupNameStr Unboxed 4 = (pREL_GHC_Name, _PK_ "(#,,,#)")
277 mkTupNameStr Unboxed n = (pREL_GHC_Name, _PK_ ("(#" ++ nOfThem (n-1) ',' ++ "#)"))
279 mkTupConRdrName :: NameSpace -> Boxity -> Arity -> RdrName
280 mkTupConRdrName space boxity arity = case mkTupNameStr boxity arity of
281 (mod, occ) -> mkOrig space mod occ
285 %************************************************************************
287 \subsection{Unqualified RdrNames}
289 %************************************************************************
292 main_RDR_Unqual :: RdrName
293 main_RDR_Unqual = mkUnqual varName SLIT("main")
294 -- Don't get a RdrName from PrelNames.mainName, because nameRdrName
295 -- gets an Orig RdrName, and we want a Qual or Unqual one. An Unqual
300 %************************************************************************
302 \subsection{Commonly-used RdrNames}
304 %************************************************************************
306 Many of these Names are not really "built in", but some parts of the
307 compiler (notably the deriving mechanism) need to mention their names,
308 and it's convenient to write them all down in one place.
311 mainName = varQual mAIN_Name SLIT("main") mainKey
313 -- Stuff from PrelGHC
314 usOnceTyConName = kindQual SLIT(".") usOnceTyConKey
315 usManyTyConName = kindQual SLIT("!") usManyTyConKey
316 superKindName = kindQual SLIT("KX") kindConKey
317 superBoxityName = kindQual SLIT("BX") boxityConKey
318 liftedConName = kindQual SLIT("*") liftedConKey
319 unliftedConName = kindQual SLIT("#") unliftedConKey
320 openKindConName = kindQual SLIT("?") anyBoxConKey
321 usageKindConName = kindQual SLIT("$") usageConKey
322 typeConName = kindQual SLIT("Type") typeConKey
324 funTyConName = tcQual pREL_GHC_Name SLIT("(->)") funTyConKey
325 charPrimTyConName = tcQual pREL_GHC_Name SLIT("Char#") charPrimTyConKey
326 intPrimTyConName = tcQual pREL_GHC_Name SLIT("Int#") intPrimTyConKey
327 int32PrimTyConName = tcQual pREL_GHC_Name SLIT("Int32#") int32PrimTyConKey
328 int64PrimTyConName = tcQual pREL_GHC_Name SLIT("Int64#") int64PrimTyConKey
329 wordPrimTyConName = tcQual pREL_GHC_Name SLIT("Word#") wordPrimTyConKey
330 word32PrimTyConName = tcQual pREL_GHC_Name SLIT("Word32#") word32PrimTyConKey
331 word64PrimTyConName = tcQual pREL_GHC_Name SLIT("Word64#") word64PrimTyConKey
332 addrPrimTyConName = tcQual pREL_GHC_Name SLIT("Addr#") addrPrimTyConKey
333 floatPrimTyConName = tcQual pREL_GHC_Name SLIT("Float#") floatPrimTyConKey
334 doublePrimTyConName = tcQual pREL_GHC_Name SLIT("Double#") doublePrimTyConKey
335 statePrimTyConName = tcQual pREL_GHC_Name SLIT("State#") statePrimTyConKey
336 realWorldTyConName = tcQual pREL_GHC_Name SLIT("RealWorld") realWorldTyConKey
337 arrayPrimTyConName = tcQual pREL_GHC_Name SLIT("Array#") arrayPrimTyConKey
338 byteArrayPrimTyConName = tcQual pREL_GHC_Name SLIT("ByteArray#") byteArrayPrimTyConKey
339 mutableArrayPrimTyConName = tcQual pREL_GHC_Name SLIT("MutableArray#") mutableArrayPrimTyConKey
340 mutableByteArrayPrimTyConName = tcQual pREL_GHC_Name SLIT("MutableByteArray#") mutableByteArrayPrimTyConKey
341 mutVarPrimTyConName = tcQual pREL_GHC_Name SLIT("MutVar#") mutVarPrimTyConKey
342 mVarPrimTyConName = tcQual pREL_GHC_Name SLIT("MVar#") mVarPrimTyConKey
343 stablePtrPrimTyConName = tcQual pREL_GHC_Name SLIT("StablePtr#") stablePtrPrimTyConKey
344 stableNamePrimTyConName = tcQual pREL_GHC_Name SLIT("StableName#") stableNamePrimTyConKey
345 foreignObjPrimTyConName = tcQual pREL_GHC_Name SLIT("ForeignObj#") foreignObjPrimTyConKey
346 bcoPrimTyConName = tcQual pREL_GHC_Name SLIT("BCO#") bcoPrimTyConKey
347 weakPrimTyConName = tcQual pREL_GHC_Name SLIT("Weak#") weakPrimTyConKey
348 threadIdPrimTyConName = tcQual pREL_GHC_Name SLIT("ThreadId#") threadIdPrimTyConKey
349 cCallableClassName = clsQual pREL_GHC_Name SLIT("CCallable") cCallableClassKey
350 cReturnableClassName = clsQual pREL_GHC_Name SLIT("CReturnable") cReturnableClassKey
352 -- PrelBase data types and constructors
353 charTyConName = tcQual pREL_BASE_Name SLIT("Char") charTyConKey
354 charDataConName = dataQual pREL_BASE_Name SLIT("C#") charDataConKey
355 intTyConName = tcQual pREL_BASE_Name SLIT("Int") intTyConKey
356 intDataConName = dataQual pREL_BASE_Name SLIT("I#") intDataConKey
357 orderingTyConName = tcQual pREL_BASE_Name SLIT("Ordering") orderingTyConKey
358 boolTyConName = tcQual pREL_BASE_Name SLIT("Bool") boolTyConKey
359 falseDataConName = dataQual pREL_BASE_Name SLIT("False") falseDataConKey
360 trueDataConName = dataQual pREL_BASE_Name SLIT("True") trueDataConKey
361 listTyConName = tcQual pREL_BASE_Name SLIT("[]") listTyConKey
362 nilDataConName = dataQual pREL_BASE_Name SLIT("[]") nilDataConKey
363 consDataConName = dataQual pREL_BASE_Name SLIT(":") consDataConKey
366 fstIdName = varQual pREL_TUP_Name SLIT("fst") fstIdKey
367 sndIdName = varQual pREL_TUP_Name SLIT("snd") sndIdKey
370 crossTyConName = tcQual pREL_BASE_Name SLIT(":*:") crossTyConKey
371 crossDataConName = dataQual pREL_BASE_Name SLIT(":*:") crossDataConKey
372 plusTyConName = tcQual pREL_BASE_Name SLIT(":+:") plusTyConKey
373 inlDataConName = dataQual pREL_BASE_Name SLIT("Inl") inlDataConKey
374 inrDataConName = dataQual pREL_BASE_Name SLIT("Inr") inrDataConKey
375 genUnitTyConName = tcQual pREL_BASE_Name SLIT("Unit") genUnitTyConKey
376 genUnitDataConName = dataQual pREL_BASE_Name SLIT("Unit") genUnitDataConKey
378 -- Random PrelBase functions
379 unsafeCoerceName = varQual pREL_BASE_Name SLIT("unsafeCoerce") unsafeCoerceIdKey
380 otherwiseIdName = varQual pREL_BASE_Name SLIT("otherwise") otherwiseIdKey
381 appendName = varQual pREL_BASE_Name SLIT("++") appendIdKey
382 foldrName = varQual pREL_BASE_Name SLIT("foldr") foldrIdKey
383 mapName = varQual pREL_BASE_Name SLIT("map") mapIdKey
384 buildName = varQual pREL_BASE_Name SLIT("build") buildIdKey
385 augmentName = varQual pREL_BASE_Name SLIT("augment") augmentIdKey
386 eqStringName = varQual pREL_BASE_Name SLIT("eqString") eqStringIdKey
389 unpackCStringName = varQual pREL_BASE_Name SLIT("unpackCString#") unpackCStringIdKey
390 unpackCStringListName = varQual pREL_BASE_Name SLIT("unpackCStringList#") unpackCStringListIdKey
391 unpackCStringAppendName = varQual pREL_BASE_Name SLIT("unpackAppendCString#") unpackCStringAppendIdKey
392 unpackCStringFoldrName = varQual pREL_BASE_Name SLIT("unpackFoldrCString#") unpackCStringFoldrIdKey
393 unpackCStringUtf8Name = varQual pREL_BASE_Name SLIT("unpackCStringUtf8#") unpackCStringUtf8IdKey
395 -- Classes Eq and Ord
396 eqClassName = clsQual pREL_BASE_Name SLIT("Eq") eqClassKey
397 ordClassName = clsQual pREL_BASE_Name SLIT("Ord") ordClassKey
398 eqName = varQual pREL_BASE_Name SLIT("==") eqClassOpKey
399 geName = varQual pREL_BASE_Name SLIT(">=") geClassOpKey
402 monadClassName = clsQual pREL_BASE_Name SLIT("Monad") monadClassKey
403 monadPlusClassName = clsQual pREL_BASE_Name SLIT("MonadPlus") monadPlusClassKey
404 thenMName = varQual pREL_BASE_Name SLIT(">>=") thenMClassOpKey
405 returnMName = varQual pREL_BASE_Name SLIT("return") returnMClassOpKey
406 failMName = varQual pREL_BASE_Name SLIT("fail") failMClassOpKey
409 functorClassName = clsQual pREL_BASE_Name SLIT("Functor") functorClassKey
412 showClassName = clsQual pREL_SHOW_Name SLIT("Show") showClassKey
415 readClassName = clsQual pREL_READ_Name SLIT("Read") readClassKey
418 numClassName = clsQual pREL_NUM_Name SLIT("Num") numClassKey
419 fromIntegerName = varQual pREL_NUM_Name SLIT("fromInteger") fromIntegerClassOpKey
420 minusName = varQual pREL_NUM_Name SLIT("-") minusClassOpKey
421 negateName = varQual pREL_NUM_Name SLIT("negate") negateClassOpKey
422 plusIntegerName = varQual pREL_NUM_Name SLIT("plusInteger") plusIntegerIdKey
423 timesIntegerName = varQual pREL_NUM_Name SLIT("timesInteger") timesIntegerIdKey
424 integerTyConName = tcQual pREL_NUM_Name SLIT("Integer") integerTyConKey
425 smallIntegerDataConName = dataQual pREL_NUM_Name SLIT("S#") smallIntegerDataConKey
426 largeIntegerDataConName = dataQual pREL_NUM_Name SLIT("J#") largeIntegerDataConKey
428 -- PrelReal types and classes
429 rationalTyConName = tcQual pREL_REAL_Name SLIT("Rational") rationalTyConKey
430 ratioTyConName = tcQual pREL_REAL_Name SLIT("Ratio") ratioTyConKey
431 ratioDataConName = dataQual pREL_REAL_Name SLIT(":%") ratioDataConKey
432 realClassName = clsQual pREL_REAL_Name SLIT("Real") realClassKey
433 integralClassName = clsQual pREL_REAL_Name SLIT("Integral") integralClassKey
434 realFracClassName = clsQual pREL_REAL_Name SLIT("RealFrac") realFracClassKey
435 fractionalClassName = clsQual pREL_REAL_Name SLIT("Fractional") fractionalClassKey
436 fromRationalName = varQual pREL_REAL_Name SLIT("fromRational") fromRationalClassOpKey
439 floatTyConName = tcQual pREL_FLOAT_Name SLIT("Float") floatTyConKey
440 floatDataConName = dataQual pREL_FLOAT_Name SLIT("F#") floatDataConKey
441 doubleTyConName = tcQual pREL_FLOAT_Name SLIT("Double") doubleTyConKey
442 doubleDataConName = dataQual pREL_FLOAT_Name SLIT("D#") doubleDataConKey
443 floatingClassName = clsQual pREL_FLOAT_Name SLIT("Floating") floatingClassKey
444 realFloatClassName = clsQual pREL_FLOAT_Name SLIT("RealFloat") realFloatClassKey
447 ixClassName = clsQual pREL_ARR_Name SLIT("Ix") ixClassKey
450 enumClassName = clsQual pREL_ENUM_Name SLIT("Enum") enumClassKey
451 toEnumName = varQual pREL_ENUM_Name SLIT("toEnum") toEnumClassOpKey
452 fromEnumName = varQual pREL_ENUM_Name SLIT("fromEnum") fromEnumClassOpKey
453 enumFromName = varQual pREL_ENUM_Name SLIT("enumFrom") enumFromClassOpKey
454 enumFromToName = varQual pREL_ENUM_Name SLIT("enumFromTo") enumFromToClassOpKey
455 enumFromThenName = varQual pREL_ENUM_Name SLIT("enumFromThen") enumFromThenClassOpKey
456 enumFromThenToName = varQual pREL_ENUM_Name SLIT("enumFromThenTo") enumFromThenToClassOpKey
459 boundedClassName = clsQual pREL_ENUM_Name SLIT("Bounded") boundedClassKey
462 concatName = varQual pREL_LIST_Name SLIT("concat") concatIdKey
463 filterName = varQual pREL_LIST_Name SLIT("filter") filterIdKey
464 zipName = varQual pREL_LIST_Name SLIT("zip") zipIdKey
467 ioTyConName = tcQual pREL_IO_BASE_Name SLIT("IO") ioTyConKey
468 ioDataConName = dataQual pREL_IO_BASE_Name SLIT("IO") ioDataConKey
469 bindIOName = varQual pREL_IO_BASE_Name SLIT("bindIO") bindIOIdKey
470 returnIOName = varQual pREL_IO_BASE_Name SLIT("returnIO") returnIOIdKey
471 failIOName = varQual pREL_IO_BASE_Name SLIT("failIO") failIOIdKey
474 printName = varQual pREL_IO_Name SLIT("print") printIdKey
476 -- Int, Word, and Addr things
477 int8TyConName = tcQual pREL_INT_Name SLIT("Int8") int8TyConKey
478 int16TyConName = tcQual pREL_INT_Name SLIT("Int16") int16TyConKey
479 int32TyConName = tcQual pREL_INT_Name SLIT("Int32") int32TyConKey
480 int64TyConName = tcQual pREL_INT_Name SLIT("Int64") int64TyConKey
482 word8TyConName = tcQual pREL_WORD_Name SLIT("Word8") word8TyConKey
483 word16TyConName = tcQual pREL_WORD_Name SLIT("Word16") word16TyConKey
484 word32TyConName = tcQual pREL_WORD_Name SLIT("Word32") word32TyConKey
485 word64TyConName = tcQual pREL_WORD_Name SLIT("Word64") word64TyConKey
487 wordTyConName = tcQual pREL_WORD_Name SLIT("Word") wordTyConKey
488 wordDataConName = dataQual pREL_WORD_Name SLIT("W#") wordDataConKey
490 addrTyConName = tcQual aDDR_Name SLIT("Addr") addrTyConKey
491 addrDataConName = dataQual aDDR_Name SLIT("A#") addrDataConKey
493 ptrTyConName = tcQual pREL_PTR_Name SLIT("Ptr") ptrTyConKey
494 ptrDataConName = dataQual pREL_PTR_Name SLIT("Ptr") ptrDataConKey
496 funPtrTyConName = tcQual pREL_PTR_Name SLIT("FunPtr") funPtrTyConKey
497 funPtrDataConName = dataQual pREL_PTR_Name SLIT("FunPtr") funPtrDataConKey
500 byteArrayTyConName = tcQual pREL_BYTEARR_Name SLIT("ByteArray") byteArrayTyConKey
501 mutableByteArrayTyConName = tcQual pREL_BYTEARR_Name SLIT("MutableByteArray") mutableByteArrayTyConKey
503 -- Forign objects and weak pointers
504 foreignObjTyConName = tcQual fOREIGNOBJ_Name SLIT("ForeignObj") foreignObjTyConKey
505 foreignObjDataConName = dataQual fOREIGNOBJ_Name SLIT("ForeignObj") foreignObjDataConKey
506 foreignPtrTyConName = tcQual pREL_FOREIGN_Name SLIT("ForeignPtr") foreignPtrTyConKey
507 foreignPtrDataConName = dataQual pREL_FOREIGN_Name SLIT("ForeignPtr") foreignPtrDataConKey
508 stablePtrTyConName = tcQual pREL_STABLE_Name SLIT("StablePtr") stablePtrTyConKey
509 stablePtrDataConName = dataQual pREL_STABLE_Name SLIT("StablePtr") stablePtrDataConKey
510 deRefStablePtrName = varQual pREL_STABLE_Name SLIT("deRefStablePtr") deRefStablePtrIdKey
511 newStablePtrName = varQual pREL_STABLE_Name SLIT("newStablePtr") newStablePtrIdKey
513 errorName = varQual pREL_ERR_Name SLIT("error") errorIdKey
514 assertName = varQual pREL_GHC_Name SLIT("assert") assertIdKey
515 getTagName = varQual pREL_GHC_Name SLIT("getTag#") getTagIdKey
516 runSTRepName = varQual pREL_ST_Name SLIT("runSTRep") runSTRepIdKey
518 -- The "split" Id for splittable implicit parameters
519 splitIdName = varQual pREL_SPLIT_Name SLIT("split") splitIdKey
522 %************************************************************************
524 \subsection{Known names}
526 %************************************************************************
528 The following names are known to the compiler, but they don't require
529 pre-assigned keys. Mostly these names are used in generating deriving
530 code, which is passed through the renamer anyway.
532 THEY ARE ALL ORIGINAL NAMES, HOWEVER
536 tupleCon_RDR, tupleTyCon_RDR :: Int -> RdrName
537 ubxTupleCon_RDR, ubxTupleTyCon_RDR :: Int -> RdrName
539 tupleCon_RDR = mkTupConRdrName dataName Boxed
540 tupleTyCon_RDR = mkTupConRdrName tcName Boxed
541 ubxTupleCon_RDR = mkTupConRdrName dataName Unboxed
542 ubxTupleTyCon_RDR = mkTupConRdrName tcName Unboxed
544 unitCon_RDR = dataQual_RDR pREL_BASE_Name SLIT("()")
545 unitTyCon_RDR = tcQual_RDR pREL_BASE_Name SLIT("()")
547 and_RDR = varQual_RDR pREL_BASE_Name SLIT("&&")
548 not_RDR = varQual_RDR pREL_BASE_Name SLIT("not")
549 compose_RDR = varQual_RDR pREL_BASE_Name SLIT(".")
550 ne_RDR = varQual_RDR pREL_BASE_Name SLIT("/=")
551 le_RDR = varQual_RDR pREL_BASE_Name SLIT("<=")
552 lt_RDR = varQual_RDR pREL_BASE_Name SLIT("<")
553 gt_RDR = varQual_RDR pREL_BASE_Name SLIT(">")
554 ltTag_RDR = dataQual_RDR pREL_BASE_Name SLIT("LT")
555 eqTag_RDR = dataQual_RDR pREL_BASE_Name SLIT("EQ")
556 gtTag_RDR = dataQual_RDR pREL_BASE_Name SLIT("GT")
557 max_RDR = varQual_RDR pREL_BASE_Name SLIT("max")
558 min_RDR = varQual_RDR pREL_BASE_Name SLIT("min")
559 compare_RDR = varQual_RDR pREL_BASE_Name SLIT("compare")
560 showList_RDR = varQual_RDR pREL_SHOW_Name SLIT("showList")
561 showList___RDR = varQual_RDR pREL_SHOW_Name SLIT("showList__")
562 showsPrec_RDR = varQual_RDR pREL_SHOW_Name SLIT("showsPrec")
563 showSpace_RDR = varQual_RDR pREL_SHOW_Name SLIT("showSpace")
564 showString_RDR = varQual_RDR pREL_SHOW_Name SLIT("showString")
565 showParen_RDR = varQual_RDR pREL_SHOW_Name SLIT("showParen")
566 readsPrec_RDR = varQual_RDR pREL_READ_Name SLIT("readsPrec")
567 readList_RDR = varQual_RDR pREL_READ_Name SLIT("readList")
568 readParen_RDR = varQual_RDR pREL_READ_Name SLIT("readParen")
569 lex_RDR = varQual_RDR pREL_READ_Name SLIT("lex")
570 readList___RDR = varQual_RDR pREL_READ_Name SLIT("readList__")
571 times_RDR = varQual_RDR pREL_NUM_Name SLIT("*")
572 plus_RDR = varQual_RDR pREL_NUM_Name SLIT("+")
573 negate_RDR = varQual_RDR pREL_NUM_Name SLIT("negate")
574 range_RDR = varQual_RDR pREL_ARR_Name SLIT("range")
575 index_RDR = varQual_RDR pREL_ARR_Name SLIT("index")
576 inRange_RDR = varQual_RDR pREL_ARR_Name SLIT("inRange")
577 succ_RDR = varQual_RDR pREL_ENUM_Name SLIT("succ")
578 pred_RDR = varQual_RDR pREL_ENUM_Name SLIT("pred")
579 minBound_RDR = varQual_RDR pREL_ENUM_Name SLIT("minBound")
580 maxBound_RDR = varQual_RDR pREL_ENUM_Name SLIT("maxBound")
581 assertErr_RDR = varQual_RDR pREL_ERR_Name SLIT("assertError")
584 These RDR names also have known keys, so we need to get back the RDR names to
585 populate the occurrence list above.
588 funTyCon_RDR = nameRdrName funTyConName
589 nilCon_RDR = nameRdrName nilDataConName
590 listTyCon_RDR = nameRdrName listTyConName
591 ioTyCon_RDR = nameRdrName ioTyConName
592 intTyCon_RDR = nameRdrName intTyConName
593 eq_RDR = nameRdrName eqName
594 ge_RDR = nameRdrName geName
595 numClass_RDR = nameRdrName numClassName
596 ordClass_RDR = nameRdrName ordClassName
597 map_RDR = nameRdrName mapName
598 append_RDR = nameRdrName appendName
599 foldr_RDR = nameRdrName foldrName
600 build_RDR = nameRdrName buildName
601 enumFromTo_RDR = nameRdrName enumFromToName
602 returnM_RDR = nameRdrName returnMName
603 thenM_RDR = nameRdrName thenMName
604 failM_RDR = nameRdrName failMName
605 false_RDR = nameRdrName falseDataConName
606 true_RDR = nameRdrName trueDataConName
607 error_RDR = nameRdrName errorName
608 getTag_RDR = nameRdrName getTagName
609 fromEnum_RDR = nameRdrName fromEnumName
610 toEnum_RDR = nameRdrName toEnumName
611 enumFrom_RDR = nameRdrName enumFromName
612 mkInt_RDR = nameRdrName intDataConName
613 enumFromThen_RDR = nameRdrName enumFromThenName
614 enumFromThenTo_RDR = nameRdrName enumFromThenToName
615 ratioDataCon_RDR = nameRdrName ratioDataConName
616 plusInteger_RDR = nameRdrName plusIntegerName
617 timesInteger_RDR = nameRdrName timesIntegerName
618 enumClass_RDR = nameRdrName enumClassName
619 monadClass_RDR = nameRdrName monadClassName
620 ioDataCon_RDR = nameRdrName ioDataConName
621 cCallableClass_RDR = nameRdrName cCallableClassName
622 cReturnableClass_RDR = nameRdrName cReturnableClassName
623 eqClass_RDR = nameRdrName eqClassName
624 eqString_RDR = nameRdrName eqStringName
625 unpackCString_RDR = nameRdrName unpackCStringName
626 unpackCStringFoldr_RDR = nameRdrName unpackCStringFoldrName
627 unpackCStringUtf8_RDR = nameRdrName unpackCStringUtf8Name
628 deRefStablePtr_RDR = nameRdrName deRefStablePtrName
629 newStablePtr_RDR = nameRdrName newStablePtrName
630 bindIO_RDR = nameRdrName bindIOName
631 returnIO_RDR = nameRdrName returnIOName
632 fromInteger_RDR = nameRdrName fromIntegerName
633 fromRational_RDR = nameRdrName fromRationalName
634 minus_RDR = nameRdrName minusName
637 %************************************************************************
639 \subsection{Local helpers}
641 %************************************************************************
643 All these are original names; hence mkOrig
646 varQual mod str uq = mkKnownKeyGlobal (varQual_RDR mod str) uq
647 dataQual mod str uq = mkKnownKeyGlobal (dataQual_RDR mod str) uq
648 tcQual mod str uq = mkKnownKeyGlobal (tcQual_RDR mod str) uq
649 clsQual mod str uq = mkKnownKeyGlobal (clsQual_RDR mod str) uq
651 kindQual str uq = mkLocalName uq (mkKindOccFS tcName str) builtinSrcLoc
652 -- Kinds are not z-encoded in interface file, hence mkKindOccFS
653 -- And they don't come from any particular module; indeed we always
654 -- want to print them unqualified. Hence the LocalName
656 varQual_RDR mod str = mkOrig varName mod str
657 tcQual_RDR mod str = mkOrig tcName mod str
658 clsQual_RDR mod str = mkOrig clsName mod str
659 dataQual_RDR mod str = mkOrig dataName mod str
662 %************************************************************************
664 \subsubsection[Uniques-prelude-Classes]{@Uniques@ for wired-in @Classes@}
666 %************************************************************************
669 boundedClassKey = mkPreludeClassUnique 1
670 enumClassKey = mkPreludeClassUnique 2
671 eqClassKey = mkPreludeClassUnique 3
672 floatingClassKey = mkPreludeClassUnique 5
673 fractionalClassKey = mkPreludeClassUnique 6
674 integralClassKey = mkPreludeClassUnique 7
675 monadClassKey = mkPreludeClassUnique 8
676 monadPlusClassKey = mkPreludeClassUnique 9
677 functorClassKey = mkPreludeClassUnique 10
678 numClassKey = mkPreludeClassUnique 11
679 ordClassKey = mkPreludeClassUnique 12
680 readClassKey = mkPreludeClassUnique 13
681 realClassKey = mkPreludeClassUnique 14
682 realFloatClassKey = mkPreludeClassUnique 15
683 realFracClassKey = mkPreludeClassUnique 16
684 showClassKey = mkPreludeClassUnique 17
686 cCallableClassKey = mkPreludeClassUnique 18
687 cReturnableClassKey = mkPreludeClassUnique 19
689 ixClassKey = mkPreludeClassUnique 20
692 %************************************************************************
694 \subsubsection[Uniques-prelude-TyCons]{@Uniques@ for wired-in @TyCons@}
696 %************************************************************************
699 addrPrimTyConKey = mkPreludeTyConUnique 1
700 addrTyConKey = mkPreludeTyConUnique 2
701 arrayPrimTyConKey = mkPreludeTyConUnique 3
702 boolTyConKey = mkPreludeTyConUnique 4
703 byteArrayPrimTyConKey = mkPreludeTyConUnique 5
704 charPrimTyConKey = mkPreludeTyConUnique 7
705 charTyConKey = mkPreludeTyConUnique 8
706 doublePrimTyConKey = mkPreludeTyConUnique 9
707 doubleTyConKey = mkPreludeTyConUnique 10
708 floatPrimTyConKey = mkPreludeTyConUnique 11
709 floatTyConKey = mkPreludeTyConUnique 12
710 funTyConKey = mkPreludeTyConUnique 13
711 intPrimTyConKey = mkPreludeTyConUnique 14
712 intTyConKey = mkPreludeTyConUnique 15
713 int8TyConKey = mkPreludeTyConUnique 16
714 int16TyConKey = mkPreludeTyConUnique 17
715 int32PrimTyConKey = mkPreludeTyConUnique 18
716 int32TyConKey = mkPreludeTyConUnique 19
717 int64PrimTyConKey = mkPreludeTyConUnique 20
718 int64TyConKey = mkPreludeTyConUnique 21
719 integerTyConKey = mkPreludeTyConUnique 22
720 listTyConKey = mkPreludeTyConUnique 23
721 foreignObjPrimTyConKey = mkPreludeTyConUnique 24
722 foreignObjTyConKey = mkPreludeTyConUnique 25
723 foreignPtrTyConKey = mkPreludeTyConUnique 26
724 weakPrimTyConKey = mkPreludeTyConUnique 27
725 mutableArrayPrimTyConKey = mkPreludeTyConUnique 28
726 mutableByteArrayPrimTyConKey = mkPreludeTyConUnique 29
727 orderingTyConKey = mkPreludeTyConUnique 30
728 mVarPrimTyConKey = mkPreludeTyConUnique 31
729 ratioTyConKey = mkPreludeTyConUnique 32
730 rationalTyConKey = mkPreludeTyConUnique 33
731 realWorldTyConKey = mkPreludeTyConUnique 34
732 stablePtrPrimTyConKey = mkPreludeTyConUnique 35
733 stablePtrTyConKey = mkPreludeTyConUnique 36
734 statePrimTyConKey = mkPreludeTyConUnique 50
735 stableNamePrimTyConKey = mkPreludeTyConUnique 51
736 stableNameTyConKey = mkPreludeTyConUnique 52
737 mutableByteArrayTyConKey = mkPreludeTyConUnique 53
738 mutVarPrimTyConKey = mkPreludeTyConUnique 55
739 ioTyConKey = mkPreludeTyConUnique 56
740 byteArrayTyConKey = mkPreludeTyConUnique 57
741 wordPrimTyConKey = mkPreludeTyConUnique 58
742 wordTyConKey = mkPreludeTyConUnique 59
743 word8TyConKey = mkPreludeTyConUnique 60
744 word16TyConKey = mkPreludeTyConUnique 61
745 word32PrimTyConKey = mkPreludeTyConUnique 62
746 word32TyConKey = mkPreludeTyConUnique 63
747 word64PrimTyConKey = mkPreludeTyConUnique 64
748 word64TyConKey = mkPreludeTyConUnique 65
749 liftedConKey = mkPreludeTyConUnique 66
750 unliftedConKey = mkPreludeTyConUnique 67
751 anyBoxConKey = mkPreludeTyConUnique 68
752 kindConKey = mkPreludeTyConUnique 69
753 boxityConKey = mkPreludeTyConUnique 70
754 typeConKey = mkPreludeTyConUnique 71
755 threadIdPrimTyConKey = mkPreludeTyConUnique 72
756 bcoPrimTyConKey = mkPreludeTyConUnique 73
757 ptrTyConKey = mkPreludeTyConUnique 74
758 funPtrTyConKey = mkPreludeTyConUnique 75
760 -- Usage type constructors
761 usageConKey = mkPreludeTyConUnique 76
762 usOnceTyConKey = mkPreludeTyConUnique 77
763 usManyTyConKey = mkPreludeTyConUnique 78
765 -- Generic Type Constructors
766 crossTyConKey = mkPreludeTyConUnique 79
767 plusTyConKey = mkPreludeTyConUnique 80
768 genUnitTyConKey = mkPreludeTyConUnique 81
770 unitTyConKey = mkTupleTyConUnique Boxed 0
773 %************************************************************************
775 \subsubsection[Uniques-prelude-DataCons]{@Uniques@ for wired-in @DataCons@}
777 %************************************************************************
780 addrDataConKey = mkPreludeDataConUnique 0
781 charDataConKey = mkPreludeDataConUnique 1
782 consDataConKey = mkPreludeDataConUnique 2
783 doubleDataConKey = mkPreludeDataConUnique 3
784 falseDataConKey = mkPreludeDataConUnique 4
785 floatDataConKey = mkPreludeDataConUnique 5
786 intDataConKey = mkPreludeDataConUnique 6
787 smallIntegerDataConKey = mkPreludeDataConUnique 7
788 largeIntegerDataConKey = mkPreludeDataConUnique 8
789 foreignObjDataConKey = mkPreludeDataConUnique 9
790 foreignPtrDataConKey = mkPreludeDataConUnique 10
791 nilDataConKey = mkPreludeDataConUnique 11
792 ratioDataConKey = mkPreludeDataConUnique 12
793 stablePtrDataConKey = mkPreludeDataConUnique 13
794 stableNameDataConKey = mkPreludeDataConUnique 14
795 trueDataConKey = mkPreludeDataConUnique 15
796 wordDataConKey = mkPreludeDataConUnique 16
797 ioDataConKey = mkPreludeDataConUnique 17
798 ptrDataConKey = mkPreludeDataConUnique 18
799 funPtrDataConKey = mkPreludeDataConUnique 19
801 -- Generic data constructors
802 crossDataConKey = mkPreludeDataConUnique 20
803 inlDataConKey = mkPreludeDataConUnique 21
804 inrDataConKey = mkPreludeDataConUnique 22
805 genUnitDataConKey = mkPreludeDataConUnique 23
808 %************************************************************************
810 \subsubsection[Uniques-prelude-Ids]{@Uniques@ for wired-in @Ids@ (except @DataCons@)}
812 %************************************************************************
815 absentErrorIdKey = mkPreludeMiscIdUnique 1
816 appendIdKey = mkPreludeMiscIdUnique 2
817 augmentIdKey = mkPreludeMiscIdUnique 3
818 buildIdKey = mkPreludeMiscIdUnique 4
819 errorIdKey = mkPreludeMiscIdUnique 5
820 foldlIdKey = mkPreludeMiscIdUnique 6
821 foldrIdKey = mkPreludeMiscIdUnique 7
822 recSelErrIdKey = mkPreludeMiscIdUnique 8
823 integerMinusOneIdKey = mkPreludeMiscIdUnique 9
824 integerPlusOneIdKey = mkPreludeMiscIdUnique 10
825 integerPlusTwoIdKey = mkPreludeMiscIdUnique 11
826 integerZeroIdKey = mkPreludeMiscIdUnique 12
827 int2IntegerIdKey = mkPreludeMiscIdUnique 13
828 seqIdKey = mkPreludeMiscIdUnique 14
829 irrefutPatErrorIdKey = mkPreludeMiscIdUnique 15
830 eqStringIdKey = mkPreludeMiscIdUnique 16
831 noMethodBindingErrorIdKey = mkPreludeMiscIdUnique 17
832 nonExhaustiveGuardsErrorIdKey = mkPreludeMiscIdUnique 18
833 errorCStringIdKey = mkPreludeMiscIdUnique 19
834 parErrorIdKey = mkPreludeMiscIdUnique 20
835 parIdKey = mkPreludeMiscIdUnique 21
836 patErrorIdKey = mkPreludeMiscIdUnique 22
837 realWorldPrimIdKey = mkPreludeMiscIdUnique 23
838 recConErrorIdKey = mkPreludeMiscIdUnique 24
839 recUpdErrorIdKey = mkPreludeMiscIdUnique 25
840 traceIdKey = mkPreludeMiscIdUnique 26
841 unpackCStringUtf8IdKey = mkPreludeMiscIdUnique 27
842 unpackCStringAppendIdKey = mkPreludeMiscIdUnique 28
843 unpackCStringFoldrIdKey = mkPreludeMiscIdUnique 29
844 unpackCStringIdKey = mkPreludeMiscIdUnique 30
845 ushowListIdKey = mkPreludeMiscIdUnique 31
846 unsafeCoerceIdKey = mkPreludeMiscIdUnique 32
847 concatIdKey = mkPreludeMiscIdUnique 33
848 filterIdKey = mkPreludeMiscIdUnique 34
849 zipIdKey = mkPreludeMiscIdUnique 35
850 bindIOIdKey = mkPreludeMiscIdUnique 36
851 returnIOIdKey = mkPreludeMiscIdUnique 37
852 deRefStablePtrIdKey = mkPreludeMiscIdUnique 38
853 newStablePtrIdKey = mkPreludeMiscIdUnique 39
854 getTagIdKey = mkPreludeMiscIdUnique 40
855 plusIntegerIdKey = mkPreludeMiscIdUnique 41
856 timesIntegerIdKey = mkPreludeMiscIdUnique 42
857 printIdKey = mkPreludeMiscIdUnique 43
858 failIOIdKey = mkPreludeMiscIdUnique 44
859 unpackCStringListIdKey = mkPreludeMiscIdUnique 45
860 nullAddrIdKey = mkPreludeMiscIdUnique 46
861 voidArgIdKey = mkPreludeMiscIdUnique 47
862 splitIdKey = mkPreludeMiscIdUnique 48
863 fstIdKey = mkPreludeMiscIdUnique 49
864 sndIdKey = mkPreludeMiscIdUnique 50
867 Certain class operations from Prelude classes. They get their own
868 uniques so we can look them up easily when we want to conjure them up
869 during type checking.
872 fromIntegerClassOpKey = mkPreludeMiscIdUnique 102
873 minusClassOpKey = mkPreludeMiscIdUnique 103
874 fromRationalClassOpKey = mkPreludeMiscIdUnique 104
875 enumFromClassOpKey = mkPreludeMiscIdUnique 105
876 enumFromThenClassOpKey = mkPreludeMiscIdUnique 106
877 enumFromToClassOpKey = mkPreludeMiscIdUnique 107
878 enumFromThenToClassOpKey = mkPreludeMiscIdUnique 108
879 eqClassOpKey = mkPreludeMiscIdUnique 109
880 geClassOpKey = mkPreludeMiscIdUnique 110
881 negateClassOpKey = mkPreludeMiscIdUnique 111
882 failMClassOpKey = mkPreludeMiscIdUnique 112
883 thenMClassOpKey = mkPreludeMiscIdUnique 113 -- (>>=)
884 -- Just a place holder for unbound variables produced by the renamer:
885 unboundKey = mkPreludeMiscIdUnique 114
886 fromEnumClassOpKey = mkPreludeMiscIdUnique 115
888 mainKey = mkPreludeMiscIdUnique 116
889 returnMClassOpKey = mkPreludeMiscIdUnique 117
890 otherwiseIdKey = mkPreludeMiscIdUnique 118
891 toEnumClassOpKey = mkPreludeMiscIdUnique 119
892 mapIdKey = mkPreludeMiscIdUnique 120
896 assertIdKey = mkPreludeMiscIdUnique 121
897 runSTRepIdKey = mkPreludeMiscIdUnique 122
901 %************************************************************************
903 \subsection{Standard groups of types}
905 %************************************************************************
917 -- Renamer always imports these data decls replete with constructors
918 -- so that desugarer can always see their constructors. Ugh!
923 , mutableByteArrayTyConKey
939 %************************************************************************
941 \subsection[Class-std-groups]{Standard groups of Prelude classes}
943 %************************************************************************
945 @derivableClassKeys@ is also used in checking \tr{deriving} constructs
948 @derivingOccurrences@ maps a class name to a list of the (qualified)
949 occurrences that will be mentioned by the derived code for the class
950 when it is later generated. We don't need to put in things that are
951 WiredIn (because they are already mapped to their correct name by the
952 @NameSupply@. The class itself, and all its class ops, is already
953 flagged as an occurrence so we don't need to mention that either.
955 @derivingOccurrences@ has an item for every derivable class, even if
956 that item is empty, because we treat lookup failure as indicating that
957 the class is illegal in a deriving clause.
960 derivingOccurrences :: UniqFM [RdrName]
961 derivingOccurrences = listToUFM deriving_occ_info
963 derivableClassKeys = map fst deriving_occ_info
966 = [ (eqClassKey, [intTyCon_RDR, and_RDR, not_RDR])
967 , (ordClassKey, [intTyCon_RDR, compose_RDR, eqTag_RDR])
968 -- EQ (from Ordering) is needed to force in the constructors
969 -- as well as the type constructor.
970 , (enumClassKey, [intTyCon_RDR, eq_RDR, ge_RDR, and_RDR, map_RDR, plus_RDR, showsPrec_RDR, append_RDR])
971 -- The last two Enum deps are only used to produce better
972 -- error msgs for derived toEnum methods.
973 , (boundedClassKey, [intTyCon_RDR])
974 , (showClassKey, [intTyCon_RDR, numClass_RDR, ordClass_RDR, compose_RDR, showString_RDR,
975 showParen_RDR, showSpace_RDR, showList___RDR])
976 , (readClassKey, [intTyCon_RDR, numClass_RDR, ordClass_RDR, append_RDR,
977 foldr_RDR, build_RDR,
978 -- foldr and build required for list comprehension
980 lex_RDR, readParen_RDR, readList___RDR, thenM_RDR])
981 -- returnM (and the rest of the Monad class decl)
982 -- will be forced in as result of depending
983 -- on thenM. -- SOF 1/99
984 , (ixClassKey, [intTyCon_RDR, numClass_RDR, and_RDR, map_RDR, enumFromTo_RDR,
985 foldr_RDR, build_RDR,
986 -- foldr and build required for list comprehension used
987 -- with single constructor types -- KSW 2000-06
988 returnM_RDR, failM_RDR])
989 -- the last two are needed to force returnM, thenM and failM
990 -- in before typechecking the list(monad) comprehension
991 -- generated for derived Ix instances (range method)
992 -- of single constructor types. -- SOF 8/97
994 -- intTyCon: Practically any deriving needs Int, either for index calculations,
996 -- ordClass: really it's the methods that are actually used.
997 -- numClass: for Int literals
1001 NOTE: @Eq@ and @Text@ do need to appear in @standardClasses@
1002 even though every numeric class has these two as a superclass,
1003 because the list of ambiguous dictionaries hasn't been simplified.
1011 ++ fractionalClassKeys
1013 fractionalClassKeys =
1014 [ fractionalClassKey
1020 -- the strictness analyser needs to know about numeric types
1021 -- (see SaAbsInt.lhs)
1022 needsDataDeclCtxtClassKeys = -- see comments in TcDeriv
1028 , cReturnableClassKey
1032 = derivableClassKeys ++ numericClassKeys ++ cCallishClassKeys
1034 -- We have to have "CCallable" and "CReturnable" in the standard
1035 -- classes, so that if you go...
1037 -- _ccall_ foo ... 93{-numeric literal-} ...
1039 -- ... it can do The Right Thing on the 93.
1041 noDictClassKeys -- These classes are used only for type annotations;
1042 -- they are not implemented by dictionaries, ever.