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 FSLIT("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
122 showClassName, -- derivable
123 realClassName, -- numeric
124 integralClassName, -- numeric
125 fractionalClassName, -- numeric
126 floatingClassName, -- numeric
127 realFracClassName, -- numeric
128 realFloatClassName, -- numeric
129 readClassName, -- derivable
130 ixClassName, -- derivable (but it isn't Prelude.Ix; hmmm)
131 cCallableClassName, -- mentioned, ccallish
132 cReturnableClassName, -- mentioned, ccallish
151 -- not class methods, but overloaded (for parallel arrays)
165 unpackCStringAppendName,
166 unpackCStringFoldrName,
167 unpackCStringUtf8Name,
177 -- Parallel array operations
191 -- FFI primitive types that are not wired-in.
210 splitName, fstName, sndName, -- Used by splittery
212 -- Others (needed for flattening and not mentioned before)
219 %************************************************************************
221 \subsection{Module names}
223 %************************************************************************
226 pRELUDE_Name = mkModuleName "Prelude"
227 gHC_PRIM_Name = mkModuleName "GHC.Prim" -- Primitive types and values
228 gHC_BUILTIN_Name = mkModuleName "GHC.Builtin"
229 pREL_BASE_Name = mkModuleName "GHC.Base"
230 pREL_ENUM_Name = mkModuleName "GHC.Enum"
231 pREL_SHOW_Name = mkModuleName "GHC.Show"
232 pREL_READ_Name = mkModuleName "GHC.Read"
233 pREL_NUM_Name = mkModuleName "GHC.Num"
234 pREL_LIST_Name = mkModuleName "GHC.List"
235 pREL_PARR_Name = mkModuleName "GHC.PArr"
236 pREL_TUP_Name = mkModuleName "Data.Tuple"
237 pREL_PACK_Name = mkModuleName "GHC.Pack"
238 pREL_CONC_Name = mkModuleName "GHC.Conc"
239 pREL_IO_BASE_Name = mkModuleName "GHC.IOBase"
240 pREL_ST_Name = mkModuleName "GHC.ST"
241 pREL_ARR_Name = mkModuleName "GHC.Arr"
242 pREL_BYTEARR_Name = mkModuleName "PrelByteArr"
243 fOREIGN_PTR_Name = mkModuleName "Foreign.ForeignPtr"
244 pREL_STABLE_Name = mkModuleName "GHC.Stable"
245 pREL_SPLIT_Name = mkModuleName "GHC.Split"
246 pREL_ADDR_Name = mkModuleName "GHC.Addr"
247 pREL_PTR_Name = mkModuleName "GHC.Ptr"
248 pREL_ERR_Name = mkModuleName "GHC.Err"
249 pREL_REAL_Name = mkModuleName "GHC.Real"
250 pREL_FLOAT_Name = mkModuleName "GHC.Float"
251 pREL_TOP_HANDLER_Name = mkModuleName "GHC.TopHandler"
252 sYSTEM_IO_Name = mkModuleName "System.IO"
254 mAIN_Name = mkModuleName "Main"
255 pREL_INT_Name = mkModuleName "GHC.Int"
256 pREL_WORD_Name = mkModuleName "GHC.Word"
258 fOREIGNOBJ_Name = mkModuleName "ForeignObj"
259 aDDR_Name = mkModuleName "Addr"
261 gLA_EXTS_Name = mkModuleName "GlaExts"
263 gHC_PRIM = mkPrelModule gHC_PRIM_Name
264 gHC_BUILTIN = mkPrelModule gHC_BUILTIN_Name
265 pREL_BASE = mkPrelModule pREL_BASE_Name
266 pREL_ADDR = mkPrelModule pREL_ADDR_Name
267 pREL_PTR = mkPrelModule pREL_PTR_Name
268 pREL_STABLE = mkPrelModule pREL_STABLE_Name
269 pREL_IO_BASE = mkPrelModule pREL_IO_BASE_Name
270 pREL_PACK = mkPrelModule pREL_PACK_Name
271 pREL_ERR = mkPrelModule pREL_ERR_Name
272 pREL_NUM = mkPrelModule pREL_NUM_Name
273 pREL_REAL = mkPrelModule pREL_REAL_Name
274 pREL_FLOAT = mkPrelModule pREL_FLOAT_Name
275 pRELUDE = mkPrelModule pRELUDE_Name
277 iNTERACTIVE = mkHomeModule (mkModuleName "$Interactive")
280 %************************************************************************
282 \subsection{Constructing the names of tuples
284 %************************************************************************
287 mkTupNameStr :: Boxity -> Int -> (ModuleName, UserFS)
289 mkTupNameStr Boxed 0 = (pREL_BASE_Name, FSLIT("()"))
290 mkTupNameStr Boxed 1 = panic "Name.mkTupNameStr: 1 ???"
291 mkTupNameStr Boxed 2 = (pREL_TUP_Name, _PK_ "(,)") -- not strictly necessary
292 mkTupNameStr Boxed 3 = (pREL_TUP_Name, _PK_ "(,,)") -- ditto
293 mkTupNameStr Boxed 4 = (pREL_TUP_Name, _PK_ "(,,,)") -- ditto
294 mkTupNameStr Boxed n = (pREL_TUP_Name, _PK_ ("(" ++ nOfThem (n-1) ',' ++ ")"))
296 mkTupNameStr Unboxed 0 = panic "Name.mkUbxTupNameStr: 0 ???"
297 mkTupNameStr Unboxed 1 = (gHC_PRIM_Name, _PK_ "(# #)") -- 1 and 0 both make sense!!!
298 mkTupNameStr Unboxed 2 = (gHC_PRIM_Name, _PK_ "(#,#)")
299 mkTupNameStr Unboxed 3 = (gHC_PRIM_Name, _PK_ "(#,,#)")
300 mkTupNameStr Unboxed 4 = (gHC_PRIM_Name, _PK_ "(#,,,#)")
301 mkTupNameStr Unboxed n = (gHC_PRIM_Name, _PK_ ("(#" ++ nOfThem (n-1) ',' ++ "#)"))
303 mkTupConRdrName :: NameSpace -> Boxity -> Arity -> RdrName
304 mkTupConRdrName space boxity arity = case mkTupNameStr boxity arity of
305 (mod, occ) -> mkOrig space mod occ
309 %************************************************************************
311 \subsection{Unqualified RdrNames}
313 %************************************************************************
316 main_RDR_Unqual :: RdrName
317 main_RDR_Unqual = mkUnqual varName FSLIT("main")
318 -- Don't get a RdrName from PrelNames.mainName, because nameRdrName
319 -- gets an Orig RdrName, and we want a Qual or Unqual one. An Unqual
324 %************************************************************************
326 \subsection{Commonly-used RdrNames}
328 %************************************************************************
330 Many of these Names are not really "built in", but some parts of the
331 compiler (notably the deriving mechanism) need to mention their names,
332 and it's convenient to write them all down in one place.
335 dollarMainName = varQual mAIN_Name FSLIT("$main") dollarMainKey
336 runMainName = varQual pREL_TOP_HANDLER_Name FSLIT("runMain") runMainKey
338 -- Stuff from PrelGHC
339 usOnceTyConName = kindQual FSLIT(".") usOnceTyConKey
340 usManyTyConName = kindQual FSLIT("!") usManyTyConKey
341 superKindName = kindQual FSLIT("KX") kindConKey
342 superBoxityName = kindQual FSLIT("BX") boxityConKey
343 liftedConName = kindQual FSLIT("*") liftedConKey
344 unliftedConName = kindQual FSLIT("#") unliftedConKey
345 openKindConName = kindQual FSLIT("?") anyBoxConKey
346 usageKindConName = kindQual FSLIT("$") usageConKey
347 typeConName = kindQual FSLIT("Type") typeConKey
349 funTyConName = tcQual gHC_PRIM_Name FSLIT("(->)") funTyConKey
350 charPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Char#") charPrimTyConKey
351 intPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Int#") intPrimTyConKey
352 int32PrimTyConName = tcQual gHC_PRIM_Name FSLIT("Int32#") int32PrimTyConKey
353 int64PrimTyConName = tcQual gHC_PRIM_Name FSLIT("Int64#") int64PrimTyConKey
354 wordPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Word#") wordPrimTyConKey
355 word32PrimTyConName = tcQual gHC_PRIM_Name FSLIT("Word32#") word32PrimTyConKey
356 word64PrimTyConName = tcQual gHC_PRIM_Name FSLIT("Word64#") word64PrimTyConKey
357 addrPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Addr#") addrPrimTyConKey
358 floatPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Float#") floatPrimTyConKey
359 doublePrimTyConName = tcQual gHC_PRIM_Name FSLIT("Double#") doublePrimTyConKey
360 statePrimTyConName = tcQual gHC_PRIM_Name FSLIT("State#") statePrimTyConKey
361 realWorldTyConName = tcQual gHC_PRIM_Name FSLIT("RealWorld") realWorldTyConKey
362 arrayPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Array#") arrayPrimTyConKey
363 byteArrayPrimTyConName = tcQual gHC_PRIM_Name FSLIT("ByteArray#") byteArrayPrimTyConKey
364 mutableArrayPrimTyConName = tcQual gHC_PRIM_Name FSLIT("MutableArray#") mutableArrayPrimTyConKey
365 mutableByteArrayPrimTyConName = tcQual gHC_PRIM_Name FSLIT("MutableByteArray#") mutableByteArrayPrimTyConKey
366 mutVarPrimTyConName = tcQual gHC_PRIM_Name FSLIT("MutVar#") mutVarPrimTyConKey
367 mVarPrimTyConName = tcQual gHC_PRIM_Name FSLIT("MVar#") mVarPrimTyConKey
368 stablePtrPrimTyConName = tcQual gHC_PRIM_Name FSLIT("StablePtr#") stablePtrPrimTyConKey
369 stableNamePrimTyConName = tcQual gHC_PRIM_Name FSLIT("StableName#") stableNamePrimTyConKey
370 foreignObjPrimTyConName = tcQual gHC_PRIM_Name FSLIT("ForeignObj#") foreignObjPrimTyConKey
371 bcoPrimTyConName = tcQual gHC_PRIM_Name FSLIT("BCO#") bcoPrimTyConKey
372 weakPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Weak#") weakPrimTyConKey
373 threadIdPrimTyConName = tcQual gHC_PRIM_Name FSLIT("ThreadId#") threadIdPrimTyConKey
374 cCallableClassName = clsQual gHC_BUILTIN_Name FSLIT("CCallable") cCallableClassKey
375 cReturnableClassName = clsQual gHC_BUILTIN_Name FSLIT("CReturnable") cReturnableClassKey
377 -- PrelBase data types and constructors
378 charTyConName = tcQual pREL_BASE_Name FSLIT("Char") charTyConKey
379 charDataConName = dataQual pREL_BASE_Name FSLIT("C#") charDataConKey
380 intTyConName = tcQual pREL_BASE_Name FSLIT("Int") intTyConKey
381 intDataConName = dataQual pREL_BASE_Name FSLIT("I#") intDataConKey
382 orderingTyConName = tcQual pREL_BASE_Name FSLIT("Ordering") orderingTyConKey
383 boolTyConName = tcQual pREL_BASE_Name FSLIT("Bool") boolTyConKey
384 falseDataConName = dataQual pREL_BASE_Name FSLIT("False") falseDataConKey
385 trueDataConName = dataQual pREL_BASE_Name FSLIT("True") trueDataConKey
386 listTyConName = tcQual pREL_BASE_Name FSLIT("[]") listTyConKey
387 nilDataConName = dataQual pREL_BASE_Name FSLIT("[]") nilDataConKey
388 consDataConName = dataQual pREL_BASE_Name FSLIT(":") consDataConKey
391 fstName = varQual pREL_TUP_Name FSLIT("fst") fstIdKey
392 sndName = varQual pREL_TUP_Name FSLIT("snd") sndIdKey
395 crossTyConName = tcQual pREL_BASE_Name FSLIT(":*:") crossTyConKey
396 crossDataConName = dataQual pREL_BASE_Name FSLIT(":*:") crossDataConKey
397 plusTyConName = tcQual pREL_BASE_Name FSLIT(":+:") plusTyConKey
398 inlDataConName = dataQual pREL_BASE_Name FSLIT("Inl") inlDataConKey
399 inrDataConName = dataQual pREL_BASE_Name FSLIT("Inr") inrDataConKey
400 genUnitTyConName = tcQual pREL_BASE_Name FSLIT("Unit") genUnitTyConKey
401 genUnitDataConName = dataQual pREL_BASE_Name FSLIT("Unit") genUnitDataConKey
403 -- Random PrelBase functions
404 unsafeCoerceName = varQual pREL_BASE_Name FSLIT("unsafeCoerce")
406 otherwiseIdName = varQual pREL_BASE_Name FSLIT("otherwise") otherwiseIdKey
407 appendName = varQual pREL_BASE_Name FSLIT("++") appendIdKey
408 foldrName = varQual pREL_BASE_Name FSLIT("foldr") foldrIdKey
409 mapName = varQual pREL_BASE_Name FSLIT("map") mapIdKey
410 buildName = varQual pREL_BASE_Name FSLIT("build") buildIdKey
411 augmentName = varQual pREL_BASE_Name FSLIT("augment") augmentIdKey
412 eqStringName = varQual pREL_BASE_Name FSLIT("eqString") eqStringIdKey
413 andName = varQual pREL_BASE_Name FSLIT("&&") andIdKey
414 orName = varQual pREL_BASE_Name FSLIT("||") orIdKey
417 unpackCStringName = varQual pREL_BASE_Name FSLIT("unpackCString#") unpackCStringIdKey
418 unpackCStringAppendName = varQual pREL_BASE_Name FSLIT("unpackAppendCString#") unpackCStringAppendIdKey
419 unpackCStringFoldrName = varQual pREL_BASE_Name FSLIT("unpackFoldrCString#") unpackCStringFoldrIdKey
420 unpackCStringUtf8Name = varQual pREL_BASE_Name FSLIT("unpackCStringUtf8#") unpackCStringUtf8IdKey
422 -- Classes Eq and Ord
423 eqClassName = clsQual pREL_BASE_Name FSLIT("Eq") eqClassKey
424 ordClassName = clsQual pREL_BASE_Name FSLIT("Ord") ordClassKey
425 eqName = varQual pREL_BASE_Name FSLIT("==") eqClassOpKey
426 geName = varQual pREL_BASE_Name FSLIT(">=") geClassOpKey
429 monadClassName = clsQual pREL_BASE_Name FSLIT("Monad") monadClassKey
430 thenMName = varQual pREL_BASE_Name FSLIT(">>=") thenMClassOpKey
431 returnMName = varQual pREL_BASE_Name FSLIT("return") returnMClassOpKey
432 failMName = varQual pREL_BASE_Name FSLIT("fail") failMClassOpKey
435 functorClassName = clsQual pREL_BASE_Name FSLIT("Functor") functorClassKey
438 showClassName = clsQual pREL_SHOW_Name FSLIT("Show") showClassKey
441 readClassName = clsQual pREL_READ_Name FSLIT("Read") readClassKey
444 numClassName = clsQual pREL_NUM_Name FSLIT("Num") numClassKey
445 fromIntegerName = varQual pREL_NUM_Name FSLIT("fromInteger") fromIntegerClassOpKey
446 minusName = varQual pREL_NUM_Name FSLIT("-") minusClassOpKey
447 negateName = varQual pREL_NUM_Name FSLIT("negate") negateClassOpKey
448 plusIntegerName = varQual pREL_NUM_Name FSLIT("plusInteger") plusIntegerIdKey
449 timesIntegerName = varQual pREL_NUM_Name FSLIT("timesInteger") timesIntegerIdKey
450 integerTyConName = tcQual pREL_NUM_Name FSLIT("Integer") integerTyConKey
451 smallIntegerDataConName = dataQual pREL_NUM_Name FSLIT("S#") smallIntegerDataConKey
452 largeIntegerDataConName = dataQual pREL_NUM_Name FSLIT("J#") largeIntegerDataConKey
454 -- PrelReal types and classes
455 rationalTyConName = tcQual pREL_REAL_Name FSLIT("Rational") rationalTyConKey
456 ratioTyConName = tcQual pREL_REAL_Name FSLIT("Ratio") ratioTyConKey
457 ratioDataConName = dataQual pREL_REAL_Name FSLIT(":%") ratioDataConKey
458 realClassName = clsQual pREL_REAL_Name FSLIT("Real") realClassKey
459 integralClassName = clsQual pREL_REAL_Name FSLIT("Integral") integralClassKey
460 realFracClassName = clsQual pREL_REAL_Name FSLIT("RealFrac") realFracClassKey
461 fractionalClassName = clsQual pREL_REAL_Name FSLIT("Fractional") fractionalClassKey
462 fromRationalName = varQual pREL_REAL_Name FSLIT("fromRational") fromRationalClassOpKey
465 floatTyConName = tcQual pREL_FLOAT_Name FSLIT("Float") floatTyConKey
466 floatDataConName = dataQual pREL_FLOAT_Name FSLIT("F#") floatDataConKey
467 doubleTyConName = tcQual pREL_FLOAT_Name FSLIT("Double") doubleTyConKey
468 doubleDataConName = dataQual pREL_FLOAT_Name FSLIT("D#") doubleDataConKey
469 floatingClassName = clsQual pREL_FLOAT_Name FSLIT("Floating") floatingClassKey
470 realFloatClassName = clsQual pREL_FLOAT_Name FSLIT("RealFloat") realFloatClassKey
473 ixClassName = clsQual pREL_ARR_Name FSLIT("Ix") ixClassKey
476 enumClassName = clsQual pREL_ENUM_Name FSLIT("Enum") enumClassKey
477 toEnumName = varQual pREL_ENUM_Name FSLIT("toEnum") toEnumClassOpKey
478 fromEnumName = varQual pREL_ENUM_Name FSLIT("fromEnum") fromEnumClassOpKey
479 enumFromName = varQual pREL_ENUM_Name FSLIT("enumFrom") enumFromClassOpKey
480 enumFromToName = varQual pREL_ENUM_Name FSLIT("enumFromTo") enumFromToClassOpKey
481 enumFromThenName = varQual pREL_ENUM_Name FSLIT("enumFromThen") enumFromThenClassOpKey
482 enumFromThenToName = varQual pREL_ENUM_Name FSLIT("enumFromThenTo") enumFromThenToClassOpKey
484 -- Overloaded via Class Enum
485 enumFromToPName = varQual pREL_PARR_Name FSLIT("enumFromToP") enumFromToPIdKey
486 enumFromThenToPName= varQual pREL_PARR_Name FSLIT("enumFromThenToP") enumFromThenToPIdKey
489 boundedClassName = clsQual pREL_ENUM_Name FSLIT("Bounded") boundedClassKey
492 concatName = varQual pREL_LIST_Name FSLIT("concat") concatIdKey
493 filterName = varQual pREL_LIST_Name FSLIT("filter") filterIdKey
494 zipName = varQual pREL_LIST_Name FSLIT("zip") zipIdKey
496 -- parallel array types and functions
497 parrTyConName = tcQual pREL_PARR_Name FSLIT("[::]") parrTyConKey
498 parrDataConName = dataQual pREL_PARR_Name FSLIT("PArr") parrDataConKey
499 nullPName = varQual pREL_PARR_Name FSLIT("nullP") nullPIdKey
500 lengthPName = varQual pREL_PARR_Name FSLIT("lengthP") lengthPIdKey
501 replicatePName = varQual pREL_PARR_Name FSLIT("replicateP") replicatePIdKey
502 mapPName = varQual pREL_PARR_Name FSLIT("mapP") mapPIdKey
503 filterPName = varQual pREL_PARR_Name FSLIT("filterP") filterPIdKey
504 zipPName = varQual pREL_PARR_Name FSLIT("zipP") zipPIdKey
505 crossPName = varQual pREL_PARR_Name FSLIT("crossP") crossPIdKey
506 indexPName = varQual pREL_PARR_Name FSLIT("!:") indexPIdKey
507 toPName = varQual pREL_PARR_Name FSLIT("toP") toPIdKey
508 bpermutePName = varQual pREL_PARR_Name FSLIT("bpermuteP") bpermutePIdKey
509 bpermuteDftPName = varQual pREL_PARR_Name FSLIT("bpermuteDftP")
511 indexOfPName = varQual pREL_PARR_Name FSLIT("indexOfP") indexOfPIdKey
514 ioTyConName = tcQual pREL_IO_BASE_Name FSLIT("IO") ioTyConKey
515 ioDataConName = dataQual pREL_IO_BASE_Name FSLIT("IO") ioDataConKey
516 bindIOName = varQual pREL_IO_BASE_Name FSLIT("bindIO") bindIOIdKey
517 returnIOName = varQual pREL_IO_BASE_Name FSLIT("returnIO") returnIOIdKey
518 failIOName = varQual pREL_IO_BASE_Name FSLIT("failIO") failIOIdKey
521 printName = varQual sYSTEM_IO_Name FSLIT("print") printIdKey
523 -- Int, Word, and Addr things
524 int8TyConName = tcQual pREL_INT_Name FSLIT("Int8") int8TyConKey
525 int16TyConName = tcQual pREL_INT_Name FSLIT("Int16") int16TyConKey
526 int32TyConName = tcQual pREL_INT_Name FSLIT("Int32") int32TyConKey
527 int64TyConName = tcQual pREL_INT_Name FSLIT("Int64") int64TyConKey
529 word8TyConName = tcQual pREL_WORD_Name FSLIT("Word8") word8TyConKey
530 word16TyConName = tcQual pREL_WORD_Name FSLIT("Word16") word16TyConKey
531 word32TyConName = tcQual pREL_WORD_Name FSLIT("Word32") word32TyConKey
532 word64TyConName = tcQual pREL_WORD_Name FSLIT("Word64") word64TyConKey
534 wordTyConName = tcQual pREL_WORD_Name FSLIT("Word") wordTyConKey
535 wordDataConName = dataQual pREL_WORD_Name FSLIT("W#") wordDataConKey
537 addrTyConName = tcQual aDDR_Name FSLIT("Addr") addrTyConKey
538 addrDataConName = dataQual aDDR_Name FSLIT("A#") addrDataConKey
540 ptrTyConName = tcQual pREL_PTR_Name FSLIT("Ptr") ptrTyConKey
541 ptrDataConName = dataQual pREL_PTR_Name FSLIT("Ptr") ptrDataConKey
543 funPtrTyConName = tcQual pREL_PTR_Name FSLIT("FunPtr") funPtrTyConKey
544 funPtrDataConName = dataQual pREL_PTR_Name FSLIT("FunPtr") funPtrDataConKey
547 byteArrayTyConName = tcQual pREL_BYTEARR_Name FSLIT("ByteArray") byteArrayTyConKey
548 mutableByteArrayTyConName = tcQual pREL_BYTEARR_Name FSLIT("MutableByteArray") mutableByteArrayTyConKey
550 -- Foreign objects and weak pointers
551 foreignObjTyConName = tcQual fOREIGNOBJ_Name FSLIT("ForeignObj") foreignObjTyConKey
552 foreignObjDataConName = dataQual fOREIGNOBJ_Name FSLIT("ForeignObj") foreignObjDataConKey
553 foreignPtrTyConName = tcQual fOREIGN_PTR_Name FSLIT("ForeignPtr") foreignPtrTyConKey
554 foreignPtrDataConName = dataQual fOREIGN_PTR_Name FSLIT("ForeignPtr") foreignPtrDataConKey
555 stablePtrTyConName = tcQual pREL_STABLE_Name FSLIT("StablePtr") stablePtrTyConKey
556 stablePtrDataConName = dataQual pREL_STABLE_Name FSLIT("StablePtr") stablePtrDataConKey
557 deRefStablePtrName = varQual pREL_STABLE_Name FSLIT("deRefStablePtr") deRefStablePtrIdKey
558 newStablePtrName = varQual pREL_STABLE_Name FSLIT("newStablePtr") newStablePtrIdKey
560 errorName = varQual pREL_ERR_Name FSLIT("error") errorIdKey
561 assertName = varQual gHC_BUILTIN_Name FSLIT("assert") assertIdKey
562 getTagName = varQual gHC_BUILTIN_Name FSLIT("getTag#") getTagIdKey
563 runSTRepName = varQual pREL_ST_Name FSLIT("runSTRep") runSTRepIdKey
565 -- The "split" Id for splittable implicit parameters
566 splitName = varQual pREL_SPLIT_Name FSLIT("split") splitIdKey
569 %************************************************************************
571 \subsection{Known names}
573 %************************************************************************
575 The following names are known to the compiler, but they don't require
576 pre-assigned keys. Mostly these names are used in generating deriving
577 code, which is passed through the renamer anyway.
579 THEY ARE ALL ORIGINAL NAMES, HOWEVER
583 tupleCon_RDR, tupleTyCon_RDR :: Int -> RdrName
584 ubxTupleCon_RDR, ubxTupleTyCon_RDR :: Int -> RdrName
586 tupleCon_RDR = mkTupConRdrName dataName Boxed
587 tupleTyCon_RDR = mkTupConRdrName tcName Boxed
588 ubxTupleCon_RDR = mkTupConRdrName dataName Unboxed
589 ubxTupleTyCon_RDR = mkTupConRdrName tcName Unboxed
591 unitCon_RDR = dataQual_RDR pREL_BASE_Name FSLIT("()")
592 unitTyCon_RDR = tcQual_RDR pREL_BASE_Name FSLIT("()")
594 and_RDR = varQual_RDR pREL_BASE_Name FSLIT("&&")
595 not_RDR = varQual_RDR pREL_BASE_Name FSLIT("not")
596 compose_RDR = varQual_RDR pREL_BASE_Name FSLIT(".")
597 ne_RDR = varQual_RDR pREL_BASE_Name FSLIT("/=")
598 le_RDR = varQual_RDR pREL_BASE_Name FSLIT("<=")
599 lt_RDR = varQual_RDR pREL_BASE_Name FSLIT("<")
600 gt_RDR = varQual_RDR pREL_BASE_Name FSLIT(">")
601 ltTag_RDR = dataQual_RDR pREL_BASE_Name FSLIT("LT")
602 eqTag_RDR = dataQual_RDR pREL_BASE_Name FSLIT("EQ")
603 gtTag_RDR = dataQual_RDR pREL_BASE_Name FSLIT("GT")
604 max_RDR = varQual_RDR pREL_BASE_Name FSLIT("max")
605 min_RDR = varQual_RDR pREL_BASE_Name FSLIT("min")
606 compare_RDR = varQual_RDR pREL_BASE_Name FSLIT("compare")
607 showList_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showList")
608 showList___RDR = varQual_RDR pREL_SHOW_Name FSLIT("showList__")
609 showsPrec_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showsPrec")
610 showSpace_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showSpace")
611 showString_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showString")
612 showParen_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showParen")
613 readsPrec_RDR = varQual_RDR pREL_READ_Name FSLIT("readsPrec")
614 readList_RDR = varQual_RDR pREL_READ_Name FSLIT("readList")
615 readParen_RDR = varQual_RDR pREL_READ_Name FSLIT("readParen")
616 lex_RDR = varQual_RDR pREL_READ_Name FSLIT("lex")
617 readList___RDR = varQual_RDR pREL_READ_Name FSLIT("readList__")
618 times_RDR = varQual_RDR pREL_NUM_Name FSLIT("*")
619 plus_RDR = varQual_RDR pREL_NUM_Name FSLIT("+")
620 negate_RDR = varQual_RDR pREL_NUM_Name FSLIT("negate")
621 range_RDR = varQual_RDR pREL_ARR_Name FSLIT("range")
622 index_RDR = varQual_RDR pREL_ARR_Name FSLIT("index")
623 inRange_RDR = varQual_RDR pREL_ARR_Name FSLIT("inRange")
624 succ_RDR = varQual_RDR pREL_ENUM_Name FSLIT("succ")
625 pred_RDR = varQual_RDR pREL_ENUM_Name FSLIT("pred")
626 minBound_RDR = varQual_RDR pREL_ENUM_Name FSLIT("minBound")
627 maxBound_RDR = varQual_RDR pREL_ENUM_Name FSLIT("maxBound")
628 assertErr_RDR = varQual_RDR pREL_ERR_Name FSLIT("assertError")
631 These RDR names also have known keys, so we need to get back the RDR names to
632 populate the occurrence list above.
635 funTyCon_RDR = nameRdrName funTyConName
636 nilCon_RDR = nameRdrName nilDataConName
637 listTyCon_RDR = nameRdrName listTyConName
638 parrTyCon_RDR = nameRdrName parrTyConName
639 ioTyCon_RDR = nameRdrName ioTyConName
640 intTyCon_RDR = nameRdrName intTyConName
641 eq_RDR = nameRdrName eqName
642 ge_RDR = nameRdrName geName
643 numClass_RDR = nameRdrName numClassName
644 ordClass_RDR = nameRdrName ordClassName
645 map_RDR = nameRdrName mapName
646 append_RDR = nameRdrName appendName
647 foldr_RDR = nameRdrName foldrName
648 build_RDR = nameRdrName buildName
649 enumFromTo_RDR = nameRdrName enumFromToName
650 returnM_RDR = nameRdrName returnMName
651 thenM_RDR = nameRdrName thenMName
652 failM_RDR = nameRdrName failMName
653 false_RDR = nameRdrName falseDataConName
654 true_RDR = nameRdrName trueDataConName
655 error_RDR = nameRdrName errorName
656 getTag_RDR = nameRdrName getTagName
657 fromEnum_RDR = nameRdrName fromEnumName
658 toEnum_RDR = nameRdrName toEnumName
659 enumFrom_RDR = nameRdrName enumFromName
660 mkInt_RDR = nameRdrName intDataConName
661 enumFromThen_RDR = nameRdrName enumFromThenName
662 enumFromThenTo_RDR = nameRdrName enumFromThenToName
663 ratioDataCon_RDR = nameRdrName ratioDataConName
664 plusInteger_RDR = nameRdrName plusIntegerName
665 timesInteger_RDR = nameRdrName timesIntegerName
666 enumClass_RDR = nameRdrName enumClassName
667 monadClass_RDR = nameRdrName monadClassName
668 ioDataCon_RDR = nameRdrName ioDataConName
669 cCallableClass_RDR = nameRdrName cCallableClassName
670 cReturnableClass_RDR = nameRdrName cReturnableClassName
671 eqClass_RDR = nameRdrName eqClassName
672 eqString_RDR = nameRdrName eqStringName
673 unpackCString_RDR = nameRdrName unpackCStringName
674 unpackCStringFoldr_RDR = nameRdrName unpackCStringFoldrName
675 unpackCStringUtf8_RDR = nameRdrName unpackCStringUtf8Name
676 deRefStablePtr_RDR = nameRdrName deRefStablePtrName
677 newStablePtr_RDR = nameRdrName newStablePtrName
678 bindIO_RDR = nameRdrName bindIOName
679 returnIO_RDR = nameRdrName returnIOName
680 fromInteger_RDR = nameRdrName fromIntegerName
681 fromRational_RDR = nameRdrName fromRationalName
682 minus_RDR = nameRdrName minusName
685 %************************************************************************
687 \subsection{Local helpers}
689 %************************************************************************
691 All these are original names; hence mkOrig
694 varQual mod str uq = mkKnownKeyGlobal (varQual_RDR mod str) uq
695 dataQual mod str uq = mkKnownKeyGlobal (dataQual_RDR mod str) uq
696 tcQual mod str uq = mkKnownKeyGlobal (tcQual_RDR mod str) uq
697 clsQual mod str uq = mkKnownKeyGlobal (clsQual_RDR mod str) uq
699 kindQual str uq = mkLocalName uq (mkKindOccFS tcName str) builtinSrcLoc
700 -- Kinds are not z-encoded in interface file, hence mkKindOccFS
701 -- And they don't come from any particular module; indeed we always
702 -- want to print them unqualified. Hence the LocalName
704 varQual_RDR mod str = mkOrig varName mod str
705 tcQual_RDR mod str = mkOrig tcName mod str
706 clsQual_RDR mod str = mkOrig clsName mod str
707 dataQual_RDR mod str = mkOrig dataName mod str
710 %************************************************************************
712 \subsubsection[Uniques-prelude-Classes]{@Uniques@ for wired-in @Classes@}
714 %************************************************************************
717 boundedClassKey = mkPreludeClassUnique 1
718 enumClassKey = mkPreludeClassUnique 2
719 eqClassKey = mkPreludeClassUnique 3
720 floatingClassKey = mkPreludeClassUnique 5
721 fractionalClassKey = mkPreludeClassUnique 6
722 integralClassKey = mkPreludeClassUnique 7
723 monadClassKey = mkPreludeClassUnique 8
724 functorClassKey = mkPreludeClassUnique 10
725 numClassKey = mkPreludeClassUnique 11
726 ordClassKey = mkPreludeClassUnique 12
727 readClassKey = mkPreludeClassUnique 13
728 realClassKey = mkPreludeClassUnique 14
729 realFloatClassKey = mkPreludeClassUnique 15
730 realFracClassKey = mkPreludeClassUnique 16
731 showClassKey = mkPreludeClassUnique 17
733 cCallableClassKey = mkPreludeClassUnique 18
734 cReturnableClassKey = mkPreludeClassUnique 19
736 ixClassKey = mkPreludeClassUnique 20
739 %************************************************************************
741 \subsubsection[Uniques-prelude-TyCons]{@Uniques@ for wired-in @TyCons@}
743 %************************************************************************
746 addrPrimTyConKey = mkPreludeTyConUnique 1
747 addrTyConKey = mkPreludeTyConUnique 2
748 arrayPrimTyConKey = mkPreludeTyConUnique 3
749 boolTyConKey = mkPreludeTyConUnique 4
750 byteArrayPrimTyConKey = mkPreludeTyConUnique 5
751 charPrimTyConKey = mkPreludeTyConUnique 7
752 charTyConKey = mkPreludeTyConUnique 8
753 doublePrimTyConKey = mkPreludeTyConUnique 9
754 doubleTyConKey = mkPreludeTyConUnique 10
755 floatPrimTyConKey = mkPreludeTyConUnique 11
756 floatTyConKey = mkPreludeTyConUnique 12
757 funTyConKey = mkPreludeTyConUnique 13
758 intPrimTyConKey = mkPreludeTyConUnique 14
759 intTyConKey = mkPreludeTyConUnique 15
760 int8TyConKey = mkPreludeTyConUnique 16
761 int16TyConKey = mkPreludeTyConUnique 17
762 int32PrimTyConKey = mkPreludeTyConUnique 18
763 int32TyConKey = mkPreludeTyConUnique 19
764 int64PrimTyConKey = mkPreludeTyConUnique 20
765 int64TyConKey = mkPreludeTyConUnique 21
766 integerTyConKey = mkPreludeTyConUnique 22
767 listTyConKey = mkPreludeTyConUnique 23
768 foreignObjPrimTyConKey = mkPreludeTyConUnique 24
769 foreignObjTyConKey = mkPreludeTyConUnique 25
770 foreignPtrTyConKey = mkPreludeTyConUnique 26
771 weakPrimTyConKey = mkPreludeTyConUnique 27
772 mutableArrayPrimTyConKey = mkPreludeTyConUnique 28
773 mutableByteArrayPrimTyConKey = mkPreludeTyConUnique 29
774 orderingTyConKey = mkPreludeTyConUnique 30
775 mVarPrimTyConKey = mkPreludeTyConUnique 31
776 ratioTyConKey = mkPreludeTyConUnique 32
777 rationalTyConKey = mkPreludeTyConUnique 33
778 realWorldTyConKey = mkPreludeTyConUnique 34
779 stablePtrPrimTyConKey = mkPreludeTyConUnique 35
780 stablePtrTyConKey = mkPreludeTyConUnique 36
781 statePrimTyConKey = mkPreludeTyConUnique 50
782 stableNamePrimTyConKey = mkPreludeTyConUnique 51
783 stableNameTyConKey = mkPreludeTyConUnique 52
784 mutableByteArrayTyConKey = mkPreludeTyConUnique 53
785 mutVarPrimTyConKey = mkPreludeTyConUnique 55
786 ioTyConKey = mkPreludeTyConUnique 56
787 byteArrayTyConKey = mkPreludeTyConUnique 57
788 wordPrimTyConKey = mkPreludeTyConUnique 58
789 wordTyConKey = mkPreludeTyConUnique 59
790 word8TyConKey = mkPreludeTyConUnique 60
791 word16TyConKey = mkPreludeTyConUnique 61
792 word32PrimTyConKey = mkPreludeTyConUnique 62
793 word32TyConKey = mkPreludeTyConUnique 63
794 word64PrimTyConKey = mkPreludeTyConUnique 64
795 word64TyConKey = mkPreludeTyConUnique 65
796 liftedConKey = mkPreludeTyConUnique 66
797 unliftedConKey = mkPreludeTyConUnique 67
798 anyBoxConKey = mkPreludeTyConUnique 68
799 kindConKey = mkPreludeTyConUnique 69
800 boxityConKey = mkPreludeTyConUnique 70
801 typeConKey = mkPreludeTyConUnique 71
802 threadIdPrimTyConKey = mkPreludeTyConUnique 72
803 bcoPrimTyConKey = mkPreludeTyConUnique 73
804 ptrTyConKey = mkPreludeTyConUnique 74
805 funPtrTyConKey = mkPreludeTyConUnique 75
807 -- Usage type constructors
808 usageConKey = mkPreludeTyConUnique 76
809 usOnceTyConKey = mkPreludeTyConUnique 77
810 usManyTyConKey = mkPreludeTyConUnique 78
812 -- Generic Type Constructors
813 crossTyConKey = mkPreludeTyConUnique 79
814 plusTyConKey = mkPreludeTyConUnique 80
815 genUnitTyConKey = mkPreludeTyConUnique 81
817 -- Parallel array type constructor
818 parrTyConKey = mkPreludeTyConUnique 82
820 unitTyConKey = mkTupleTyConUnique Boxed 0
823 %************************************************************************
825 \subsubsection[Uniques-prelude-DataCons]{@Uniques@ for wired-in @DataCons@}
827 %************************************************************************
830 addrDataConKey = mkPreludeDataConUnique 0
831 charDataConKey = mkPreludeDataConUnique 1
832 consDataConKey = mkPreludeDataConUnique 2
833 doubleDataConKey = mkPreludeDataConUnique 3
834 falseDataConKey = mkPreludeDataConUnique 4
835 floatDataConKey = mkPreludeDataConUnique 5
836 intDataConKey = mkPreludeDataConUnique 6
837 smallIntegerDataConKey = mkPreludeDataConUnique 7
838 largeIntegerDataConKey = mkPreludeDataConUnique 8
839 foreignObjDataConKey = mkPreludeDataConUnique 9
840 foreignPtrDataConKey = mkPreludeDataConUnique 10
841 nilDataConKey = mkPreludeDataConUnique 11
842 ratioDataConKey = mkPreludeDataConUnique 12
843 stablePtrDataConKey = mkPreludeDataConUnique 13
844 stableNameDataConKey = mkPreludeDataConUnique 14
845 trueDataConKey = mkPreludeDataConUnique 15
846 wordDataConKey = mkPreludeDataConUnique 16
847 ioDataConKey = mkPreludeDataConUnique 17
848 ptrDataConKey = mkPreludeDataConUnique 18
849 funPtrDataConKey = mkPreludeDataConUnique 19
851 -- Generic data constructors
852 crossDataConKey = mkPreludeDataConUnique 20
853 inlDataConKey = mkPreludeDataConUnique 21
854 inrDataConKey = mkPreludeDataConUnique 22
855 genUnitDataConKey = mkPreludeDataConUnique 23
857 -- Data constructor for parallel arrays
858 parrDataConKey = mkPreludeDataConUnique 24
861 %************************************************************************
863 \subsubsection[Uniques-prelude-Ids]{@Uniques@ for wired-in @Ids@ (except @DataCons@)}
865 %************************************************************************
868 absentErrorIdKey = mkPreludeMiscIdUnique 1
869 appendIdKey = mkPreludeMiscIdUnique 2
870 augmentIdKey = mkPreludeMiscIdUnique 3
871 buildIdKey = mkPreludeMiscIdUnique 4
872 errorIdKey = mkPreludeMiscIdUnique 5
873 foldlIdKey = mkPreludeMiscIdUnique 6
874 foldrIdKey = mkPreludeMiscIdUnique 7
875 recSelErrIdKey = mkPreludeMiscIdUnique 8
876 integerMinusOneIdKey = mkPreludeMiscIdUnique 9
877 integerPlusOneIdKey = mkPreludeMiscIdUnique 10
878 integerPlusTwoIdKey = mkPreludeMiscIdUnique 11
879 integerZeroIdKey = mkPreludeMiscIdUnique 12
880 int2IntegerIdKey = mkPreludeMiscIdUnique 13
881 seqIdKey = mkPreludeMiscIdUnique 14
882 irrefutPatErrorIdKey = mkPreludeMiscIdUnique 15
883 eqStringIdKey = mkPreludeMiscIdUnique 16
884 noMethodBindingErrorIdKey = mkPreludeMiscIdUnique 17
885 nonExhaustiveGuardsErrorIdKey = mkPreludeMiscIdUnique 18
886 errorCStringIdKey = mkPreludeMiscIdUnique 19
887 parErrorIdKey = mkPreludeMiscIdUnique 20
888 parIdKey = mkPreludeMiscIdUnique 21
889 patErrorIdKey = mkPreludeMiscIdUnique 22
890 realWorldPrimIdKey = mkPreludeMiscIdUnique 23
891 recConErrorIdKey = mkPreludeMiscIdUnique 24
892 recUpdErrorIdKey = mkPreludeMiscIdUnique 25
893 traceIdKey = mkPreludeMiscIdUnique 26
894 unpackCStringUtf8IdKey = mkPreludeMiscIdUnique 27
895 unpackCStringAppendIdKey = mkPreludeMiscIdUnique 28
896 unpackCStringFoldrIdKey = mkPreludeMiscIdUnique 29
897 unpackCStringIdKey = mkPreludeMiscIdUnique 30
898 ushowListIdKey = mkPreludeMiscIdUnique 31
899 unsafeCoerceIdKey = mkPreludeMiscIdUnique 32
900 concatIdKey = mkPreludeMiscIdUnique 33
901 filterIdKey = mkPreludeMiscIdUnique 34
902 zipIdKey = mkPreludeMiscIdUnique 35
903 bindIOIdKey = mkPreludeMiscIdUnique 36
904 returnIOIdKey = mkPreludeMiscIdUnique 37
905 deRefStablePtrIdKey = mkPreludeMiscIdUnique 38
906 newStablePtrIdKey = mkPreludeMiscIdUnique 39
907 getTagIdKey = mkPreludeMiscIdUnique 40
908 plusIntegerIdKey = mkPreludeMiscIdUnique 41
909 timesIntegerIdKey = mkPreludeMiscIdUnique 42
910 printIdKey = mkPreludeMiscIdUnique 43
911 failIOIdKey = mkPreludeMiscIdUnique 44
912 nullAddrIdKey = mkPreludeMiscIdUnique 46
913 voidArgIdKey = mkPreludeMiscIdUnique 47
914 splitIdKey = mkPreludeMiscIdUnique 48
915 fstIdKey = mkPreludeMiscIdUnique 49
916 sndIdKey = mkPreludeMiscIdUnique 50
917 otherwiseIdKey = mkPreludeMiscIdUnique 51
918 mapIdKey = mkPreludeMiscIdUnique 52
919 assertIdKey = mkPreludeMiscIdUnique 53
920 runSTRepIdKey = mkPreludeMiscIdUnique 54
922 dollarMainKey = mkPreludeMiscIdUnique 55
923 runMainKey = mkPreludeMiscIdUnique 56
925 andIdKey = mkPreludeMiscIdUnique 57
926 orIdKey = mkPreludeMiscIdUnique 58
928 -- Parallel array functions
929 nullPIdKey = mkPreludeMiscIdUnique 70
930 lengthPIdKey = mkPreludeMiscIdUnique 71
931 replicatePIdKey = mkPreludeMiscIdUnique 72
932 mapPIdKey = mkPreludeMiscIdUnique 73
933 filterPIdKey = mkPreludeMiscIdUnique 74
934 zipPIdKey = mkPreludeMiscIdUnique 75
935 crossPIdKey = mkPreludeMiscIdUnique 76
936 indexPIdKey = mkPreludeMiscIdUnique 77
937 toPIdKey = mkPreludeMiscIdUnique 78
938 enumFromToPIdKey = mkPreludeMiscIdUnique 79
939 enumFromThenToPIdKey = mkPreludeMiscIdUnique 80
940 bpermutePIdKey = mkPreludeMiscIdUnique 81
941 bpermuteDftPIdKey = mkPreludeMiscIdUnique 82
942 indexOfPIdKey = mkPreludeMiscIdUnique 83
945 Certain class operations from Prelude classes. They get their own
946 uniques so we can look them up easily when we want to conjure them up
947 during type checking.
950 -- Just a place holder for unbound variables produced by the renamer:
951 unboundKey = mkPreludeMiscIdUnique 101
952 fromIntegerClassOpKey = mkPreludeMiscIdUnique 102
953 minusClassOpKey = mkPreludeMiscIdUnique 103
954 fromRationalClassOpKey = mkPreludeMiscIdUnique 104
955 enumFromClassOpKey = mkPreludeMiscIdUnique 105
956 enumFromThenClassOpKey = mkPreludeMiscIdUnique 106
957 enumFromToClassOpKey = mkPreludeMiscIdUnique 107
958 enumFromThenToClassOpKey = mkPreludeMiscIdUnique 108
959 eqClassOpKey = mkPreludeMiscIdUnique 109
960 geClassOpKey = mkPreludeMiscIdUnique 110
961 negateClassOpKey = mkPreludeMiscIdUnique 111
962 failMClassOpKey = mkPreludeMiscIdUnique 112
963 thenMClassOpKey = mkPreludeMiscIdUnique 113 -- (>>=)
964 fromEnumClassOpKey = mkPreludeMiscIdUnique 115
965 returnMClassOpKey = mkPreludeMiscIdUnique 117
966 toEnumClassOpKey = mkPreludeMiscIdUnique 119
970 %************************************************************************
972 \subsection{Standard groups of types}
974 %************************************************************************
986 -- Renamer always imports these data decls replete with constructors
987 -- so that desugarer can always see their constructors. Ugh!
992 , mutableByteArrayTyConKey
1008 %************************************************************************
1010 \subsection[Class-std-groups]{Standard groups of Prelude classes}
1012 %************************************************************************
1014 @derivableClassKeys@ is also used in checking \tr{deriving} constructs
1017 @derivingOccurrences@ maps a class name to a list of the (qualified)
1018 occurrences that will be mentioned by the derived code for the class
1019 when it is later generated. We don't need to put in things that are
1020 WiredIn (because they are already mapped to their correct name by the
1021 @NameSupply@. The class itself, and all its class ops, is already
1022 flagged as an occurrence so we don't need to mention that either.
1024 @derivingOccurrences@ has an item for every derivable class, even if
1025 that item is empty, because we treat lookup failure as indicating that
1026 the class is illegal in a deriving clause.
1029 derivingOccurrences :: UniqFM [RdrName]
1030 derivingOccurrences = listToUFM deriving_occ_info
1032 derivableClassKeys = map fst deriving_occ_info
1035 = [ (eqClassKey, [intTyCon_RDR, and_RDR, not_RDR])
1036 , (ordClassKey, [intTyCon_RDR, compose_RDR, eqTag_RDR])
1037 -- EQ (from Ordering) is needed to force in the constructors
1038 -- as well as the type constructor.
1039 , (enumClassKey, [intTyCon_RDR, eq_RDR, ge_RDR, and_RDR, map_RDR, plus_RDR, showsPrec_RDR, append_RDR])
1040 -- The last two Enum deps are only used to produce better
1041 -- error msgs for derived toEnum methods.
1042 , (boundedClassKey, [intTyCon_RDR])
1043 , (showClassKey, [intTyCon_RDR, numClass_RDR, ordClass_RDR, compose_RDR, showString_RDR,
1044 showParen_RDR, showSpace_RDR, showList___RDR])
1045 , (readClassKey, [intTyCon_RDR, numClass_RDR, ordClass_RDR, append_RDR,
1046 foldr_RDR, build_RDR,
1047 -- foldr and build required for list comprehension
1049 lex_RDR, readParen_RDR, readList___RDR, thenM_RDR])
1050 -- returnM (and the rest of the Monad class decl)
1051 -- will be forced in as result of depending
1052 -- on thenM. -- SOF 1/99
1053 , (ixClassKey, [intTyCon_RDR, numClass_RDR, and_RDR, map_RDR, enumFromTo_RDR,
1054 foldr_RDR, build_RDR,
1055 -- foldr and build required for list comprehension used
1056 -- with single constructor types -- KSW 2000-06
1057 returnM_RDR, failM_RDR])
1058 -- the last two are needed to force returnM, thenM and failM
1059 -- in before typechecking the list(monad) comprehension
1060 -- generated for derived Ix instances (range method)
1061 -- of single constructor types. -- SOF 8/97
1063 -- intTyCon: Practically any deriving needs Int, either for index calculations,
1065 -- ordClass: really it's the methods that are actually used.
1066 -- numClass: for Int literals
1070 NOTE: @Eq@ and @Text@ do need to appear in @standardClasses@
1071 even though every numeric class has these two as a superclass,
1072 because the list of ambiguous dictionaries hasn't been simplified.
1080 ++ fractionalClassKeys
1082 fractionalClassKeys =
1083 [ fractionalClassKey
1089 -- the strictness analyser needs to know about numeric types
1090 -- (see SaAbsInt.lhs)
1091 needsDataDeclCtxtClassKeys = -- see comments in TcDeriv
1097 , cReturnableClassKey
1101 = derivableClassKeys ++ numericClassKeys ++ cCallishClassKeys
1103 -- We have to have "CCallable" and "CReturnable" in the standard
1104 -- classes, so that if you go...
1106 -- _ccall_ foo ... 93{-numeric literal-} ...
1108 -- ... it can do The Right Thing on the 93.
1110 noDictClassKeys -- These classes are used only for type annotations;
1111 -- they are not implemented by dictionaries, ever.