2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 \section[PrelNames]{Definitions of prelude modules and names}
7 Nota Bene: all Names defined in here should come from the base package
9 * ModuleNames for prelude modules,
10 e.g. pREL_BASE_Name :: ModuleName
12 * Modules for prelude modules
13 e.g. pREL_Base :: Module
15 * Uniques for Ids, DataCons, TyCons and Classes that the compiler
16 "knows about" in some way
17 e.g. intTyConKey :: Unique
18 minusClassOpKey :: Unique
20 * Names for Ids, DataCons, TyCons and Classes that the compiler
21 "knows about" in some way
22 e.g. intTyConName :: Name
24 One of these Names contains
25 (a) the module and occurrence name of the thing
27 The may way the compiler "knows about" one of these things is
28 where the type checker or desugarer needs to look it up. For
29 example, when desugaring list comprehensions the desugarer
30 needs to conjure up 'foldr'. It does this by looking up
31 foldrName in the environment.
33 * RdrNames for Ids, DataCons etc that the compiler may emit into
34 generated code (e.g. for deriving). It's not necessary to know
35 the uniques for these guys, only their names
40 Unique, Uniquable(..), hasKey, -- Re-exported for convenience
42 -----------------------------------------------------------
43 module PrelNames, -- A huge bunch of (a) Names, e.g. intTyConName
44 -- (b) Uniques e.g. intTyConKey
45 -- (c) Groups of classes and types
46 -- (d) miscellaneous things
47 -- So many that we export them all
50 #include "HsVersions.h"
52 import Module ( ModuleName, mkBasePkgModule, mkHomeModule, mkModuleName )
53 import OccName ( UserFS, dataName, tcName, clsName, varName,
57 import RdrName ( RdrName, nameRdrName, mkOrig, rdrNameOcc )
58 import Unique ( Unique, Uniquable(..), hasKey,
59 mkPreludeMiscIdUnique, mkPreludeDataConUnique,
60 mkPreludeTyConUnique, mkPreludeClassUnique,
61 mkTupleTyConUnique, isTupleKey
63 import BasicTypes ( Boxity(..) )
64 import Name ( Name, mkInternalName, mkKnownKeyExternalName, mkWiredInName, nameUnique )
65 import SrcLoc ( noSrcLoc )
66 import Util ( nOfThem )
67 import Panic ( panic )
74 %************************************************************************
76 \subsection{Local Names}
78 %************************************************************************
80 This *local* name is used by the interactive stuff
83 itName uniq = mkInternalName uniq (mkOccFS varName FSLIT("it")) noSrcLoc
87 -- mkUnboundName makes a place-holder Name; it shouldn't be looked at except possibly
88 -- during compiler debugging.
89 mkUnboundName :: RdrName -> Name
90 mkUnboundName rdr_name = mkInternalName unboundKey (rdrNameOcc rdr_name) noSrcLoc
92 isUnboundName :: Name -> Bool
93 isUnboundName name = name `hasKey` unboundKey
97 %************************************************************************
99 \subsection{Built-in-syntax names
101 %************************************************************************
103 Built-in syntax names are parsed directly into Exact RdrNames.
104 This predicate just identifies them.
107 isBuiltInSyntaxName :: Name -> Bool
108 isBuiltInSyntaxName n
110 || uniq `elem` [listTyConKey, nilDataConKey, consDataConKey,
111 funTyConKey, parrTyConKey]
116 %************************************************************************
118 \subsection{Known key Names}
120 %************************************************************************
122 This section tells what the compiler knows about the assocation of
123 names with uniques. These ones are the *non* wired-in ones. The
124 wired in ones are defined in TysWiredIn etc.
127 basicKnownKeyNames :: [Name]
129 = [ -- Type constructors (synonyms especially)
130 ioTyConName, ioDataConName,
137 mutableByteArrayTyConName,
140 -- Classes. *Must* include:
141 -- classes that are grabbed by key (e.g., eqClassKey)
142 -- classes in "Class.standardClassKeys" (quite a few)
143 eqClassName, -- mentioned, derivable
144 ordClassName, -- derivable
145 boundedClassName, -- derivable
146 numClassName, -- mentioned, numeric
147 enumClassName, -- derivable
150 realClassName, -- numeric
151 integralClassName, -- numeric
152 fractionalClassName, -- numeric
153 floatingClassName, -- numeric
154 realFracClassName, -- numeric
155 realFloatClassName, -- numeric
160 negateName, minusName,
161 fromRationalName, fromIntegerName,
165 enumFromName, enumFromThenName,
166 enumFromThenToName, enumFromToName,
167 enumFromToPName, enumFromThenToPName,
170 thenMName, bindMName, returnMName, failMName,
171 thenIOName, bindIOName, returnIOName, failIOName,
177 arrAName, composeAName, firstAName,
178 appAName, choiceAName, loopAName,
193 unpackCStringName, unpackCStringAppendName,
194 unpackCStringFoldrName, unpackCStringUtf8Name,
197 concatName, filterName,
198 zipName, foldrName, buildName, augmentName, appendName,
200 -- Parallel array operations
201 nullPName, lengthPName, replicatePName, mapPName,
202 filterPName, zipPName, crossPName, indexPName,
203 toPName, bpermutePName, bpermuteDftPName, indexOfPName,
205 -- FFI primitive types that are not wired-in.
206 stablePtrTyConName, ptrTyConName, funPtrTyConName, addrTyConName,
207 int8TyConName, int16TyConName, int32TyConName, int64TyConName,
208 word8TyConName, word16TyConName, word32TyConName, word64TyConName,
211 unsafeCoerceName, otherwiseIdName,
212 plusIntegerName, timesIntegerName,
213 eqStringName, assertName, assertErrorName, runSTRepName,
214 printName, splitName, fstName, sndName,
221 , eitherTyConName, leftDataConName, rightDataConName
224 , objectTyConName, marshalObjectName, unmarshalObjectName
225 , marshalStringName, unmarshalStringName, checkDotnetResName
228 monadNames :: [Name] -- The monad ops need by a HsDo
229 monadNames = [returnMName, failMName, bindMName, thenMName]
233 %************************************************************************
235 \subsection{Module names}
237 %************************************************************************
240 --MetaHaskell Extension Add a new module here
242 pRELUDE_Name = mkModuleName "Prelude"
243 gHC_PRIM_Name = mkModuleName "GHC.Prim" -- Primitive types and values
244 pREL_BASE_Name = mkModuleName "GHC.Base"
245 pREL_ENUM_Name = mkModuleName "GHC.Enum"
246 pREL_SHOW_Name = mkModuleName "GHC.Show"
247 pREL_READ_Name = mkModuleName "GHC.Read"
248 pREL_NUM_Name = mkModuleName "GHC.Num"
249 pREL_LIST_Name = mkModuleName "GHC.List"
250 pREL_PARR_Name = mkModuleName "GHC.PArr"
251 pREL_TUP_Name = mkModuleName "Data.Tuple"
252 pREL_EITHER_Name = mkModuleName "Data.Either"
253 pREL_PACK_Name = mkModuleName "GHC.Pack"
254 pREL_CONC_Name = mkModuleName "GHC.Conc"
255 pREL_IO_BASE_Name = mkModuleName "GHC.IOBase"
256 pREL_ST_Name = mkModuleName "GHC.ST"
257 pREL_ARR_Name = mkModuleName "GHC.Arr"
258 pREL_BYTEARR_Name = mkModuleName "PrelByteArr"
259 pREL_STABLE_Name = mkModuleName "GHC.Stable"
260 pREL_ADDR_Name = mkModuleName "GHC.Addr"
261 pREL_PTR_Name = mkModuleName "GHC.Ptr"
262 pREL_ERR_Name = mkModuleName "GHC.Err"
263 pREL_REAL_Name = mkModuleName "GHC.Real"
264 pREL_FLOAT_Name = mkModuleName "GHC.Float"
265 pREL_TOP_HANDLER_Name = mkModuleName "GHC.TopHandler"
266 sYSTEM_IO_Name = mkModuleName "System.IO"
267 dYNAMIC_Name = mkModuleName "Data.Dynamic"
268 tYPEABLE_Name = mkModuleName "Data.Typeable"
269 gENERICS_Name = mkModuleName "Data.Generics.Basics"
270 dOTNET_Name = mkModuleName "GHC.Dotnet"
272 rEAD_PREC_Name = mkModuleName "Text.ParserCombinators.ReadPrec"
273 lEX_Name = mkModuleName "Text.Read.Lex"
275 mAIN_Name = mkModuleName "Main"
276 pREL_INT_Name = mkModuleName "GHC.Int"
277 pREL_WORD_Name = mkModuleName "GHC.Word"
278 mONAD_FIX_Name = mkModuleName "Control.Monad.Fix"
279 aRROW_Name = mkModuleName "Control.Arrow"
280 aDDR_Name = mkModuleName "Addr"
282 gLA_EXTS_Name = mkModuleName "GHC.Exts"
284 gHC_PRIM = mkBasePkgModule gHC_PRIM_Name
285 pREL_BASE = mkBasePkgModule pREL_BASE_Name
286 pREL_ADDR = mkBasePkgModule pREL_ADDR_Name
287 pREL_PTR = mkBasePkgModule pREL_PTR_Name
288 pREL_STABLE = mkBasePkgModule pREL_STABLE_Name
289 pREL_IO_BASE = mkBasePkgModule pREL_IO_BASE_Name
290 pREL_PACK = mkBasePkgModule pREL_PACK_Name
291 pREL_ERR = mkBasePkgModule pREL_ERR_Name
292 pREL_NUM = mkBasePkgModule pREL_NUM_Name
293 pREL_REAL = mkBasePkgModule pREL_REAL_Name
294 pREL_FLOAT = mkBasePkgModule pREL_FLOAT_Name
295 pRELUDE = mkBasePkgModule pRELUDE_Name
297 -- MetaHaskell Extension text2 from Meta/work/gen.hs
298 mETA_META_Name = mkModuleName "Language.Haskell.THSyntax"
300 rOOT_MAIN_Name = mkModuleName ":Main" -- Root module for initialisation
301 rOOT_MAIN = mkHomeModule rOOT_MAIN_Name
302 -- The ':xxx' makes a moudle name that the user can never
303 -- use himself. The z-encoding for ':' is "ZC", so the z-encoded
304 -- module name still starts with a capital letter, which keeps
305 -- the z-encoded version consistent.
306 iNTERACTIVE = mkHomeModule (mkModuleName ":Interactive")
309 %************************************************************************
311 \subsection{Constructing the names of tuples
313 %************************************************************************
316 mkTupNameStr :: Boxity -> Int -> (ModuleName, UserFS)
318 mkTupNameStr Boxed 0 = (pREL_BASE_Name, FSLIT("()"))
319 mkTupNameStr Boxed 1 = panic "Name.mkTupNameStr: 1 ???"
320 mkTupNameStr Boxed 2 = (pREL_TUP_Name, mkFastString "(,)") -- not strictly necessary
321 mkTupNameStr Boxed 3 = (pREL_TUP_Name, mkFastString "(,,)") -- ditto
322 mkTupNameStr Boxed 4 = (pREL_TUP_Name, mkFastString "(,,,)") -- ditto
323 mkTupNameStr Boxed n = (pREL_TUP_Name, mkFastString ("(" ++ nOfThem (n-1) ',' ++ ")"))
325 mkTupNameStr Unboxed 0 = (gHC_PRIM_Name, mkFastString "(# #)") -- 1 and 0 both make sense!!!
326 --panic "Name.mkUbxTupNameStr: 0 ???"
327 mkTupNameStr Unboxed 1 = (gHC_PRIM_Name, mkFastString "(# #)") -- 1 and 0 both make sense!!!
328 mkTupNameStr Unboxed 2 = (gHC_PRIM_Name, mkFastString "(#,#)")
329 mkTupNameStr Unboxed 3 = (gHC_PRIM_Name, mkFastString "(#,,#)")
330 mkTupNameStr Unboxed 4 = (gHC_PRIM_Name, mkFastString "(#,,,#)")
331 mkTupNameStr Unboxed n = (gHC_PRIM_Name, mkFastString ("(#" ++ nOfThem (n-1) ',' ++ "#)"))
335 %************************************************************************
339 %************************************************************************
342 eq_RDR = nameRdrName eqName
343 ge_RDR = nameRdrName geName
344 ne_RDR = varQual_RDR pREL_BASE_Name FSLIT("/=")
345 le_RDR = varQual_RDR pREL_BASE_Name FSLIT("<=")
346 gt_RDR = varQual_RDR pREL_BASE_Name FSLIT(">")
347 compare_RDR = varQual_RDR pREL_BASE_Name FSLIT("compare")
348 ltTag_RDR = dataQual_RDR pREL_BASE_Name FSLIT("LT")
349 eqTag_RDR = dataQual_RDR pREL_BASE_Name FSLIT("EQ")
350 gtTag_RDR = dataQual_RDR pREL_BASE_Name FSLIT("GT")
352 eqClass_RDR = nameRdrName eqClassName
353 numClass_RDR = nameRdrName numClassName
354 ordClass_RDR = nameRdrName ordClassName
355 enumClass_RDR = nameRdrName enumClassName
356 monadClass_RDR = nameRdrName monadClassName
358 map_RDR = varQual_RDR pREL_BASE_Name FSLIT("map")
359 append_RDR = varQual_RDR pREL_BASE_Name FSLIT("++")
361 foldr_RDR = nameRdrName foldrName
362 build_RDR = nameRdrName buildName
363 returnM_RDR = nameRdrName returnMName
364 bindM_RDR = nameRdrName bindMName
365 failM_RDR = nameRdrName failMName
367 false_RDR = nameRdrName falseDataConName
368 true_RDR = nameRdrName trueDataConName
369 and_RDR = nameRdrName andName
371 left_RDR = nameRdrName leftDataConName
372 right_RDR = nameRdrName rightDataConName
374 error_RDR = nameRdrName errorName
376 fromEnum_RDR = varQual_RDR pREL_ENUM_Name FSLIT("fromEnum")
377 toEnum_RDR = varQual_RDR pREL_ENUM_Name FSLIT("toEnum")
378 mkInt_RDR = nameRdrName intDataConName
380 enumFrom_RDR = nameRdrName enumFromName
381 enumFromTo_RDR = nameRdrName enumFromToName
382 enumFromThen_RDR = nameRdrName enumFromThenName
383 enumFromThenTo_RDR = nameRdrName enumFromThenToName
385 ratioDataCon_RDR = nameRdrName ratioDataConName
386 plusInteger_RDR = nameRdrName plusIntegerName
387 timesInteger_RDR = nameRdrName timesIntegerName
389 ioDataCon_RDR = nameRdrName ioDataConName
391 eqString_RDR = nameRdrName eqStringName
392 unpackCString_RDR = nameRdrName unpackCStringName
393 unpackCStringFoldr_RDR = nameRdrName unpackCStringFoldrName
394 unpackCStringUtf8_RDR = nameRdrName unpackCStringUtf8Name
396 newStablePtr_RDR = nameRdrName newStablePtrName
397 addrDataCon_RDR = dataQual_RDR aDDR_Name FSLIT("A#")
399 bindIO_RDR = nameRdrName bindIOName
400 returnIO_RDR = nameRdrName returnIOName
402 fromInteger_RDR = nameRdrName fromIntegerName
403 fromRational_RDR = nameRdrName fromRationalName
404 minus_RDR = nameRdrName minusName
405 times_RDR = varQual_RDR pREL_NUM_Name FSLIT("*")
406 plus_RDR = varQual_RDR pREL_NUM_Name FSLIT("+")
408 compose_RDR = varQual_RDR pREL_BASE_Name FSLIT(".")
410 not_RDR = varQual_RDR pREL_BASE_Name FSLIT("not")
411 getTag_RDR = varQual_RDR pREL_BASE_Name FSLIT("getTag")
412 succ_RDR = varQual_RDR pREL_ENUM_Name FSLIT("succ")
413 pred_RDR = varQual_RDR pREL_ENUM_Name FSLIT("pred")
414 minBound_RDR = varQual_RDR pREL_ENUM_Name FSLIT("minBound")
415 maxBound_RDR = varQual_RDR pREL_ENUM_Name FSLIT("maxBound")
416 range_RDR = varQual_RDR pREL_ARR_Name FSLIT("range")
417 inRange_RDR = varQual_RDR pREL_ARR_Name FSLIT("inRange")
418 index_RDR = varQual_RDR pREL_ARR_Name FSLIT("index")
420 readList_RDR = varQual_RDR pREL_READ_Name FSLIT("readList")
421 readListDefault_RDR = varQual_RDR pREL_READ_Name FSLIT("readListDefault")
422 readListPrec_RDR = varQual_RDR pREL_READ_Name FSLIT("readListPrec")
423 readListPrecDefault_RDR = varQual_RDR pREL_READ_Name FSLIT("readListPrecDefault")
424 readPrec_RDR = varQual_RDR pREL_READ_Name FSLIT("readPrec")
425 parens_RDR = varQual_RDR pREL_READ_Name FSLIT("parens")
426 choose_RDR = varQual_RDR pREL_READ_Name FSLIT("choose")
427 lexP_RDR = varQual_RDR pREL_READ_Name FSLIT("lexP")
429 punc_RDR = dataQual_RDR lEX_Name FSLIT("Punc")
430 ident_RDR = dataQual_RDR lEX_Name FSLIT("Ident")
431 symbol_RDR = dataQual_RDR lEX_Name FSLIT("Symbol")
433 step_RDR = varQual_RDR rEAD_PREC_Name FSLIT("step")
434 alt_RDR = varQual_RDR rEAD_PREC_Name FSLIT("+++")
435 reset_RDR = varQual_RDR rEAD_PREC_Name FSLIT("reset")
436 prec_RDR = varQual_RDR rEAD_PREC_Name FSLIT("prec")
438 showList_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showList")
439 showList___RDR = varQual_RDR pREL_SHOW_Name FSLIT("showList__")
440 showsPrec_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showsPrec")
441 showString_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showString")
442 showSpace_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showSpace")
443 showParen_RDR = varQual_RDR pREL_SHOW_Name FSLIT("showParen")
445 typeOf_RDR = varQual_RDR tYPEABLE_Name FSLIT("typeOf")
446 mkTypeRep_RDR = varQual_RDR tYPEABLE_Name FSLIT("mkAppTy")
447 mkTyConRep_RDR = varQual_RDR tYPEABLE_Name FSLIT("mkTyCon")
449 undefined_RDR = varQual_RDR pREL_ERR_Name FSLIT("undefined")
453 %************************************************************************
455 \subsection{Known-key names}
457 %************************************************************************
459 Many of these Names are not really "built in", but some parts of the
460 compiler (notably the deriving mechanism) need to mention their names,
461 and it's convenient to write them all down in one place.
463 --MetaHaskell Extension add the constrs and the lower case case
464 -- guys as well (perhaps) e.g. see trueDataConName below
468 rootMainName = varQual rOOT_MAIN_Name FSLIT("main") rootMainKey
469 runIOName = varQual pREL_TOP_HANDLER_Name FSLIT("runIO") runMainKey
471 -- Stuff from GHC.Prim
472 superKindName = kindQual FSLIT("KX") kindConKey
473 superBoxityName = kindQual FSLIT("BX") boxityConKey
474 liftedConName = kindQual FSLIT("*") liftedConKey
475 unliftedConName = kindQual FSLIT("#") unliftedConKey
476 openKindConName = kindQual FSLIT("?") anyBoxConKey
477 typeConName = kindQual FSLIT("Type") typeConKey
479 funTyConName = tcQual gHC_PRIM_Name FSLIT("(->)") funTyConKey
480 charPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Char#") charPrimTyConKey
481 intPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Int#") intPrimTyConKey
482 int32PrimTyConName = tcQual gHC_PRIM_Name FSLIT("Int32#") int32PrimTyConKey
483 int64PrimTyConName = tcQual gHC_PRIM_Name FSLIT("Int64#") int64PrimTyConKey
484 wordPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Word#") wordPrimTyConKey
485 word32PrimTyConName = tcQual gHC_PRIM_Name FSLIT("Word32#") word32PrimTyConKey
486 word64PrimTyConName = tcQual gHC_PRIM_Name FSLIT("Word64#") word64PrimTyConKey
487 addrPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Addr#") addrPrimTyConKey
488 floatPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Float#") floatPrimTyConKey
489 doublePrimTyConName = tcQual gHC_PRIM_Name FSLIT("Double#") doublePrimTyConKey
490 statePrimTyConName = tcQual gHC_PRIM_Name FSLIT("State#") statePrimTyConKey
491 realWorldTyConName = tcQual gHC_PRIM_Name FSLIT("RealWorld") realWorldTyConKey
492 arrayPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Array#") arrayPrimTyConKey
493 byteArrayPrimTyConName = tcQual gHC_PRIM_Name FSLIT("ByteArray#") byteArrayPrimTyConKey
494 mutableArrayPrimTyConName = tcQual gHC_PRIM_Name FSLIT("MutableArray#") mutableArrayPrimTyConKey
495 mutableByteArrayPrimTyConName = tcQual gHC_PRIM_Name FSLIT("MutableByteArray#") mutableByteArrayPrimTyConKey
496 mutVarPrimTyConName = tcQual gHC_PRIM_Name FSLIT("MutVar#") mutVarPrimTyConKey
497 mVarPrimTyConName = tcQual gHC_PRIM_Name FSLIT("MVar#") mVarPrimTyConKey
498 stablePtrPrimTyConName = tcQual gHC_PRIM_Name FSLIT("StablePtr#") stablePtrPrimTyConKey
499 stableNamePrimTyConName = tcQual gHC_PRIM_Name FSLIT("StableName#") stableNamePrimTyConKey
500 foreignObjPrimTyConName = tcQual gHC_PRIM_Name FSLIT("ForeignObj#") foreignObjPrimTyConKey
501 bcoPrimTyConName = tcQual gHC_PRIM_Name FSLIT("BCO#") bcoPrimTyConKey
502 weakPrimTyConName = tcQual gHC_PRIM_Name FSLIT("Weak#") weakPrimTyConKey
503 threadIdPrimTyConName = tcQual gHC_PRIM_Name FSLIT("ThreadId#") threadIdPrimTyConKey
505 unsafeCoerceName = wVarQual gHC_PRIM_Name FSLIT("unsafeCoerce#") unsafeCoerceIdKey
506 nullAddrName = wVarQual gHC_PRIM_Name FSLIT("nullAddr#") nullAddrIdKey
507 seqName = wVarQual gHC_PRIM_Name FSLIT("seq") seqIdKey
508 realWorldName = wVarQual gHC_PRIM_Name FSLIT("realWorld#") realWorldPrimIdKey
510 -- PrelBase data types and constructors
511 charTyConName = wTcQual pREL_BASE_Name FSLIT("Char") charTyConKey
512 charDataConName = wDataQual pREL_BASE_Name FSLIT("C#") charDataConKey
513 intTyConName = wTcQual pREL_BASE_Name FSLIT("Int") intTyConKey
514 intDataConName = wDataQual pREL_BASE_Name FSLIT("I#") intDataConKey
515 orderingTyConName = tcQual pREL_BASE_Name FSLIT("Ordering") orderingTyConKey
516 boolTyConName = wTcQual pREL_BASE_Name FSLIT("Bool") boolTyConKey
517 falseDataConName = wDataQual pREL_BASE_Name FSLIT("False") falseDataConKey
518 trueDataConName = wDataQual pREL_BASE_Name FSLIT("True") trueDataConKey
519 listTyConName = wTcQual pREL_BASE_Name FSLIT("[]") listTyConKey
520 nilDataConName = wDataQual pREL_BASE_Name FSLIT("[]") nilDataConKey
521 consDataConName = wDataQual pREL_BASE_Name FSLIT(":") consDataConKey
522 eqName = varQual pREL_BASE_Name FSLIT("==") eqClassOpKey
523 geName = varQual pREL_BASE_Name FSLIT(">=") geClassOpKey
525 eitherTyConName = tcQual pREL_EITHER_Name FSLIT("Either") eitherTyConKey
526 leftDataConName = dataQual pREL_EITHER_Name FSLIT("Left") leftDataConKey
527 rightDataConName = dataQual pREL_EITHER_Name FSLIT("Right") rightDataConKey
530 crossTyConName = tcQual pREL_BASE_Name FSLIT(":*:") crossTyConKey
531 crossDataConName = dataQual pREL_BASE_Name FSLIT(":*:") crossDataConKey
532 plusTyConName = wTcQual pREL_BASE_Name FSLIT(":+:") plusTyConKey
533 inlDataConName = wDataQual pREL_BASE_Name FSLIT("Inl") inlDataConKey
534 inrDataConName = wDataQual pREL_BASE_Name FSLIT("Inr") inrDataConKey
535 genUnitTyConName = wTcQual pREL_BASE_Name FSLIT("Unit") genUnitTyConKey
536 genUnitDataConName = wDataQual pREL_BASE_Name FSLIT("Unit") genUnitDataConKey
538 -- Base strings Strings
539 unpackCStringName = varQual pREL_BASE_Name FSLIT("unpackCString#") unpackCStringIdKey
540 unpackCStringAppendName = varQual pREL_BASE_Name FSLIT("unpackAppendCString#") unpackCStringAppendIdKey
541 unpackCStringFoldrName = varQual pREL_BASE_Name FSLIT("unpackFoldrCString#") unpackCStringFoldrIdKey
542 unpackCStringUtf8Name = varQual pREL_BASE_Name FSLIT("unpackCStringUtf8#") unpackCStringUtf8IdKey
543 eqStringName = varQual pREL_BASE_Name FSLIT("eqString") eqStringIdKey
545 -- Base classes (Eq, Ord, Functor)
546 eqClassName = clsQual pREL_BASE_Name FSLIT("Eq") eqClassKey
547 functorClassName = clsQual pREL_BASE_Name FSLIT("Functor") functorClassKey
548 ordClassName = clsQual pREL_BASE_Name FSLIT("Ord") ordClassKey
551 monadClassName = clsQual pREL_BASE_Name FSLIT("Monad") monadClassKey
552 thenMName = varQual pREL_BASE_Name FSLIT(">>") thenMClassOpKey
553 bindMName = varQual pREL_BASE_Name FSLIT(">>=") bindMClassOpKey
554 returnMName = varQual pREL_BASE_Name FSLIT("return") returnMClassOpKey
555 failMName = varQual pREL_BASE_Name FSLIT("fail") failMClassOpKey
558 -- Random PrelBase functions
559 otherwiseIdName = varQual pREL_BASE_Name FSLIT("otherwise") otherwiseIdKey
560 foldrName = varQual pREL_BASE_Name FSLIT("foldr") foldrIdKey
561 buildName = varQual pREL_BASE_Name FSLIT("build") buildIdKey
562 augmentName = varQual pREL_BASE_Name FSLIT("augment") augmentIdKey
563 appendName = varQual pREL_BASE_Name FSLIT("++") appendIdKey
564 andName = varQual pREL_BASE_Name FSLIT("&&") andIdKey
565 orName = varQual pREL_BASE_Name FSLIT("||") orIdKey
566 assertName = varQual pREL_BASE_Name FSLIT("assert") assertIdKey
567 lazyIdName = wVarQual pREL_BASE_Name FSLIT("lazy") lazyIdKey
570 fstName = varQual pREL_TUP_Name FSLIT("fst") fstIdKey
571 sndName = varQual pREL_TUP_Name FSLIT("snd") sndIdKey
574 numClassName = clsQual pREL_NUM_Name FSLIT("Num") numClassKey
575 fromIntegerName = varQual pREL_NUM_Name FSLIT("fromInteger") fromIntegerClassOpKey
576 minusName = varQual pREL_NUM_Name FSLIT("-") minusClassOpKey
577 negateName = varQual pREL_NUM_Name FSLIT("negate") negateClassOpKey
578 plusIntegerName = varQual pREL_NUM_Name FSLIT("plusInteger") plusIntegerIdKey
579 timesIntegerName = varQual pREL_NUM_Name FSLIT("timesInteger") timesIntegerIdKey
580 integerTyConName = wTcQual pREL_NUM_Name FSLIT("Integer") integerTyConKey
581 smallIntegerDataConName = wDataQual pREL_NUM_Name FSLIT("S#") smallIntegerDataConKey
582 largeIntegerDataConName = wDataQual pREL_NUM_Name FSLIT("J#") largeIntegerDataConKey
584 -- PrelReal types and classes
585 rationalTyConName = tcQual pREL_REAL_Name FSLIT("Rational") rationalTyConKey
586 ratioTyConName = tcQual pREL_REAL_Name FSLIT("Ratio") ratioTyConKey
587 ratioDataConName = dataQual pREL_REAL_Name FSLIT(":%") ratioDataConKey
588 realClassName = clsQual pREL_REAL_Name FSLIT("Real") realClassKey
589 integralClassName = clsQual pREL_REAL_Name FSLIT("Integral") integralClassKey
590 realFracClassName = clsQual pREL_REAL_Name FSLIT("RealFrac") realFracClassKey
591 fractionalClassName = clsQual pREL_REAL_Name FSLIT("Fractional") fractionalClassKey
592 fromRationalName = varQual pREL_REAL_Name FSLIT("fromRational") fromRationalClassOpKey
595 floatTyConName = wTcQual pREL_FLOAT_Name FSLIT("Float") floatTyConKey
596 floatDataConName = wDataQual pREL_FLOAT_Name FSLIT("F#") floatDataConKey
597 doubleTyConName = wTcQual pREL_FLOAT_Name FSLIT("Double") doubleTyConKey
598 doubleDataConName = wDataQual pREL_FLOAT_Name FSLIT("D#") doubleDataConKey
599 floatingClassName = clsQual pREL_FLOAT_Name FSLIT("Floating") floatingClassKey
600 realFloatClassName = clsQual pREL_FLOAT_Name FSLIT("RealFloat") realFloatClassKey
603 ixClassName = clsQual pREL_ARR_Name FSLIT("Ix") ixClassKey
605 -- Class Typeable and Data
606 typeableClassName = clsQual tYPEABLE_Name FSLIT("Typeable") typeableClassKey
607 dataClassName = clsQual gENERICS_Name FSLIT("Data") dataClassKey
609 -- Enum module (Enum, Bounded)
610 enumClassName = clsQual pREL_ENUM_Name FSLIT("Enum") enumClassKey
611 enumFromName = varQual pREL_ENUM_Name FSLIT("enumFrom") enumFromClassOpKey
612 enumFromToName = varQual pREL_ENUM_Name FSLIT("enumFromTo") enumFromToClassOpKey
613 enumFromThenName = varQual pREL_ENUM_Name FSLIT("enumFromThen") enumFromThenClassOpKey
614 enumFromThenToName = varQual pREL_ENUM_Name FSLIT("enumFromThenTo") enumFromThenToClassOpKey
615 boundedClassName = clsQual pREL_ENUM_Name FSLIT("Bounded") boundedClassKey
618 concatName = varQual pREL_LIST_Name FSLIT("concat") concatIdKey
619 filterName = varQual pREL_LIST_Name FSLIT("filter") filterIdKey
620 zipName = varQual pREL_LIST_Name FSLIT("zip") zipIdKey
623 showClassName = clsQual pREL_SHOW_Name FSLIT("Show") showClassKey
626 readClassName = clsQual pREL_READ_Name FSLIT("Read") readClassKey
628 -- parallel array types and functions
629 enumFromToPName = varQual pREL_PARR_Name FSLIT("enumFromToP") enumFromToPIdKey
630 enumFromThenToPName= varQual pREL_PARR_Name FSLIT("enumFromThenToP") enumFromThenToPIdKey
631 parrTyConName = wTcQual pREL_PARR_Name FSLIT("[::]") parrTyConKey
632 parrDataConName = wDataQual pREL_PARR_Name FSLIT("PArr") parrDataConKey
633 nullPName = varQual pREL_PARR_Name FSLIT("nullP") nullPIdKey
634 lengthPName = varQual pREL_PARR_Name FSLIT("lengthP") lengthPIdKey
635 replicatePName = varQual pREL_PARR_Name FSLIT("replicateP") replicatePIdKey
636 mapPName = varQual pREL_PARR_Name FSLIT("mapP") mapPIdKey
637 filterPName = varQual pREL_PARR_Name FSLIT("filterP") filterPIdKey
638 zipPName = varQual pREL_PARR_Name FSLIT("zipP") zipPIdKey
639 crossPName = varQual pREL_PARR_Name FSLIT("crossP") crossPIdKey
640 indexPName = varQual pREL_PARR_Name FSLIT("!:") indexPIdKey
641 toPName = varQual pREL_PARR_Name FSLIT("toP") toPIdKey
642 bpermutePName = varQual pREL_PARR_Name FSLIT("bpermuteP") bpermutePIdKey
643 bpermuteDftPName = varQual pREL_PARR_Name FSLIT("bpermuteDftP") bpermuteDftPIdKey
644 indexOfPName = varQual pREL_PARR_Name FSLIT("indexOfP") indexOfPIdKey
647 ioTyConName = tcQual pREL_IO_BASE_Name FSLIT("IO") ioTyConKey
648 ioDataConName = dataQual pREL_IO_BASE_Name FSLIT("IO") ioDataConKey
649 thenIOName = varQual pREL_IO_BASE_Name FSLIT("thenIO") thenIOIdKey
650 bindIOName = varQual pREL_IO_BASE_Name FSLIT("bindIO") bindIOIdKey
651 returnIOName = varQual pREL_IO_BASE_Name FSLIT("returnIO") returnIOIdKey
652 failIOName = varQual pREL_IO_BASE_Name FSLIT("failIO") failIOIdKey
655 printName = varQual sYSTEM_IO_Name FSLIT("print") printIdKey
657 -- Int, Word, and Addr things
658 int8TyConName = tcQual pREL_INT_Name FSLIT("Int8") int8TyConKey
659 int16TyConName = tcQual pREL_INT_Name FSLIT("Int16") int16TyConKey
660 int32TyConName = tcQual pREL_INT_Name FSLIT("Int32") int32TyConKey
661 int64TyConName = tcQual pREL_INT_Name FSLIT("Int64") int64TyConKey
664 word8TyConName = tcQual pREL_WORD_Name FSLIT("Word8") word8TyConKey
665 word16TyConName = tcQual pREL_WORD_Name FSLIT("Word16") word16TyConKey
666 word32TyConName = tcQual pREL_WORD_Name FSLIT("Word32") word32TyConKey
667 word64TyConName = tcQual pREL_WORD_Name FSLIT("Word64") word64TyConKey
668 wordTyConName = wTcQual pREL_WORD_Name FSLIT("Word") wordTyConKey
669 wordDataConName = wDataQual pREL_WORD_Name FSLIT("W#") wordDataConKey
672 addrTyConName = tcQual aDDR_Name FSLIT("Addr") addrTyConKey
675 ptrTyConName = tcQual pREL_PTR_Name FSLIT("Ptr") ptrTyConKey
676 funPtrTyConName = tcQual pREL_PTR_Name FSLIT("FunPtr") funPtrTyConKey
679 byteArrayTyConName = tcQual pREL_BYTEARR_Name FSLIT("ByteArray") byteArrayTyConKey
680 mutableByteArrayTyConName = tcQual pREL_BYTEARR_Name FSLIT("MutableByteArray") mutableByteArrayTyConKey
682 -- Foreign objects and weak pointers
683 stablePtrTyConName = tcQual pREL_STABLE_Name FSLIT("StablePtr") stablePtrTyConKey
684 newStablePtrName = varQual pREL_STABLE_Name FSLIT("newStablePtr") newStablePtrIdKey
687 errorName = wVarQual pREL_ERR_Name FSLIT("error") errorIdKey
688 assertErrorName = wVarQual pREL_ERR_Name FSLIT("assertError") assertErrorIdKey
689 recSelErrorName = wVarQual pREL_ERR_Name FSLIT("recSelError") recSelErrorIdKey
690 runtimeErrorName = wVarQual pREL_ERR_Name FSLIT("runtimeError") runtimeErrorIdKey
691 irrefutPatErrorName = wVarQual pREL_ERR_Name FSLIT("irrefutPatError") irrefutPatErrorIdKey
692 recConErrorName = wVarQual pREL_ERR_Name FSLIT("recConError") recConErrorIdKey
693 patErrorName = wVarQual pREL_ERR_Name FSLIT("patError") patErrorIdKey
694 noMethodBindingErrorName = wVarQual pREL_ERR_Name FSLIT("noMethodBindingError") noMethodBindingErrorIdKey
695 nonExhaustiveGuardsErrorName
696 = wVarQual pREL_ERR_Name FSLIT("nonExhaustiveGuardsError") nonExhaustiveGuardsErrorIdKey
699 runSTRepName = varQual pREL_ST_Name FSLIT("runSTRep") runSTRepIdKey
701 -- The "split" Id for splittable implicit parameters
702 splitName = varQual gLA_EXTS_Name FSLIT("split") splitIdKey
704 -- Recursive-do notation
705 mfixName = varQual mONAD_FIX_Name FSLIT("mfix") mfixIdKey
708 arrAName = varQual aRROW_Name FSLIT("arr") arrAIdKey
709 composeAName = varQual aRROW_Name FSLIT(">>>") composeAIdKey
710 firstAName = varQual aRROW_Name FSLIT("first") firstAIdKey
711 appAName = varQual aRROW_Name FSLIT("app") appAIdKey
712 choiceAName = varQual aRROW_Name FSLIT("|||") choiceAIdKey
713 loopAName = varQual aRROW_Name FSLIT("loop") loopAIdKey
716 objectTyConName = wTcQual dOTNET_Name FSLIT("Object") objectTyConKey
717 unmarshalObjectName = varQual dOTNET_Name FSLIT("unmarshalObject") unmarshalObjectIdKey
718 marshalObjectName = varQual dOTNET_Name FSLIT("marshalObject") marshalObjectIdKey
719 marshalStringName = varQual dOTNET_Name FSLIT("marshalString") marshalStringIdKey
720 unmarshalStringName = varQual dOTNET_Name FSLIT("unmarshalString") unmarshalStringIdKey
721 checkDotnetResName = varQual dOTNET_Name FSLIT("checkResult") checkDotnetResNameIdKey
725 %************************************************************************
727 \subsection{Local helpers}
729 %************************************************************************
731 All these are original names; hence mkOrig
734 varQual = mk_known_key_name varName
735 dataQual = mk_known_key_name dataName -- All the constructor names here are for the DataCon
736 -- itself, which lives in the VarName name space
737 tcQual = mk_known_key_name tcName
738 clsQual = mk_known_key_name clsName
740 wVarQual = mk_wired_in_name varName -- The wired-in analogues
741 wDataQual = mk_wired_in_name dataName
742 wTcQual = mk_wired_in_name tcName
744 varQual_RDR mod str = mkOrig mod (mkOccFS varName str) -- The RDR analogues
745 dataQual_RDR mod str = mkOrig mod (mkOccFS dataName str)
746 tcQual_RDR mod str = mkOrig mod (mkOccFS tcName str)
747 clsQual_RDR mod str = mkOrig mod (mkOccFS clsName str)
749 mk_known_key_name space mod str uniq
750 = mkKnownKeyExternalName (mkBasePkgModule mod) (mkOccFS space str) uniq
751 mk_wired_in_name space mod str uniq
752 = mkWiredInName (mkBasePkgModule mod) (mkOccFS space str) uniq
754 kindQual str uq = mkInternalName uq (mkKindOccFS tcName str) noSrcLoc
755 -- Kinds are not z-encoded in interface file, hence mkKindOccFS
756 -- And they don't come from any particular module; indeed we always
757 -- want to print them unqualified. Hence the LocalName
760 %************************************************************************
762 \subsubsection[Uniques-prelude-Classes]{@Uniques@ for wired-in @Classes@}
764 %************************************************************************
765 --MetaHaskell extension hand allocate keys here
768 boundedClassKey = mkPreludeClassUnique 1
769 enumClassKey = mkPreludeClassUnique 2
770 eqClassKey = mkPreludeClassUnique 3
771 typeableClassKey = mkPreludeClassUnique 4
772 floatingClassKey = mkPreludeClassUnique 5
773 fractionalClassKey = mkPreludeClassUnique 6
774 integralClassKey = mkPreludeClassUnique 7
775 monadClassKey = mkPreludeClassUnique 8
776 dataClassKey = mkPreludeClassUnique 9
777 functorClassKey = mkPreludeClassUnique 10
778 numClassKey = mkPreludeClassUnique 11
779 ordClassKey = mkPreludeClassUnique 12
780 readClassKey = mkPreludeClassUnique 13
781 realClassKey = mkPreludeClassUnique 14
782 realFloatClassKey = mkPreludeClassUnique 15
783 realFracClassKey = mkPreludeClassUnique 16
784 showClassKey = mkPreludeClassUnique 17
785 ixClassKey = mkPreludeClassUnique 20
788 %************************************************************************
790 \subsubsection[Uniques-prelude-TyCons]{@Uniques@ for wired-in @TyCons@}
792 %************************************************************************
795 addrPrimTyConKey = mkPreludeTyConUnique 1
796 addrTyConKey = mkPreludeTyConUnique 2
797 arrayPrimTyConKey = mkPreludeTyConUnique 3
798 boolTyConKey = mkPreludeTyConUnique 4
799 byteArrayPrimTyConKey = mkPreludeTyConUnique 5
800 charPrimTyConKey = mkPreludeTyConUnique 7
801 charTyConKey = mkPreludeTyConUnique 8
802 doublePrimTyConKey = mkPreludeTyConUnique 9
803 doubleTyConKey = mkPreludeTyConUnique 10
804 floatPrimTyConKey = mkPreludeTyConUnique 11
805 floatTyConKey = mkPreludeTyConUnique 12
806 funTyConKey = mkPreludeTyConUnique 13
807 intPrimTyConKey = mkPreludeTyConUnique 14
808 intTyConKey = mkPreludeTyConUnique 15
809 int8TyConKey = mkPreludeTyConUnique 16
810 int16TyConKey = mkPreludeTyConUnique 17
811 int32PrimTyConKey = mkPreludeTyConUnique 18
812 int32TyConKey = mkPreludeTyConUnique 19
813 int64PrimTyConKey = mkPreludeTyConUnique 20
814 int64TyConKey = mkPreludeTyConUnique 21
815 integerTyConKey = mkPreludeTyConUnique 22
816 listTyConKey = mkPreludeTyConUnique 23
817 foreignObjPrimTyConKey = mkPreludeTyConUnique 24
818 weakPrimTyConKey = mkPreludeTyConUnique 27
819 mutableArrayPrimTyConKey = mkPreludeTyConUnique 28
820 mutableByteArrayPrimTyConKey = mkPreludeTyConUnique 29
821 orderingTyConKey = mkPreludeTyConUnique 30
822 mVarPrimTyConKey = mkPreludeTyConUnique 31
823 ratioTyConKey = mkPreludeTyConUnique 32
824 rationalTyConKey = mkPreludeTyConUnique 33
825 realWorldTyConKey = mkPreludeTyConUnique 34
826 stablePtrPrimTyConKey = mkPreludeTyConUnique 35
827 stablePtrTyConKey = mkPreludeTyConUnique 36
828 statePrimTyConKey = mkPreludeTyConUnique 50
829 stableNamePrimTyConKey = mkPreludeTyConUnique 51
830 stableNameTyConKey = mkPreludeTyConUnique 52
831 mutableByteArrayTyConKey = mkPreludeTyConUnique 53
832 mutVarPrimTyConKey = mkPreludeTyConUnique 55
833 ioTyConKey = mkPreludeTyConUnique 56
834 byteArrayTyConKey = mkPreludeTyConUnique 57
835 wordPrimTyConKey = mkPreludeTyConUnique 58
836 wordTyConKey = mkPreludeTyConUnique 59
837 word8TyConKey = mkPreludeTyConUnique 60
838 word16TyConKey = mkPreludeTyConUnique 61
839 word32PrimTyConKey = mkPreludeTyConUnique 62
840 word32TyConKey = mkPreludeTyConUnique 63
841 word64PrimTyConKey = mkPreludeTyConUnique 64
842 word64TyConKey = mkPreludeTyConUnique 65
843 liftedConKey = mkPreludeTyConUnique 66
844 unliftedConKey = mkPreludeTyConUnique 67
845 anyBoxConKey = mkPreludeTyConUnique 68
846 kindConKey = mkPreludeTyConUnique 69
847 boxityConKey = mkPreludeTyConUnique 70
848 typeConKey = mkPreludeTyConUnique 71
849 threadIdPrimTyConKey = mkPreludeTyConUnique 72
850 bcoPrimTyConKey = mkPreludeTyConUnique 73
851 ptrTyConKey = mkPreludeTyConUnique 74
852 funPtrTyConKey = mkPreludeTyConUnique 75
854 -- Generic Type Constructors
855 crossTyConKey = mkPreludeTyConUnique 79
856 plusTyConKey = mkPreludeTyConUnique 80
857 genUnitTyConKey = mkPreludeTyConUnique 81
859 -- Parallel array type constructor
860 parrTyConKey = mkPreludeTyConUnique 82
863 objectTyConKey = mkPreludeTyConUnique 83
865 eitherTyConKey = mkPreludeTyConUnique 84
867 ---------------- Template Haskell -------------------
868 -- USES TyConUniques 100-119
869 -----------------------------------------------------
871 unitTyConKey = mkTupleTyConUnique Boxed 0
874 %************************************************************************
876 \subsubsection[Uniques-prelude-DataCons]{@Uniques@ for wired-in @DataCons@}
878 %************************************************************************
881 charDataConKey = mkPreludeDataConUnique 1
882 consDataConKey = mkPreludeDataConUnique 2
883 doubleDataConKey = mkPreludeDataConUnique 3
884 falseDataConKey = mkPreludeDataConUnique 4
885 floatDataConKey = mkPreludeDataConUnique 5
886 intDataConKey = mkPreludeDataConUnique 6
887 smallIntegerDataConKey = mkPreludeDataConUnique 7
888 largeIntegerDataConKey = mkPreludeDataConUnique 8
889 nilDataConKey = mkPreludeDataConUnique 11
890 ratioDataConKey = mkPreludeDataConUnique 12
891 stableNameDataConKey = mkPreludeDataConUnique 14
892 trueDataConKey = mkPreludeDataConUnique 15
893 wordDataConKey = mkPreludeDataConUnique 16
894 ioDataConKey = mkPreludeDataConUnique 17
896 -- Generic data constructors
897 crossDataConKey = mkPreludeDataConUnique 20
898 inlDataConKey = mkPreludeDataConUnique 21
899 inrDataConKey = mkPreludeDataConUnique 22
900 genUnitDataConKey = mkPreludeDataConUnique 23
902 -- Data constructor for parallel arrays
903 parrDataConKey = mkPreludeDataConUnique 24
905 leftDataConKey = mkPreludeDataConUnique 25
906 rightDataConKey = mkPreludeDataConUnique 26
909 %************************************************************************
911 \subsubsection[Uniques-prelude-Ids]{@Uniques@ for wired-in @Ids@ (except @DataCons@)}
913 %************************************************************************
916 absentErrorIdKey = mkPreludeMiscIdUnique 1
917 augmentIdKey = mkPreludeMiscIdUnique 3
918 appendIdKey = mkPreludeMiscIdUnique 4
919 buildIdKey = mkPreludeMiscIdUnique 5
920 errorIdKey = mkPreludeMiscIdUnique 6
921 foldlIdKey = mkPreludeMiscIdUnique 7
922 foldrIdKey = mkPreludeMiscIdUnique 8
923 recSelErrorIdKey = mkPreludeMiscIdUnique 9
924 integerMinusOneIdKey = mkPreludeMiscIdUnique 10
925 integerPlusOneIdKey = mkPreludeMiscIdUnique 11
926 integerPlusTwoIdKey = mkPreludeMiscIdUnique 12
927 integerZeroIdKey = mkPreludeMiscIdUnique 13
928 int2IntegerIdKey = mkPreludeMiscIdUnique 14
929 seqIdKey = mkPreludeMiscIdUnique 15
930 irrefutPatErrorIdKey = mkPreludeMiscIdUnique 16
931 eqStringIdKey = mkPreludeMiscIdUnique 17
932 noMethodBindingErrorIdKey = mkPreludeMiscIdUnique 18
933 nonExhaustiveGuardsErrorIdKey = mkPreludeMiscIdUnique 19
934 runtimeErrorIdKey = mkPreludeMiscIdUnique 20
935 parErrorIdKey = mkPreludeMiscIdUnique 21
936 parIdKey = mkPreludeMiscIdUnique 22
937 patErrorIdKey = mkPreludeMiscIdUnique 23
938 realWorldPrimIdKey = mkPreludeMiscIdUnique 24
939 recConErrorIdKey = mkPreludeMiscIdUnique 25
940 recUpdErrorIdKey = mkPreludeMiscIdUnique 26
941 traceIdKey = mkPreludeMiscIdUnique 27
942 unpackCStringUtf8IdKey = mkPreludeMiscIdUnique 28
943 unpackCStringAppendIdKey = mkPreludeMiscIdUnique 29
944 unpackCStringFoldrIdKey = mkPreludeMiscIdUnique 30
945 unpackCStringIdKey = mkPreludeMiscIdUnique 31
947 unsafeCoerceIdKey = mkPreludeMiscIdUnique 32
948 concatIdKey = mkPreludeMiscIdUnique 33
949 filterIdKey = mkPreludeMiscIdUnique 34
950 zipIdKey = mkPreludeMiscIdUnique 35
951 bindIOIdKey = mkPreludeMiscIdUnique 36
952 returnIOIdKey = mkPreludeMiscIdUnique 37
953 deRefStablePtrIdKey = mkPreludeMiscIdUnique 38
954 newStablePtrIdKey = mkPreludeMiscIdUnique 39
955 plusIntegerIdKey = mkPreludeMiscIdUnique 41
956 timesIntegerIdKey = mkPreludeMiscIdUnique 42
957 printIdKey = mkPreludeMiscIdUnique 43
958 failIOIdKey = mkPreludeMiscIdUnique 44
959 nullAddrIdKey = mkPreludeMiscIdUnique 46
960 voidArgIdKey = mkPreludeMiscIdUnique 47
961 splitIdKey = mkPreludeMiscIdUnique 48
962 fstIdKey = mkPreludeMiscIdUnique 49
963 sndIdKey = mkPreludeMiscIdUnique 50
964 otherwiseIdKey = mkPreludeMiscIdUnique 51
965 assertIdKey = mkPreludeMiscIdUnique 53
966 runSTRepIdKey = mkPreludeMiscIdUnique 54
968 rootMainKey = mkPreludeMiscIdUnique 55
969 runMainKey = mkPreludeMiscIdUnique 56
971 andIdKey = mkPreludeMiscIdUnique 57
972 orIdKey = mkPreludeMiscIdUnique 58
973 thenIOIdKey = mkPreludeMiscIdUnique 59
974 lazyIdKey = mkPreludeMiscIdUnique 60
975 assertErrorIdKey = mkPreludeMiscIdUnique 61
977 -- Parallel array functions
978 nullPIdKey = mkPreludeMiscIdUnique 80
979 lengthPIdKey = mkPreludeMiscIdUnique 81
980 replicatePIdKey = mkPreludeMiscIdUnique 82
981 mapPIdKey = mkPreludeMiscIdUnique 83
982 filterPIdKey = mkPreludeMiscIdUnique 84
983 zipPIdKey = mkPreludeMiscIdUnique 85
984 crossPIdKey = mkPreludeMiscIdUnique 86
985 indexPIdKey = mkPreludeMiscIdUnique 87
986 toPIdKey = mkPreludeMiscIdUnique 88
987 enumFromToPIdKey = mkPreludeMiscIdUnique 89
988 enumFromThenToPIdKey = mkPreludeMiscIdUnique 90
989 bpermutePIdKey = mkPreludeMiscIdUnique 91
990 bpermuteDftPIdKey = mkPreludeMiscIdUnique 92
991 indexOfPIdKey = mkPreludeMiscIdUnique 93
994 unmarshalObjectIdKey = mkPreludeMiscIdUnique 94
995 marshalObjectIdKey = mkPreludeMiscIdUnique 95
996 marshalStringIdKey = mkPreludeMiscIdUnique 96
997 unmarshalStringIdKey = mkPreludeMiscIdUnique 97
998 checkDotnetResNameIdKey = mkPreludeMiscIdUnique 98
1002 Certain class operations from Prelude classes. They get their own
1003 uniques so we can look them up easily when we want to conjure them up
1004 during type checking.
1007 -- Just a place holder for unbound variables produced by the renamer:
1008 unboundKey = mkPreludeMiscIdUnique 101
1010 fromIntegerClassOpKey = mkPreludeMiscIdUnique 102
1011 minusClassOpKey = mkPreludeMiscIdUnique 103
1012 fromRationalClassOpKey = mkPreludeMiscIdUnique 104
1013 enumFromClassOpKey = mkPreludeMiscIdUnique 105
1014 enumFromThenClassOpKey = mkPreludeMiscIdUnique 106
1015 enumFromToClassOpKey = mkPreludeMiscIdUnique 107
1016 enumFromThenToClassOpKey = mkPreludeMiscIdUnique 108
1017 eqClassOpKey = mkPreludeMiscIdUnique 109
1018 geClassOpKey = mkPreludeMiscIdUnique 110
1019 negateClassOpKey = mkPreludeMiscIdUnique 111
1020 failMClassOpKey = mkPreludeMiscIdUnique 112
1021 bindMClassOpKey = mkPreludeMiscIdUnique 113 -- (>>=)
1022 thenMClassOpKey = mkPreludeMiscIdUnique 114 -- (>>)
1023 returnMClassOpKey = mkPreludeMiscIdUnique 117
1025 -- Recursive do notation
1026 mfixIdKey = mkPreludeMiscIdUnique 118
1029 arrAIdKey = mkPreludeMiscIdUnique 119
1030 composeAIdKey = mkPreludeMiscIdUnique 120 -- >>>
1031 firstAIdKey = mkPreludeMiscIdUnique 121
1032 appAIdKey = mkPreludeMiscIdUnique 122
1033 choiceAIdKey = mkPreludeMiscIdUnique 123 -- |||
1034 loopAIdKey = mkPreludeMiscIdUnique 124
1036 ---------------- Template Haskell -------------------
1037 -- USES IdUniques 200-299
1038 -----------------------------------------------------
1042 %************************************************************************
1044 \subsection{Standard groups of types}
1046 %************************************************************************
1058 -- Renamer always imports these data decls replete with constructors
1059 -- so that desugarer can always see their constructors. Ugh!
1064 , mutableByteArrayTyConKey
1078 %************************************************************************
1080 \subsection[Class-std-groups]{Standard groups of Prelude classes}
1082 %************************************************************************
1084 NOTE: @Eq@ and @Text@ do need to appear in @standardClasses@
1085 even though every numeric class has these two as a superclass,
1086 because the list of ambiguous dictionaries hasn't been simplified.
1094 ++ fractionalClassKeys
1096 fractionalClassKeys =
1097 [ fractionalClassKey
1103 -- the strictness analyser needs to know about numeric types
1104 -- (see SaAbsInt.lhs)
1105 needsDataDeclCtxtClassKeys = -- see comments in TcDeriv
1109 standardClassKeys = derivableClassKeys ++ numericClassKeys
1111 noDictClassKeys = [] -- ToDo: remove?
1114 @derivableClassKeys@ is also used in checking \tr{deriving} constructs
1119 = [ eqClassKey, ordClassKey, enumClassKey, ixClassKey,
1120 boundedClassKey, showClassKey, readClassKey ]