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 ( Module, mkModule )
53 import OccName ( dataName, tcName, clsName, varName, mkOccNameFS,
55 import RdrName ( RdrName, nameRdrName, mkOrig, rdrNameOcc, mkUnqual )
56 import Unique ( Unique, Uniquable(..), hasKey,
57 mkPreludeMiscIdUnique, mkPreludeDataConUnique,
58 mkPreludeTyConUnique, mkPreludeClassUnique,
61 import BasicTypes ( Boxity(..), Arity )
62 import Name ( Name, mkInternalName, mkExternalName, nameModule )
63 import SrcLoc ( noSrcLoc )
68 %************************************************************************
70 \subsection{Local Names}
72 %************************************************************************
74 This *local* name is used by the interactive stuff
77 itName uniq = mkInternalName uniq (mkOccNameFS varName FSLIT("it")) noSrcLoc
81 -- mkUnboundName makes a place-holder Name; it shouldn't be looked at except possibly
82 -- during compiler debugging.
83 mkUnboundName :: RdrName -> Name
84 mkUnboundName rdr_name = mkInternalName unboundKey (rdrNameOcc rdr_name) noSrcLoc
86 isUnboundName :: Name -> Bool
87 isUnboundName name = name `hasKey` unboundKey
91 %************************************************************************
93 \subsection{Known key Names}
95 %************************************************************************
97 This section tells what the compiler knows about the assocation of
98 names with uniques. These ones are the *non* wired-in ones. The
99 wired in ones are defined in TysWiredIn etc.
102 basicKnownKeyNames :: [Name]
105 ++ typeableClassNames
106 ++ [ -- Type constructors (synonyms especially)
107 ioTyConName, ioDataConName,
113 integerTyConName, smallIntegerDataConName, largeIntegerDataConName,
115 -- Classes. *Must* include:
116 -- classes that are grabbed by key (e.g., eqClassKey)
117 -- classes in "Class.standardClassKeys" (quite a few)
118 eqClassName, -- mentioned, derivable
119 ordClassName, -- derivable
120 boundedClassName, -- derivable
121 numClassName, -- mentioned, numeric
122 enumClassName, -- derivable
125 realClassName, -- numeric
126 integralClassName, -- numeric
127 fractionalClassName, -- numeric
128 floatingClassName, -- numeric
129 realFracClassName, -- numeric
130 realFloatClassName, -- numeric
134 negateName, minusName,
135 fromRationalName, fromIntegerName,
139 enumFromName, enumFromThenName,
140 enumFromThenToName, enumFromToName,
141 enumFromToPName, enumFromThenToPName,
144 thenIOName, bindIOName, returnIOName, failIOName,
145 failMName, bindMName, thenMName, returnMName,
151 arrAName, composeAName, firstAName,
152 appAName, choiceAName, loopAName,
167 unpackCStringName, unpackCStringAppendName,
168 unpackCStringFoldrName, unpackCStringUtf8Name,
171 concatName, filterName,
172 zipName, foldrName, buildName, augmentName, appendName,
174 -- Parallel array operations
175 nullPName, lengthPName, replicatePName, mapPName,
176 filterPName, zipPName, crossPName, indexPName,
177 toPName, bpermutePName, bpermuteDftPName, indexOfPName,
179 -- FFI primitive types that are not wired-in.
180 stablePtrTyConName, ptrTyConName, funPtrTyConName, addrTyConName,
181 int8TyConName, int16TyConName, int32TyConName, int64TyConName,
182 wordTyConName, word8TyConName, word16TyConName, word32TyConName, word64TyConName,
186 plusIntegerName, timesIntegerName,
187 eqStringName, assertName, breakpointName, assertErrorName,
189 printName, fstName, sndName,
192 monadFixClassName, mfixName,
195 splittableClassName, splitName,
198 randomClassName, randomGenClassName, monadPlusClassName,
204 , eitherTyConName, leftDataConName, rightDataConName
207 , objectTyConName, marshalObjectName, unmarshalObjectName
208 , marshalStringName, unmarshalStringName, checkDotnetResName
211 genericTyConNames :: [Name]
212 genericTyConNames = [crossTyConName, plusTyConName, genUnitTyConName]
216 %************************************************************************
218 \subsection{Module names}
220 %************************************************************************
223 --MetaHaskell Extension Add a new module here
225 pRELUDE = mkModule "Prelude"
226 gHC_PRIM = mkModule "GHC.Prim" -- Primitive types and values
227 pREL_BASE = mkModule "GHC.Base"
228 pREL_ENUM = mkModule "GHC.Enum"
229 pREL_SHOW = mkModule "GHC.Show"
230 pREL_READ = mkModule "GHC.Read"
231 pREL_NUM = mkModule "GHC.Num"
232 pREL_LIST = mkModule "GHC.List"
233 pREL_PARR = mkModule "GHC.PArr"
234 pREL_TUP = mkModule "Data.Tuple"
235 pREL_EITHER = mkModule "Data.Either"
236 pREL_PACK = mkModule "GHC.Pack"
237 pREL_CONC = mkModule "GHC.Conc"
238 pREL_IO_BASE = mkModule "GHC.IOBase"
239 pREL_ST = mkModule "GHC.ST"
240 pREL_ARR = mkModule "GHC.Arr"
241 pREL_STABLE = mkModule "GHC.Stable"
242 pREL_ADDR = mkModule "GHC.Addr"
243 pREL_PTR = mkModule "GHC.Ptr"
244 pREL_ERR = mkModule "GHC.Err"
245 pREL_REAL = mkModule "GHC.Real"
246 pREL_FLOAT = mkModule "GHC.Float"
247 pREL_TOP_HANDLER= mkModule "GHC.TopHandler"
248 sYSTEM_IO = mkModule "System.IO"
249 dYNAMIC = mkModule "Data.Dynamic"
250 tYPEABLE = mkModule "Data.Typeable"
251 gENERICS = mkModule "Data.Generics.Basics"
252 dOTNET = mkModule "GHC.Dotnet"
254 rEAD_PREC = mkModule "Text.ParserCombinators.ReadPrec"
255 lEX = mkModule "Text.Read.Lex"
257 mAIN = mkModule "Main"
258 pREL_INT = mkModule "GHC.Int"
259 pREL_WORD = mkModule "GHC.Word"
260 mONAD = mkModule "Control.Monad"
261 mONAD_FIX = mkModule "Control.Monad.Fix"
262 aRROW = mkModule "Control.Arrow"
263 aDDR = mkModule "Addr"
264 rANDOM = mkModule "System.Random"
266 gLA_EXTS = mkModule "GHC.Exts"
267 rOOT_MAIN = mkModule ":Main" -- Root module for initialisation
268 -- The ':xxx' makes a module name that the user can never
269 -- use himself. The z-encoding for ':' is "ZC", so the z-encoded
270 -- module name still starts with a capital letter, which keeps
271 -- the z-encoded version consistent.
273 iNTERACTIVE = mkModule ":Interactive"
274 thFAKE = mkModule ":THFake"
277 %************************************************************************
279 \subsection{Constructing the names of tuples
281 %************************************************************************
284 mkTupleModule :: Boxity -> Arity -> Module
285 mkTupleModule Boxed 0 = pREL_BASE
286 mkTupleModule Boxed _ = pREL_TUP
287 mkTupleModule Unboxed _ = gHC_PRIM
291 %************************************************************************
295 %************************************************************************
298 main_RDR_Unqual = mkUnqual varName FSLIT("main")
299 -- We definitely don't want an Orig RdrName, because
300 -- main might, in principle, be imported into module Main
302 eq_RDR = nameRdrName eqName
303 ge_RDR = nameRdrName geName
304 ne_RDR = varQual_RDR pREL_BASE FSLIT("/=")
305 le_RDR = varQual_RDR pREL_BASE FSLIT("<=")
306 gt_RDR = varQual_RDR pREL_BASE FSLIT(">")
307 compare_RDR = varQual_RDR pREL_BASE FSLIT("compare")
308 ltTag_RDR = dataQual_RDR pREL_BASE FSLIT("LT")
309 eqTag_RDR = dataQual_RDR pREL_BASE FSLIT("EQ")
310 gtTag_RDR = dataQual_RDR pREL_BASE FSLIT("GT")
312 eqClass_RDR = nameRdrName eqClassName
313 numClass_RDR = nameRdrName numClassName
314 ordClass_RDR = nameRdrName ordClassName
315 enumClass_RDR = nameRdrName enumClassName
316 monadClass_RDR = nameRdrName monadClassName
318 map_RDR = varQual_RDR pREL_BASE FSLIT("map")
319 append_RDR = varQual_RDR pREL_BASE FSLIT("++")
321 foldr_RDR = nameRdrName foldrName
322 build_RDR = nameRdrName buildName
323 returnM_RDR = nameRdrName returnMName
324 bindM_RDR = nameRdrName bindMName
325 failM_RDR = nameRdrName failMName
327 and_RDR = nameRdrName andName
329 left_RDR = nameRdrName leftDataConName
330 right_RDR = nameRdrName rightDataConName
332 fromEnum_RDR = varQual_RDR pREL_ENUM FSLIT("fromEnum")
333 toEnum_RDR = varQual_RDR pREL_ENUM FSLIT("toEnum")
335 enumFrom_RDR = nameRdrName enumFromName
336 enumFromTo_RDR = nameRdrName enumFromToName
337 enumFromThen_RDR = nameRdrName enumFromThenName
338 enumFromThenTo_RDR = nameRdrName enumFromThenToName
340 ratioDataCon_RDR = nameRdrName ratioDataConName
341 plusInteger_RDR = nameRdrName plusIntegerName
342 timesInteger_RDR = nameRdrName timesIntegerName
344 ioDataCon_RDR = nameRdrName ioDataConName
346 eqString_RDR = nameRdrName eqStringName
347 unpackCString_RDR = nameRdrName unpackCStringName
348 unpackCStringFoldr_RDR = nameRdrName unpackCStringFoldrName
349 unpackCStringUtf8_RDR = nameRdrName unpackCStringUtf8Name
351 newStablePtr_RDR = nameRdrName newStablePtrName
352 addrDataCon_RDR = dataQual_RDR aDDR FSLIT("A#")
353 wordDataCon_RDR = dataQual_RDR pREL_WORD FSLIT("W#")
355 bindIO_RDR = nameRdrName bindIOName
356 returnIO_RDR = nameRdrName returnIOName
358 fromInteger_RDR = nameRdrName fromIntegerName
359 fromRational_RDR = nameRdrName fromRationalName
360 minus_RDR = nameRdrName minusName
361 times_RDR = varQual_RDR pREL_NUM FSLIT("*")
362 plus_RDR = varQual_RDR pREL_NUM FSLIT("+")
364 compose_RDR = varQual_RDR pREL_BASE FSLIT(".")
366 not_RDR = varQual_RDR pREL_BASE FSLIT("not")
367 getTag_RDR = varQual_RDR pREL_BASE FSLIT("getTag")
368 succ_RDR = varQual_RDR pREL_ENUM FSLIT("succ")
369 pred_RDR = varQual_RDR pREL_ENUM FSLIT("pred")
370 minBound_RDR = varQual_RDR pREL_ENUM FSLIT("minBound")
371 maxBound_RDR = varQual_RDR pREL_ENUM FSLIT("maxBound")
372 range_RDR = varQual_RDR pREL_ARR FSLIT("range")
373 inRange_RDR = varQual_RDR pREL_ARR FSLIT("inRange")
374 index_RDR = varQual_RDR pREL_ARR FSLIT("index")
375 unsafeIndex_RDR = varQual_RDR pREL_ARR FSLIT("unsafeIndex")
376 unsafeRangeSize_RDR = varQual_RDR pREL_ARR FSLIT("unsafeRangeSize")
378 readList_RDR = varQual_RDR pREL_READ FSLIT("readList")
379 readListDefault_RDR = varQual_RDR pREL_READ FSLIT("readListDefault")
380 readListPrec_RDR = varQual_RDR pREL_READ FSLIT("readListPrec")
381 readListPrecDefault_RDR = varQual_RDR pREL_READ FSLIT("readListPrecDefault")
382 readPrec_RDR = varQual_RDR pREL_READ FSLIT("readPrec")
383 parens_RDR = varQual_RDR pREL_READ FSLIT("parens")
384 choose_RDR = varQual_RDR pREL_READ FSLIT("choose")
385 lexP_RDR = varQual_RDR pREL_READ FSLIT("lexP")
387 punc_RDR = dataQual_RDR lEX FSLIT("Punc")
388 ident_RDR = dataQual_RDR lEX FSLIT("Ident")
389 symbol_RDR = dataQual_RDR lEX FSLIT("Symbol")
391 step_RDR = varQual_RDR rEAD_PREC FSLIT("step")
392 alt_RDR = varQual_RDR rEAD_PREC FSLIT("+++")
393 reset_RDR = varQual_RDR rEAD_PREC FSLIT("reset")
394 prec_RDR = varQual_RDR rEAD_PREC FSLIT("prec")
396 showList_RDR = varQual_RDR pREL_SHOW FSLIT("showList")
397 showList___RDR = varQual_RDR pREL_SHOW FSLIT("showList__")
398 showsPrec_RDR = varQual_RDR pREL_SHOW FSLIT("showsPrec")
399 showString_RDR = varQual_RDR pREL_SHOW FSLIT("showString")
400 showSpace_RDR = varQual_RDR pREL_SHOW FSLIT("showSpace")
401 showParen_RDR = varQual_RDR pREL_SHOW FSLIT("showParen")
403 typeOf_RDR = varQual_RDR tYPEABLE FSLIT("typeOf")
404 mkTypeRep_RDR = varQual_RDR tYPEABLE FSLIT("mkTyConApp")
405 mkTyConRep_RDR = varQual_RDR tYPEABLE FSLIT("mkTyCon")
407 undefined_RDR = varQual_RDR pREL_ERR FSLIT("undefined")
409 crossDataCon_RDR = dataQual_RDR pREL_BASE FSLIT(":*:")
410 inlDataCon_RDR = dataQual_RDR pREL_BASE FSLIT("Inl")
411 inrDataCon_RDR = dataQual_RDR pREL_BASE FSLIT("Inr")
412 genUnitDataCon_RDR = dataQual_RDR pREL_BASE FSLIT("Unit")
414 ----------------------
415 varQual_RDR mod str = mkOrig mod (mkOccNameFS varName str)
416 tcQual_RDR mod str = mkOrig mod (mkOccNameFS tcName str)
417 clsQual_RDR mod str = mkOrig mod (mkOccNameFS clsName str)
418 dataQual_RDR mod str = mkOrig mod (mkOccNameFS dataName str)
421 %************************************************************************
423 \subsection{Known-key names}
425 %************************************************************************
427 Many of these Names are not really "built in", but some parts of the
428 compiler (notably the deriving mechanism) need to mention their names,
429 and it's convenient to write them all down in one place.
431 --MetaHaskell Extension add the constrs and the lower case case
432 -- guys as well (perhaps) e.g. see trueDataConName below
436 runMainIOName = varQual pREL_TOP_HANDLER FSLIT("runMainIO") runMainKey
438 orderingTyConName = tcQual pREL_BASE FSLIT("Ordering") orderingTyConKey
440 eitherTyConName = tcQual pREL_EITHER FSLIT("Either") eitherTyConKey
441 leftDataConName = conName eitherTyConName FSLIT("Left") leftDataConKey
442 rightDataConName = conName eitherTyConName FSLIT("Right") rightDataConKey
445 crossTyConName = tcQual pREL_BASE FSLIT(":*:") crossTyConKey
446 plusTyConName = tcQual pREL_BASE FSLIT(":+:") plusTyConKey
447 genUnitTyConName = tcQual pREL_BASE FSLIT("Unit") genUnitTyConKey
449 -- Base strings Strings
450 unpackCStringName = varQual pREL_BASE FSLIT("unpackCString#") unpackCStringIdKey
451 unpackCStringAppendName = varQual pREL_BASE FSLIT("unpackAppendCString#") unpackCStringAppendIdKey
452 unpackCStringFoldrName = varQual pREL_BASE FSLIT("unpackFoldrCString#") unpackCStringFoldrIdKey
453 unpackCStringUtf8Name = varQual pREL_BASE FSLIT("unpackCStringUtf8#") unpackCStringUtf8IdKey
454 eqStringName = varQual pREL_BASE FSLIT("eqString") eqStringIdKey
456 -- Base classes (Eq, Ord, Functor)
457 eqClassName = clsQual pREL_BASE FSLIT("Eq") eqClassKey
458 eqName = methName eqClassName FSLIT("==") eqClassOpKey
459 ordClassName = clsQual pREL_BASE FSLIT("Ord") ordClassKey
460 geName = methName ordClassName FSLIT(">=") geClassOpKey
461 functorClassName = clsQual pREL_BASE FSLIT("Functor") functorClassKey
464 monadClassName = clsQual pREL_BASE FSLIT("Monad") monadClassKey
465 thenMName = methName monadClassName FSLIT(">>") thenMClassOpKey
466 bindMName = methName monadClassName FSLIT(">>=") bindMClassOpKey
467 returnMName = methName monadClassName FSLIT("return") returnMClassOpKey
468 failMName = methName monadClassName FSLIT("fail") failMClassOpKey
470 -- Random PrelBase functions
471 otherwiseIdName = varQual pREL_BASE FSLIT("otherwise") otherwiseIdKey
472 foldrName = varQual pREL_BASE FSLIT("foldr") foldrIdKey
473 buildName = varQual pREL_BASE FSLIT("build") buildIdKey
474 augmentName = varQual pREL_BASE FSLIT("augment") augmentIdKey
475 appendName = varQual pREL_BASE FSLIT("++") appendIdKey
476 andName = varQual pREL_BASE FSLIT("&&") andIdKey
477 orName = varQual pREL_BASE FSLIT("||") orIdKey
478 assertName = varQual pREL_BASE FSLIT("assert") assertIdKey
479 breakpointName = varQual pREL_BASE FSLIT("breakpoint") breakpointIdKey
483 (mkOccNameFS varName FSLIT("breakpointJump"))
487 fstName = varQual pREL_TUP FSLIT("fst") fstIdKey
488 sndName = varQual pREL_TUP FSLIT("snd") sndIdKey
491 numClassName = clsQual pREL_NUM FSLIT("Num") numClassKey
492 fromIntegerName = methName numClassName FSLIT("fromInteger") fromIntegerClassOpKey
493 minusName = methName numClassName FSLIT("-") minusClassOpKey
494 negateName = methName numClassName FSLIT("negate") negateClassOpKey
495 plusIntegerName = varQual pREL_NUM FSLIT("plusInteger") plusIntegerIdKey
496 timesIntegerName = varQual pREL_NUM FSLIT("timesInteger") timesIntegerIdKey
497 integerTyConName = tcQual pREL_NUM FSLIT("Integer") integerTyConKey
498 smallIntegerDataConName = conName integerTyConName FSLIT("S#") smallIntegerDataConKey
499 largeIntegerDataConName = conName integerTyConName FSLIT("J#") largeIntegerDataConKey
501 -- PrelReal types and classes
502 rationalTyConName = tcQual pREL_REAL FSLIT("Rational") rationalTyConKey
503 ratioTyConName = tcQual pREL_REAL FSLIT("Ratio") ratioTyConKey
504 ratioDataConName = conName ratioTyConName FSLIT(":%") ratioDataConKey
505 realClassName = clsQual pREL_REAL FSLIT("Real") realClassKey
506 integralClassName = clsQual pREL_REAL FSLIT("Integral") integralClassKey
507 realFracClassName = clsQual pREL_REAL FSLIT("RealFrac") realFracClassKey
508 fractionalClassName = clsQual pREL_REAL FSLIT("Fractional") fractionalClassKey
509 fromRationalName = methName fractionalClassName FSLIT("fromRational") fromRationalClassOpKey
512 floatingClassName = clsQual pREL_FLOAT FSLIT("Floating") floatingClassKey
513 realFloatClassName = clsQual pREL_FLOAT FSLIT("RealFloat") realFloatClassKey
516 ixClassName = clsQual pREL_ARR FSLIT("Ix") ixClassKey
519 typeableClassName = clsQual tYPEABLE FSLIT("Typeable") typeableClassKey
520 typeable1ClassName = clsQual tYPEABLE FSLIT("Typeable1") typeable1ClassKey
521 typeable2ClassName = clsQual tYPEABLE FSLIT("Typeable2") typeable2ClassKey
522 typeable3ClassName = clsQual tYPEABLE FSLIT("Typeable3") typeable3ClassKey
523 typeable4ClassName = clsQual tYPEABLE FSLIT("Typeable4") typeable4ClassKey
524 typeable5ClassName = clsQual tYPEABLE FSLIT("Typeable5") typeable5ClassKey
525 typeable6ClassName = clsQual tYPEABLE FSLIT("Typeable6") typeable6ClassKey
526 typeable7ClassName = clsQual tYPEABLE FSLIT("Typeable7") typeable7ClassKey
528 typeableClassNames = [ typeableClassName, typeable1ClassName, typeable2ClassName
529 , typeable3ClassName, typeable4ClassName, typeable5ClassName
530 , typeable6ClassName, typeable7ClassName ]
533 dataClassName = clsQual gENERICS FSLIT("Data") dataClassKey
536 assertErrorName = varQual pREL_ERR FSLIT("assertError") assertErrorIdKey
538 -- Enum module (Enum, Bounded)
539 enumClassName = clsQual pREL_ENUM FSLIT("Enum") enumClassKey
540 enumFromName = methName enumClassName FSLIT("enumFrom") enumFromClassOpKey
541 enumFromToName = methName enumClassName FSLIT("enumFromTo") enumFromToClassOpKey
542 enumFromThenName = methName enumClassName FSLIT("enumFromThen") enumFromThenClassOpKey
543 enumFromThenToName = methName enumClassName FSLIT("enumFromThenTo") enumFromThenToClassOpKey
544 boundedClassName = clsQual pREL_ENUM FSLIT("Bounded") boundedClassKey
547 concatName = varQual pREL_LIST FSLIT("concat") concatIdKey
548 filterName = varQual pREL_LIST FSLIT("filter") filterIdKey
549 zipName = varQual pREL_LIST FSLIT("zip") zipIdKey
552 showClassName = clsQual pREL_SHOW FSLIT("Show") showClassKey
555 readClassName = clsQual pREL_READ FSLIT("Read") readClassKey
557 -- parallel array types and functions
558 enumFromToPName = varQual pREL_PARR FSLIT("enumFromToP") enumFromToPIdKey
559 enumFromThenToPName= varQual pREL_PARR FSLIT("enumFromThenToP") enumFromThenToPIdKey
560 nullPName = varQual pREL_PARR FSLIT("nullP") nullPIdKey
561 lengthPName = varQual pREL_PARR FSLIT("lengthP") lengthPIdKey
562 replicatePName = varQual pREL_PARR FSLIT("replicateP") replicatePIdKey
563 mapPName = varQual pREL_PARR FSLIT("mapP") mapPIdKey
564 filterPName = varQual pREL_PARR FSLIT("filterP") filterPIdKey
565 zipPName = varQual pREL_PARR FSLIT("zipP") zipPIdKey
566 crossPName = varQual pREL_PARR FSLIT("crossP") crossPIdKey
567 indexPName = varQual pREL_PARR FSLIT("!:") indexPIdKey
568 toPName = varQual pREL_PARR FSLIT("toP") toPIdKey
569 bpermutePName = varQual pREL_PARR FSLIT("bpermuteP") bpermutePIdKey
570 bpermuteDftPName = varQual pREL_PARR FSLIT("bpermuteDftP") bpermuteDftPIdKey
571 indexOfPName = varQual pREL_PARR FSLIT("indexOfP") indexOfPIdKey
574 ioTyConName = tcQual pREL_IO_BASE FSLIT("IO") ioTyConKey
575 ioDataConName = conName ioTyConName FSLIT("IO") ioDataConKey
576 thenIOName = varQual pREL_IO_BASE FSLIT("thenIO") thenIOIdKey
577 bindIOName = varQual pREL_IO_BASE FSLIT("bindIO") bindIOIdKey
578 returnIOName = varQual pREL_IO_BASE FSLIT("returnIO") returnIOIdKey
579 failIOName = varQual pREL_IO_BASE FSLIT("failIO") failIOIdKey
582 printName = varQual sYSTEM_IO FSLIT("print") printIdKey
584 -- Int, Word, and Addr things
585 int8TyConName = tcQual pREL_INT FSLIT("Int8") int8TyConKey
586 int16TyConName = tcQual pREL_INT FSLIT("Int16") int16TyConKey
587 int32TyConName = tcQual pREL_INT FSLIT("Int32") int32TyConKey
588 int64TyConName = tcQual pREL_INT FSLIT("Int64") int64TyConKey
591 word8TyConName = tcQual pREL_WORD FSLIT("Word8") word8TyConKey
592 word16TyConName = tcQual pREL_WORD FSLIT("Word16") word16TyConKey
593 word32TyConName = tcQual pREL_WORD FSLIT("Word32") word32TyConKey
594 word64TyConName = tcQual pREL_WORD FSLIT("Word64") word64TyConKey
595 wordTyConName = tcQual pREL_WORD FSLIT("Word") wordTyConKey
596 wordDataConName = conName wordTyConName FSLIT("W#") wordDataConKey
599 addrTyConName = tcQual aDDR FSLIT("Addr") addrTyConKey
602 ptrTyConName = tcQual pREL_PTR FSLIT("Ptr") ptrTyConKey
603 funPtrTyConName = tcQual pREL_PTR FSLIT("FunPtr") funPtrTyConKey
605 -- Foreign objects and weak pointers
606 stablePtrTyConName = tcQual pREL_STABLE FSLIT("StablePtr") stablePtrTyConKey
607 newStablePtrName = varQual pREL_STABLE FSLIT("newStablePtr") newStablePtrIdKey
610 runSTRepName = varQual pREL_ST FSLIT("runSTRep") runSTRepIdKey
612 -- The "split" Id for splittable implicit parameters
613 splittableClassName = clsQual gLA_EXTS FSLIT("Splittable") splittableClassKey
614 splitName = methName splittableClassName FSLIT("split") splitIdKey
616 -- Recursive-do notation
617 monadFixClassName = clsQual mONAD_FIX FSLIT("MonadFix") monadFixClassKey
618 mfixName = methName monadFixClassName FSLIT("mfix") mfixIdKey
621 arrAName = varQual aRROW FSLIT("arr") arrAIdKey
622 composeAName = varQual aRROW FSLIT(">>>") composeAIdKey
623 firstAName = varQual aRROW FSLIT("first") firstAIdKey
624 appAName = varQual aRROW FSLIT("app") appAIdKey
625 choiceAName = varQual aRROW FSLIT("|||") choiceAIdKey
626 loopAName = varQual aRROW FSLIT("loop") loopAIdKey
628 -- Other classes, needed for type defaulting
629 monadPlusClassName = clsQual mONAD FSLIT("MonadPlus") monadPlusClassKey
630 randomClassName = clsQual rANDOM FSLIT("Random") randomClassKey
631 randomGenClassName = clsQual rANDOM FSLIT("RandomGen") randomGenClassKey
634 objectTyConName = tcQual dOTNET FSLIT("Object") objectTyConKey
635 -- objectTyConName was "wTcQual", but that's gone now, and
636 -- I can't see why it was wired in anyway...
637 unmarshalObjectName = varQual dOTNET FSLIT("unmarshalObject") unmarshalObjectIdKey
638 marshalObjectName = varQual dOTNET FSLIT("marshalObject") marshalObjectIdKey
639 marshalStringName = varQual dOTNET FSLIT("marshalString") marshalStringIdKey
640 unmarshalStringName = varQual dOTNET FSLIT("unmarshalString") unmarshalStringIdKey
641 checkDotnetResName = varQual dOTNET FSLIT("checkResult") checkDotnetResNameIdKey
644 %************************************************************************
646 \subsection{Local helpers}
648 %************************************************************************
650 All these are original names; hence mkOrig
653 varQual = mk_known_key_name varName
654 tcQual = mk_known_key_name tcName
655 clsQual = mk_known_key_name clsName
657 mk_known_key_name space mod str uniq
658 = mkExternalName uniq mod (mkOccNameFS space str)
661 conName :: Name -> FastString -> Unique -> Name
662 conName tycon occ uniq
663 = mkExternalName uniq (nameModule tycon) (mkOccNameFS dataName occ)
664 (Just tycon) noSrcLoc
666 methName :: Name -> FastString -> Unique -> Name
667 methName cls occ uniq
668 = mkExternalName uniq (nameModule cls) (mkVarOccFS occ)
672 %************************************************************************
674 \subsubsection[Uniques-prelude-Classes]{@Uniques@ for wired-in @Classes@}
676 %************************************************************************
677 --MetaHaskell extension hand allocate keys here
680 boundedClassKey = mkPreludeClassUnique 1
681 enumClassKey = mkPreludeClassUnique 2
682 eqClassKey = mkPreludeClassUnique 3
683 floatingClassKey = mkPreludeClassUnique 5
684 fractionalClassKey = mkPreludeClassUnique 6
685 integralClassKey = mkPreludeClassUnique 7
686 monadClassKey = mkPreludeClassUnique 8
687 dataClassKey = mkPreludeClassUnique 9
688 functorClassKey = mkPreludeClassUnique 10
689 numClassKey = mkPreludeClassUnique 11
690 ordClassKey = mkPreludeClassUnique 12
691 readClassKey = mkPreludeClassUnique 13
692 realClassKey = mkPreludeClassUnique 14
693 realFloatClassKey = mkPreludeClassUnique 15
694 realFracClassKey = mkPreludeClassUnique 16
695 showClassKey = mkPreludeClassUnique 17
696 ixClassKey = mkPreludeClassUnique 18
698 typeableClassKey = mkPreludeClassUnique 20
699 typeable1ClassKey = mkPreludeClassUnique 21
700 typeable2ClassKey = mkPreludeClassUnique 22
701 typeable3ClassKey = mkPreludeClassUnique 23
702 typeable4ClassKey = mkPreludeClassUnique 24
703 typeable5ClassKey = mkPreludeClassUnique 25
704 typeable6ClassKey = mkPreludeClassUnique 26
705 typeable7ClassKey = mkPreludeClassUnique 27
707 monadFixClassKey = mkPreludeClassUnique 28
708 splittableClassKey = mkPreludeClassUnique 29
710 monadPlusClassKey = mkPreludeClassUnique 30
711 randomClassKey = mkPreludeClassUnique 31
712 randomGenClassKey = mkPreludeClassUnique 32
715 %************************************************************************
717 \subsubsection[Uniques-prelude-TyCons]{@Uniques@ for wired-in @TyCons@}
719 %************************************************************************
722 addrPrimTyConKey = mkPreludeTyConUnique 1
723 addrTyConKey = mkPreludeTyConUnique 2
724 arrayPrimTyConKey = mkPreludeTyConUnique 3
725 boolTyConKey = mkPreludeTyConUnique 4
726 byteArrayPrimTyConKey = mkPreludeTyConUnique 5
727 charPrimTyConKey = mkPreludeTyConUnique 7
728 charTyConKey = mkPreludeTyConUnique 8
729 doublePrimTyConKey = mkPreludeTyConUnique 9
730 doubleTyConKey = mkPreludeTyConUnique 10
731 floatPrimTyConKey = mkPreludeTyConUnique 11
732 floatTyConKey = mkPreludeTyConUnique 12
733 funTyConKey = mkPreludeTyConUnique 13
734 intPrimTyConKey = mkPreludeTyConUnique 14
735 intTyConKey = mkPreludeTyConUnique 15
736 int8TyConKey = mkPreludeTyConUnique 16
737 int16TyConKey = mkPreludeTyConUnique 17
738 int32PrimTyConKey = mkPreludeTyConUnique 18
739 int32TyConKey = mkPreludeTyConUnique 19
740 int64PrimTyConKey = mkPreludeTyConUnique 20
741 int64TyConKey = mkPreludeTyConUnique 21
742 integerTyConKey = mkPreludeTyConUnique 22
743 listTyConKey = mkPreludeTyConUnique 23
744 foreignObjPrimTyConKey = mkPreludeTyConUnique 24
745 weakPrimTyConKey = mkPreludeTyConUnique 27
746 mutableArrayPrimTyConKey = mkPreludeTyConUnique 28
747 mutableByteArrayPrimTyConKey = mkPreludeTyConUnique 29
748 orderingTyConKey = mkPreludeTyConUnique 30
749 mVarPrimTyConKey = mkPreludeTyConUnique 31
750 ratioTyConKey = mkPreludeTyConUnique 32
751 rationalTyConKey = mkPreludeTyConUnique 33
752 realWorldTyConKey = mkPreludeTyConUnique 34
753 stablePtrPrimTyConKey = mkPreludeTyConUnique 35
754 stablePtrTyConKey = mkPreludeTyConUnique 36
755 statePrimTyConKey = mkPreludeTyConUnique 50
756 stableNamePrimTyConKey = mkPreludeTyConUnique 51
757 stableNameTyConKey = mkPreludeTyConUnique 52
758 mutVarPrimTyConKey = mkPreludeTyConUnique 55
759 ioTyConKey = mkPreludeTyConUnique 56
760 wordPrimTyConKey = mkPreludeTyConUnique 58
761 wordTyConKey = mkPreludeTyConUnique 59
762 word8TyConKey = mkPreludeTyConUnique 60
763 word16TyConKey = mkPreludeTyConUnique 61
764 word32PrimTyConKey = mkPreludeTyConUnique 62
765 word32TyConKey = mkPreludeTyConUnique 63
766 word64PrimTyConKey = mkPreludeTyConUnique 64
767 word64TyConKey = mkPreludeTyConUnique 65
768 liftedConKey = mkPreludeTyConUnique 66
769 unliftedConKey = mkPreludeTyConUnique 67
770 anyBoxConKey = mkPreludeTyConUnique 68
771 kindConKey = mkPreludeTyConUnique 69
772 boxityConKey = mkPreludeTyConUnique 70
773 typeConKey = mkPreludeTyConUnique 71
774 threadIdPrimTyConKey = mkPreludeTyConUnique 72
775 bcoPrimTyConKey = mkPreludeTyConUnique 73
776 ptrTyConKey = mkPreludeTyConUnique 74
777 funPtrTyConKey = mkPreludeTyConUnique 75
778 tVarPrimTyConKey = mkPreludeTyConUnique 76
780 -- Generic Type Constructors
781 crossTyConKey = mkPreludeTyConUnique 79
782 plusTyConKey = mkPreludeTyConUnique 80
783 genUnitTyConKey = mkPreludeTyConUnique 81
785 -- Parallel array type constructor
786 parrTyConKey = mkPreludeTyConUnique 82
789 objectTyConKey = mkPreludeTyConUnique 83
791 eitherTyConKey = mkPreludeTyConUnique 84
793 ---------------- Template Haskell -------------------
794 -- USES TyConUniques 100-129
795 -----------------------------------------------------
797 unitTyConKey = mkTupleTyConUnique Boxed 0
800 %************************************************************************
802 \subsubsection[Uniques-prelude-DataCons]{@Uniques@ for wired-in @DataCons@}
804 %************************************************************************
807 charDataConKey = mkPreludeDataConUnique 1
808 consDataConKey = mkPreludeDataConUnique 2
809 doubleDataConKey = mkPreludeDataConUnique 3
810 falseDataConKey = mkPreludeDataConUnique 4
811 floatDataConKey = mkPreludeDataConUnique 5
812 intDataConKey = mkPreludeDataConUnique 6
813 smallIntegerDataConKey = mkPreludeDataConUnique 7
814 largeIntegerDataConKey = mkPreludeDataConUnique 8
815 nilDataConKey = mkPreludeDataConUnique 11
816 ratioDataConKey = mkPreludeDataConUnique 12
817 stableNameDataConKey = mkPreludeDataConUnique 14
818 trueDataConKey = mkPreludeDataConUnique 15
819 wordDataConKey = mkPreludeDataConUnique 16
820 ioDataConKey = mkPreludeDataConUnique 17
822 -- Generic data constructors
823 crossDataConKey = mkPreludeDataConUnique 20
824 inlDataConKey = mkPreludeDataConUnique 21
825 inrDataConKey = mkPreludeDataConUnique 22
826 genUnitDataConKey = mkPreludeDataConUnique 23
828 -- Data constructor for parallel arrays
829 parrDataConKey = mkPreludeDataConUnique 24
831 leftDataConKey = mkPreludeDataConUnique 25
832 rightDataConKey = mkPreludeDataConUnique 26
835 %************************************************************************
837 \subsubsection[Uniques-prelude-Ids]{@Uniques@ for wired-in @Ids@ (except @DataCons@)}
839 %************************************************************************
842 absentErrorIdKey = mkPreludeMiscIdUnique 1
843 augmentIdKey = mkPreludeMiscIdUnique 3
844 appendIdKey = mkPreludeMiscIdUnique 4
845 buildIdKey = mkPreludeMiscIdUnique 5
846 errorIdKey = mkPreludeMiscIdUnique 6
847 foldlIdKey = mkPreludeMiscIdUnique 7
848 foldrIdKey = mkPreludeMiscIdUnique 8
849 recSelErrorIdKey = mkPreludeMiscIdUnique 9
850 integerMinusOneIdKey = mkPreludeMiscIdUnique 10
851 integerPlusOneIdKey = mkPreludeMiscIdUnique 11
852 integerPlusTwoIdKey = mkPreludeMiscIdUnique 12
853 integerZeroIdKey = mkPreludeMiscIdUnique 13
854 int2IntegerIdKey = mkPreludeMiscIdUnique 14
855 seqIdKey = mkPreludeMiscIdUnique 15
856 irrefutPatErrorIdKey = mkPreludeMiscIdUnique 16
857 eqStringIdKey = mkPreludeMiscIdUnique 17
858 noMethodBindingErrorIdKey = mkPreludeMiscIdUnique 18
859 nonExhaustiveGuardsErrorIdKey = mkPreludeMiscIdUnique 19
860 runtimeErrorIdKey = mkPreludeMiscIdUnique 20
861 parErrorIdKey = mkPreludeMiscIdUnique 21
862 parIdKey = mkPreludeMiscIdUnique 22
863 patErrorIdKey = mkPreludeMiscIdUnique 23
864 realWorldPrimIdKey = mkPreludeMiscIdUnique 24
865 recConErrorIdKey = mkPreludeMiscIdUnique 25
866 recUpdErrorIdKey = mkPreludeMiscIdUnique 26
867 traceIdKey = mkPreludeMiscIdUnique 27
868 unpackCStringUtf8IdKey = mkPreludeMiscIdUnique 28
869 unpackCStringAppendIdKey = mkPreludeMiscIdUnique 29
870 unpackCStringFoldrIdKey = mkPreludeMiscIdUnique 30
871 unpackCStringIdKey = mkPreludeMiscIdUnique 31
873 unsafeCoerceIdKey = mkPreludeMiscIdUnique 32
874 concatIdKey = mkPreludeMiscIdUnique 33
875 filterIdKey = mkPreludeMiscIdUnique 34
876 zipIdKey = mkPreludeMiscIdUnique 35
877 bindIOIdKey = mkPreludeMiscIdUnique 36
878 returnIOIdKey = mkPreludeMiscIdUnique 37
879 deRefStablePtrIdKey = mkPreludeMiscIdUnique 38
880 newStablePtrIdKey = mkPreludeMiscIdUnique 39
881 plusIntegerIdKey = mkPreludeMiscIdUnique 41
882 timesIntegerIdKey = mkPreludeMiscIdUnique 42
883 printIdKey = mkPreludeMiscIdUnique 43
884 failIOIdKey = mkPreludeMiscIdUnique 44
885 nullAddrIdKey = mkPreludeMiscIdUnique 46
886 voidArgIdKey = mkPreludeMiscIdUnique 47
887 splitIdKey = mkPreludeMiscIdUnique 48
888 fstIdKey = mkPreludeMiscIdUnique 49
889 sndIdKey = mkPreludeMiscIdUnique 50
890 otherwiseIdKey = mkPreludeMiscIdUnique 51
891 assertIdKey = mkPreludeMiscIdUnique 53
892 runSTRepIdKey = mkPreludeMiscIdUnique 54
894 rootMainKey = mkPreludeMiscIdUnique 55
895 runMainKey = mkPreludeMiscIdUnique 56
897 andIdKey = mkPreludeMiscIdUnique 57
898 orIdKey = mkPreludeMiscIdUnique 58
899 thenIOIdKey = mkPreludeMiscIdUnique 59
900 lazyIdKey = mkPreludeMiscIdUnique 60
901 assertErrorIdKey = mkPreludeMiscIdUnique 61
903 breakpointIdKey = mkPreludeMiscIdUnique 62
904 breakpointJumpIdKey = mkPreludeMiscIdUnique 63
906 -- Parallel array functions
907 nullPIdKey = mkPreludeMiscIdUnique 80
908 lengthPIdKey = mkPreludeMiscIdUnique 81
909 replicatePIdKey = mkPreludeMiscIdUnique 82
910 mapPIdKey = mkPreludeMiscIdUnique 83
911 filterPIdKey = mkPreludeMiscIdUnique 84
912 zipPIdKey = mkPreludeMiscIdUnique 85
913 crossPIdKey = mkPreludeMiscIdUnique 86
914 indexPIdKey = mkPreludeMiscIdUnique 87
915 toPIdKey = mkPreludeMiscIdUnique 88
916 enumFromToPIdKey = mkPreludeMiscIdUnique 89
917 enumFromThenToPIdKey = mkPreludeMiscIdUnique 90
918 bpermutePIdKey = mkPreludeMiscIdUnique 91
919 bpermuteDftPIdKey = mkPreludeMiscIdUnique 92
920 indexOfPIdKey = mkPreludeMiscIdUnique 93
923 unmarshalObjectIdKey = mkPreludeMiscIdUnique 94
924 marshalObjectIdKey = mkPreludeMiscIdUnique 95
925 marshalStringIdKey = mkPreludeMiscIdUnique 96
926 unmarshalStringIdKey = mkPreludeMiscIdUnique 97
927 checkDotnetResNameIdKey = mkPreludeMiscIdUnique 98
931 Certain class operations from Prelude classes. They get their own
932 uniques so we can look them up easily when we want to conjure them up
933 during type checking.
936 -- Just a place holder for unbound variables produced by the renamer:
937 unboundKey = mkPreludeMiscIdUnique 101
939 fromIntegerClassOpKey = mkPreludeMiscIdUnique 102
940 minusClassOpKey = mkPreludeMiscIdUnique 103
941 fromRationalClassOpKey = mkPreludeMiscIdUnique 104
942 enumFromClassOpKey = mkPreludeMiscIdUnique 105
943 enumFromThenClassOpKey = mkPreludeMiscIdUnique 106
944 enumFromToClassOpKey = mkPreludeMiscIdUnique 107
945 enumFromThenToClassOpKey = mkPreludeMiscIdUnique 108
946 eqClassOpKey = mkPreludeMiscIdUnique 109
947 geClassOpKey = mkPreludeMiscIdUnique 110
948 negateClassOpKey = mkPreludeMiscIdUnique 111
949 failMClassOpKey = mkPreludeMiscIdUnique 112
950 bindMClassOpKey = mkPreludeMiscIdUnique 113 -- (>>=)
951 thenMClassOpKey = mkPreludeMiscIdUnique 114 -- (>>)
952 returnMClassOpKey = mkPreludeMiscIdUnique 117
954 -- Recursive do notation
955 mfixIdKey = mkPreludeMiscIdUnique 118
958 arrAIdKey = mkPreludeMiscIdUnique 119
959 composeAIdKey = mkPreludeMiscIdUnique 120 -- >>>
960 firstAIdKey = mkPreludeMiscIdUnique 121
961 appAIdKey = mkPreludeMiscIdUnique 122
962 choiceAIdKey = mkPreludeMiscIdUnique 123 -- |||
963 loopAIdKey = mkPreludeMiscIdUnique 124
965 ---------------- Template Haskell -------------------
966 -- USES IdUniques 200-399
967 -----------------------------------------------------
971 %************************************************************************
973 \subsection{Standard groups of types}
975 %************************************************************************
987 -- Renamer always imports these data decls replete with constructors
988 -- so that desugarer can always see their constructors. Ugh!
1005 %************************************************************************
1007 \subsection[Class-std-groups]{Standard groups of Prelude classes}
1009 %************************************************************************
1011 NOTE: @Eq@ and @Text@ do need to appear in @standardClasses@
1012 even though every numeric class has these two as a superclass,
1013 because the list of ambiguous dictionaries hasn't been simplified.
1021 ++ fractionalClassKeys
1023 fractionalClassKeys =
1024 [ fractionalClassKey
1030 -- the strictness analyser needs to know about numeric types
1031 -- (see SaAbsInt.lhs)
1032 needsDataDeclCtxtClassKeys = -- see comments in TcDeriv
1036 -- The "standard classes" are used in defaulting (Haskell 98 report 4.3.4),
1037 -- and are: "classes defined in the Prelude or a standard library"
1038 standardClassKeys = derivableClassKeys ++ numericClassKeys
1039 ++ [randomClassKey, randomGenClassKey,
1041 monadClassKey, monadPlusClassKey]
1044 @derivableClassKeys@ is also used in checking \tr{deriving} constructs
1049 = [ eqClassKey, ordClassKey, enumClassKey, ixClassKey,
1050 boundedClassKey, showClassKey, readClassKey ]