Rodrigo Mesquita pushed to branch wip/spj-reinstallable-base2 at Glasgow Haskell Compiler / GHC

Commits:

3 changed files:

Changes:

  • compiler/GHC/Builtin/KnownKeys.hs
    ... ... @@ -61,7 +61,6 @@ where
    61 61
    62 62 
     import GHC.Prelude
    63 63
    64 
    -import GHC.Builtin.Modules
    65 64 
     import GHC.Builtin.Uniques
    66 65
    67 66 
     import GHC.Unit.Types
    ... ... @@ -123,6 +122,11 @@ See Note [Overview of known entities] in GHC.Builtin
    123 122 
     knownKeyTable :: [(OccName, KnownKey)]
    124 123 
     knownKeyTable
    125 124 
       = [ (mkTcOcc "IO", ioTyConKey)
    125 
    +    , (mkVarOcc "$",                  dollarIdKey)
    126 
    +    , (mkVarOcc "assert",             assertIdKey)
    127 
    +    , (mkVarOcc "considerAccessible", considerAccessibleIdKey)
    128 
    +    , (mkVarOcc "augment",            augmentIdKey)
    129 
    +    , (mkVarOcc "otherwise",          otherwiseIdKey)
    126 130
    127 131 
          -- Classes
    128 132 
         , (mkTcOcc "Eq",           eqClassKey)
    ... ... @@ -337,37 +341,17 @@ and it's convenient to write them all down in one place.
    337 341 
     wildCardName :: Name
    338 342 
     wildCardName = mkSystemVarName wildCardKey (fsLit "wild")
    339 343
    340 
    --- Class MonadFail
    341 
    -failMName :: Name
    342 
    -failMName          = varQual gHC_INTERNAL_MONAD_FAIL (fsLit "fail")      failMClassOpKey
    343 
    -
    344 
    --- Classes (Foldable, Traversable)
    345 
    -traversableClassName :: Name
    346 
    -traversableClassName  = clsQual  gHC_INTERNAL_DATA_TRAVERSABLE    (fsLit "Traversable") traversableClassKey
    347 
    -
    348 344 
     -- AMP additions
    349 
    -joinMIdKey, apAClassOpKey, pureAClassOpKey, thenAClassOpKey,
    350 
    -    alternativeClassKey :: KnownKey
    351 
    -joinMIdKey          = mkPreludeMiscIdUnique 750
    352 
    -apAClassOpKey       = mkPreludeMiscIdUnique 751 -- <*>
    345 
    +pureAClassOpKey, thenAClassOpKey, alternativeClassKey :: KnownKey
    353 346 
     pureAClassOpKey     = mkPreludeMiscIdUnique 752
    354 347 
     thenAClassOpKey     = mkPreludeMiscIdUnique 753
    355 348 
     alternativeClassKey = mkPreludeMiscIdUnique 754
    356 349
    357 
    -bnbVarQual, bnnVarQual, bniVarQual :: String -> Unique -> Name
    358 
    -bnbVarQual str key = varQual gHC_INTERNAL_NUM_BIGNAT  (fsLit str) key
    359 
    -bnnVarQual str key = varQual gHC_INTERNAL_NUM_NATURAL (fsLit str) key
    360 
    -bniVarQual str key = varQual gHC_INTERNAL_NUM_INTEGER (fsLit str) key
    361 
    -
    362 
    -
    363 
    -
    364 350 
     ---------------------------------
    365 351 
     -- End of ghc-bignum
    366 352 
     ---------------------------------
    367 353
    368 354 
     -- WithDict
    369 
    -withDictClassName :: Name
    370 
    -withDictClassName = clsQual gHC_MAGIC_DICT (fsLit "WithDict") withDictClassKey
    371 355
    372 356 
     genericClassKeys :: [KnownKey]
    373 357 
     genericClassKeys = [genClassKey, gen1ClassKey]
    ... ... @@ -448,8 +432,6 @@ withDictClassKey = mkPreludeClassUnique 21
    448 432 
     dataToTagClassKey :: KnownKey
    449 433 
     dataToTagClassKey       = mkPreludeClassUnique 23
    450 434
    451 
    -monadFixClassKey :: KnownKey
    452 
    -monadFixClassKey        = mkPreludeClassUnique 28
    453 435
    454 436 
     monadFailClassKey :: KnownKey
    455 437 
     monadFailClassKey       = mkPreludeClassUnique 29
    ... ... @@ -494,7 +476,6 @@ ipClassKey = mkPreludeClassUnique 49
    494 476 
     hasFieldClassKey :: KnownKey
    495 477 
     hasFieldClassKey = mkPreludeClassUnique 50
    496 478
    497 
    -
    498 479 
     ---------------- Template Haskell -------------------
    499 480 
     --      GHC.Builtin.TH: USES ClassUniques 200-299
    500 481 
     -----------------------------------------------------
    ... ... @@ -507,21 +488,17 @@ hasFieldClassKey = mkPreludeClassUnique 50
    507 488 
     ************************************************************************
    508 489 
     -}
    509 490
    510 
    -addrPrimTyConKey, arrayPrimTyConKey, boolTyConKey,
    511 
    -    byteArrayPrimTyConKey, charPrimTyConKey, charTyConKey, doublePrimTyConKey,
    512 
    -    doubleTyConKey, floatPrimTyConKey, floatTyConKey, fUNTyConKey,
    513 
    -    intPrimTyConKey, intTyConKey, int8TyConKey, int16TyConKey,
    514 
    -    int8PrimTyConKey, int16PrimTyConKey, int32PrimTyConKey, int32TyConKey,
    515 
    -    int64PrimTyConKey, int64TyConKey,
    516 
    -    integerTyConKey, naturalTyConKey,
    517 
    -    listTyConKey, foreignObjPrimTyConKey, maybeTyConKey,
    518 
    -    weakPrimTyConKey, mutableArrayPrimTyConKey,
    519 
    -    mutableByteArrayPrimTyConKey, orderingTyConKey, mVarPrimTyConKey,
    520 
    -    ratioTyConKey, rationalTyConKey, realWorldTyConKey, stablePtrPrimTyConKey,
    521 
    -    stablePtrTyConKey, eqTyConKey, heqTyConKey,
    522 
    -    smallArrayPrimTyConKey, smallMutableArrayPrimTyConKey,
    523 
    -    stringTyConKey,
    524 
    -    ccArrowTyConKey, ctArrowTyConKey, tcArrowTyConKey :: KnownKey
    491 
    +addrPrimTyConKey, arrayPrimTyConKey, boolTyConKey, byteArrayPrimTyConKey,
    492 
    +  charPrimTyConKey, charTyConKey, doublePrimTyConKey, doubleTyConKey,
    493 
    +  floatPrimTyConKey, floatTyConKey, fUNTyConKey, intPrimTyConKey, intTyConKey,
    494 
    +  int8TyConKey, int16TyConKey, int8PrimTyConKey, int16PrimTyConKey,
    495 
    +  int32PrimTyConKey, int32TyConKey, int64PrimTyConKey, int64TyConKey,
    496 
    +  integerTyConKey, naturalTyConKey, listTyConKey, maybeTyConKey,
    497 
    +  weakPrimTyConKey, mutableArrayPrimTyConKey, mutableByteArrayPrimTyConKey,
    498 
    +  orderingTyConKey, mVarPrimTyConKey, ratioTyConKey, rationalTyConKey,
    499 
    +  realWorldTyConKey, stablePtrPrimTyConKey, stablePtrTyConKey, eqTyConKey,
    500 
    +  heqTyConKey, smallArrayPrimTyConKey, smallMutableArrayPrimTyConKey,
    501 
    +  stringTyConKey, ccArrowTyConKey, ctArrowTyConKey, tcArrowTyConKey :: KnownKey
    525 502 
     addrPrimTyConKey                        = mkPreludeTyConUnique  1
    526 503 
     arrayPrimTyConKey                       = mkPreludeTyConUnique  3
    527 504 
     boolTyConKey                            = mkPreludeTyConUnique  4
    ... ... @@ -548,7 +525,6 @@ integerTyConKey = mkPreludeTyConUnique 24
    548 525 
     naturalTyConKey                         = mkPreludeTyConUnique 25
    549 526
    550 527 
     listTyConKey                            = mkPreludeTyConUnique 26
    551 
    -foreignObjPrimTyConKey                  = mkPreludeTyConUnique 27
    552 528 
     maybeTyConKey                           = mkPreludeTyConUnique 28
    553 529 
     weakPrimTyConKey                        = mkPreludeTyConUnique 29
    554 530 
     mutableArrayPrimTyConKey                = mkPreludeTyConUnique 30
    ... ... @@ -568,20 +544,16 @@ ctArrowTyConKey = mkPreludeTyConUnique 42
    568 544 
     ccArrowTyConKey                       = mkPreludeTyConUnique 43
    569 545 
     tcArrowTyConKey                       = mkPreludeTyConUnique 44
    570 546
    571 
    -statePrimTyConKey, stableNamePrimTyConKey, stableNameTyConKey,
    572 
    -    mutVarPrimTyConKey, ioTyConKey,
    573 
    -    wordPrimTyConKey, wordTyConKey, word8PrimTyConKey, word8TyConKey,
    574 
    -    word16PrimTyConKey, word16TyConKey, word32PrimTyConKey, word32TyConKey,
    575 
    -    word64PrimTyConKey, word64TyConKey,
    576 
    -    kindConKey, boxityConKey,
    577 
    -    typeConKey, threadIdPrimTyConKey, bcoPrimTyConKey, ptrTyConKey,
    578 
    -    funPtrTyConKey, tVarPrimTyConKey, eqPrimTyConKey,
    579 
    -    eqReprPrimTyConKey, eqPhantPrimTyConKey,
    580 
    -    compactPrimTyConKey, stackSnapshotPrimTyConKey,
    581 
    -    promptTagPrimTyConKey, constPtrTyConKey, jsvalTyConKey :: KnownKey
    547 
    +statePrimTyConKey, stableNamePrimTyConKey, mutVarPrimTyConKey, ioTyConKey,
    548 
    +  wordPrimTyConKey, wordTyConKey, word8PrimTyConKey, word8TyConKey,
    549 
    +  word16PrimTyConKey, word16TyConKey, word32PrimTyConKey, word32TyConKey,
    550 
    +  word64PrimTyConKey, word64TyConKey, threadIdPrimTyConKey, bcoPrimTyConKey,
    551 
    +  ptrTyConKey, funPtrTyConKey, tVarPrimTyConKey, eqPrimTyConKey,
    552 
    +  eqReprPrimTyConKey, eqPhantPrimTyConKey, compactPrimTyConKey,
    553 
    +  stackSnapshotPrimTyConKey, promptTagPrimTyConKey, constPtrTyConKey,
    554 
    +  jsvalTyConKey :: KnownKey
    582 555 
     statePrimTyConKey                       = mkPreludeTyConUnique 50
    583 556 
     stableNamePrimTyConKey                  = mkPreludeTyConUnique 51
    584 
    -stableNameTyConKey                      = mkPreludeTyConUnique 52
    585 557 
     eqPrimTyConKey                          = mkPreludeTyConUnique 53
    586 558 
     eqReprPrimTyConKey                      = mkPreludeTyConUnique 54
    587 559 
     eqPhantPrimTyConKey                     = mkPreludeTyConUnique 55
    ... ... @@ -597,9 +569,6 @@ word32PrimTyConKey = mkPreludeTyConUnique 65
    597 569 
     word32TyConKey                          = mkPreludeTyConUnique 66
    598 570 
     word64PrimTyConKey                      = mkPreludeTyConUnique 67
    599 571 
     word64TyConKey                          = mkPreludeTyConUnique 68
    600 
    -kindConKey                              = mkPreludeTyConUnique 72
    601 
    -boxityConKey                            = mkPreludeTyConUnique 73
    602 
    -typeConKey                              = mkPreludeTyConUnique 74
    603 572 
     threadIdPrimTyConKey                    = mkPreludeTyConUnique 75
    604 573 
     bcoPrimTyConKey                         = mkPreludeTyConUnique 76
    605 574 
     ptrTyConKey                             = mkPreludeTyConUnique 77
    ... ... @@ -609,18 +578,6 @@ compactPrimTyConKey = mkPreludeTyConUnique 80
    609 578 
     stackSnapshotPrimTyConKey               = mkPreludeTyConUnique 81
    610 579 
     promptTagPrimTyConKey                   = mkPreludeTyConUnique 82
    611 580
    612 
    -eitherTyConKey :: KnownKey
    613 
    -eitherTyConKey                          = mkPreludeTyConUnique 84
    614 
    -
    615 
    -voidTyConKey :: KnownKey
    616 
    -voidTyConKey                            = mkPreludeTyConUnique 85
    617 
    -
    618 
    -nonEmptyTyConKey :: KnownKey
    619 
    -nonEmptyTyConKey                        = mkPreludeTyConUnique 86
    620 
    -
    621 
    -dictTyConKey :: KnownKey
    622 
    -dictTyConKey                            = mkPreludeTyConUnique 87
    623 
    -
    624 581 
     -- Kind constructors
    625 582 
     liftedTypeKindTyConKey, unliftedTypeKindTyConKey,
    626 583 
       tYPETyConKey, cONSTRAINTTyConKey,
    ... ... @@ -646,42 +603,8 @@ pluginTyConKey, frontendPluginTyConKey :: KnownKey
    646 603 
     pluginTyConKey                          = mkPreludeTyConUnique 102
    647 604 
     frontendPluginTyConKey                  = mkPreludeTyConUnique 103
    648 605
    649 
    -trTyConTyConKey, trModuleTyConKey,
    650 
    -  kindRepTyConKey :: KnownKey
    606 
    +trTyConTyConKey :: KnownKey
    651 607 
     trTyConTyConKey                         = mkPreludeTyConUnique 104
    652 
    -trModuleTyConKey                        = mkPreludeTyConUnique 105
    653 
    -kindRepTyConKey                         = mkPreludeTyConUnique 107
    654 
    -
    655 
    --- Generics (Unique keys)
    656 
    -v1TyConKey, u1TyConKey, par1TyConKey, rec1TyConKey,
    657 
    -  sumTyConKey, prodTyConKey, compTyConKey, rec0TyConKey,
    658 
    -  d1TyConKey, c1TyConKey, s1TyConKey, repTyConKey, rep1TyConKey,
    659 
    -  uAddrTyConKey, uCharTyConKey, uDoubleTyConKey,
    660 
    -  uFloatTyConKey, uIntTyConKey, uWordTyConKey :: KnownKey
    661 
    -
    662 
    -v1TyConKey    = mkPreludeTyConUnique 135
    663 
    -u1TyConKey    = mkPreludeTyConUnique 136
    664 
    -par1TyConKey  = mkPreludeTyConUnique 137
    665 
    -rec1TyConKey  = mkPreludeTyConUnique 138
    666 
    -
    667 
    -sumTyConKey   = mkPreludeTyConUnique 141
    668 
    -prodTyConKey  = mkPreludeTyConUnique 142
    669 
    -compTyConKey  = mkPreludeTyConUnique 143
    670 
    -
    671 
    -rec0TyConKey  = mkPreludeTyConUnique 149
    672 
    -d1TyConKey    = mkPreludeTyConUnique 151
    673 
    -c1TyConKey    = mkPreludeTyConUnique 152
    674 
    -s1TyConKey    = mkPreludeTyConUnique 153
    675 
    -
    676 
    -repTyConKey  = mkPreludeTyConUnique 155
    677 
    -rep1TyConKey = mkPreludeTyConUnique 156
    678 
    -
    679 
    -uAddrTyConKey   = mkPreludeTyConUnique 158
    680 
    -uCharTyConKey   = mkPreludeTyConUnique 159
    681 
    -uDoubleTyConKey = mkPreludeTyConUnique 160
    682 
    -uFloatTyConKey  = mkPreludeTyConUnique 161
    683 
    -uIntTyConKey    = mkPreludeTyConUnique 162
    684 
    -uWordTyConKey   = mkPreludeTyConUnique 163
    685 608
    686 609 
     -- "Unsatisfiable" constraint
    687 610 
     unsatisfiableClassKey :: KnownKey
    ... ... @@ -712,12 +635,6 @@ smallMutableArrayPrimTyConKey = mkPreludeTyConUnique 188
    712 635 
     callStackTyConKey :: KnownKey
    713 636 
     callStackTyConKey = mkPreludeTyConUnique 191
    714 637
    715 
    --- Typeables
    716 
    -someTypeRepTyConKey, someTypeRepDataConKey :: KnownKey
    717 
    -someTypeRepTyConKey   = mkPreludeTyConUnique 193
    718 
    -someTypeRepDataConKey = mkPreludeTyConUnique 194
    719 
    -
    720 
    -
    721 638 
     typeSymbolAppendFamNameKey :: KnownKey
    722 639 
     typeSymbolAppendFamNameKey = mkPreludeTyConUnique 195
    723 640
    ... ... @@ -751,11 +668,10 @@ liftClassKey = mkPreludeClassUnique 200
    751 668 
     ------------- Type-level Symbol, Nat, Char ----------
    752 669 
     --      USES TyConUniques 400-499
    753 670 
     -----------------------------------------------------
    754 
    -typeSymbolKindConNameKey, typeCharKindConNameKey,
    671 
    +typeSymbolKindConNameKey,
    755 672 
       typeNatAddTyFamNameKey, typeNatMulTyFamNameKey, typeNatExpTyFamNameKey,
    756 673 
       typeNatSubTyFamNameKey
    757 674 
       , typeSymbolCmpTyFamNameKey, typeNatCmpTyFamNameKey, typeCharCmpTyFamNameKey
    758 
    -  , typeLeqCharTyFamNameKey
    759 675 
       , typeNatDivTyFamNameKey
    760 676 
       , typeNatModTyFamNameKey
    761 677 
       , typeNatLogTyFamNameKey
    ... ... @@ -764,7 +680,6 @@ typeSymbolKindConNameKey, typeCharKindConNameKey,
    764 680 
       , exceptionContextTyConKey, unsafeUnpackJSStringUtf8ShShKey
    765 681 
       :: KnownKey
    766 682 
     typeSymbolKindConNameKey  = mkPreludeTyConUnique 400
    767 
    -typeCharKindConNameKey    = mkPreludeTyConUnique 401
    768 683 
     typeNatAddTyFamNameKey    = mkPreludeTyConUnique 402
    769 684 
     typeNatMulTyFamNameKey    = mkPreludeTyConUnique 403
    770 685 
     typeNatExpTyFamNameKey    = mkPreludeTyConUnique 404
    ... ... @@ -772,7 +687,6 @@ typeNatSubTyFamNameKey = mkPreludeTyConUnique 405
    772 687 
     typeSymbolCmpTyFamNameKey = mkPreludeTyConUnique 406
    773 688 
     typeNatCmpTyFamNameKey    = mkPreludeTyConUnique 407
    774 689 
     typeCharCmpTyFamNameKey   = mkPreludeTyConUnique 408
    775 
    -typeLeqCharTyFamNameKey   = mkPreludeTyConUnique 409
    776 690 
     typeNatDivTyFamNameKey  = mkPreludeTyConUnique 410
    777 691 
     typeNatModTyFamNameKey  = mkPreludeTyConUnique 411
    778 692 
     typeNatLogTyFamNameKey  = mkPreludeTyConUnique 412
    ... ... @@ -797,10 +711,9 @@ unsafeUnpackJSStringUtf8ShShKey = mkPreludeMiscIdUnique 805
    797 711 
     -}
    798 712
    799 713 
     charDataConKey, consDataConKey, doubleDataConKey, falseDataConKey,
    800 
    -    floatDataConKey, intDataConKey, nilDataConKey,
    801 
    -    ratioDataConKey, stableNameDataConKey, trueDataConKey, wordDataConKey,
    802 
    -    word8DataConKey, ioDataConKey, heqDataConKey,
    803 
    -    eqDataConKey, nothingDataConKey, justDataConKey :: KnownKey
    714 
    +  floatDataConKey, intDataConKey, nilDataConKey, ratioDataConKey,
    715 
    +  trueDataConKey, wordDataConKey, word8DataConKey, heqDataConKey, eqDataConKey,
    716 
    +  nothingDataConKey, justDataConKey :: KnownKey
    804 717
    805 718 
     charDataConKey                          = mkPreludeDataConUnique  1
    806 719 
     consDataConKey                          = mkPreludeDataConUnique  2
    ... ... @@ -814,31 +727,15 @@ eqDataConKey = mkPreludeDataConUnique 9
    814 727 
     nilDataConKey                           = mkPreludeDataConUnique 10
    815 728 
     ratioDataConKey                         = mkPreludeDataConUnique 11
    816 729 
     word8DataConKey                         = mkPreludeDataConUnique 12
    817 
    -stableNameDataConKey                    = mkPreludeDataConUnique 13
    818 730 
     trueDataConKey                          = mkPreludeDataConUnique 14
    819 731 
     wordDataConKey                          = mkPreludeDataConUnique 15
    820 
    -ioDataConKey                            = mkPreludeDataConUnique 16
    821 732 
     heqDataConKey                           = mkPreludeDataConUnique 18
    822 733
    823 
    --- Generic data constructors
    824 
    -crossDataConKey, inlDataConKey, inrDataConKey, genUnitDataConKey :: KnownKey
    825 
    -crossDataConKey                         = mkPreludeDataConUnique 20
    826 
    -inlDataConKey                           = mkPreludeDataConUnique 21
    827 
    -inrDataConKey                           = mkPreludeDataConUnique 22
    828 
    -genUnitDataConKey                       = mkPreludeDataConUnique 23
    829 
    -
    830 
    -leftDataConKey, rightDataConKey :: KnownKey
    831 
    -leftDataConKey                          = mkPreludeDataConUnique 25
    832 
    -rightDataConKey                         = mkPreludeDataConUnique 26
    833 
    -
    834 734 
     ordLTDataConKey, ordEQDataConKey, ordGTDataConKey :: KnownKey
    835 735 
     ordLTDataConKey                         = mkPreludeDataConUnique 27
    836 736 
     ordEQDataConKey                         = mkPreludeDataConUnique 28
    837 737 
     ordGTDataConKey                         = mkPreludeDataConUnique 29
    838 738
    839 
    -mkDictDataConKey :: KnownKey
    840 
    -mkDictDataConKey                        = mkPreludeDataConUnique 30
    841 
    -
    842 739 
     coercibleDataConKey :: KnownKey
    843 740 
     coercibleDataConKey                     = mkPreludeDataConUnique 32
    844 741
    ... ... @@ -848,12 +745,6 @@ staticPtrDataConKey = mkPreludeDataConUnique 33
    848 745 
     staticPtrInfoDataConKey :: KnownKey
    849 746 
     staticPtrInfoDataConKey                 = mkPreludeDataConUnique 34
    850 747
    851 
    -trTyConDataConKey, trModuleDataConKey,
    852 
    -  trNameSDataConKey :: KnownKey
    853 
    -trTyConDataConKey                       = mkPreludeDataConUnique 41
    854 
    -trModuleDataConKey                      = mkPreludeDataConUnique 43
    855 
    -trNameSDataConKey                       = mkPreludeDataConUnique 45
    856 
    -
    857 748 
     typeErrorTextDataConKey,
    858 749 
       typeErrorAppendDataConKey,
    859 750 
       typeErrorVAppendDataConKey,
    ... ... @@ -864,30 +755,6 @@ typeErrorAppendDataConKey = mkPreludeDataConUnique 51
    864 755 
     typeErrorVAppendDataConKey              = mkPreludeDataConUnique 52
    865 756 
     typeErrorShowTypeDataConKey             = mkPreludeDataConUnique 53
    866 757
    867 
    -prefixIDataConKey, infixIDataConKey, leftAssociativeDataConKey,
    868 
    -    rightAssociativeDataConKey, notAssociativeDataConKey,
    869 
    -    sourceUnpackDataConKey, sourceNoUnpackDataConKey,
    870 
    -    noSourceUnpackednessDataConKey, sourceLazyDataConKey,
    871 
    -    sourceStrictDataConKey, noSourceStrictnessDataConKey,
    872 
    -    decidedLazyDataConKey, decidedStrictDataConKey, decidedUnpackDataConKey,
    873 
    -    metaDataDataConKey, metaConsDataConKey, metaSelDataConKey :: KnownKey
    874 
    -prefixIDataConKey                       = mkPreludeDataConUnique 54
    875 
    -infixIDataConKey                        = mkPreludeDataConUnique 55
    876 
    -leftAssociativeDataConKey               = mkPreludeDataConUnique 56
    877 
    -rightAssociativeDataConKey              = mkPreludeDataConUnique 57
    878 
    -notAssociativeDataConKey                = mkPreludeDataConUnique 58
    879 
    -sourceUnpackDataConKey                  = mkPreludeDataConUnique 59
    880 
    -sourceNoUnpackDataConKey                = mkPreludeDataConUnique 60
    881 
    -noSourceUnpackednessDataConKey          = mkPreludeDataConUnique 61
    882 
    -sourceLazyDataConKey                    = mkPreludeDataConUnique 62
    883 
    -sourceStrictDataConKey                  = mkPreludeDataConUnique 63
    884 
    -noSourceStrictnessDataConKey            = mkPreludeDataConUnique 64
    885 
    -decidedLazyDataConKey                   = mkPreludeDataConUnique 65
    886 
    -decidedStrictDataConKey                 = mkPreludeDataConUnique 66
    887 
    -decidedUnpackDataConKey                 = mkPreludeDataConUnique 67
    888 
    -metaDataDataConKey                      = mkPreludeDataConUnique 68
    889 
    -metaConsDataConKey                      = mkPreludeDataConUnique 69
    890 
    -metaSelDataConKey                       = mkPreludeDataConUnique 70
    891 758
    892 759 
     vecRepDataConKey, sumRepDataConKey,
    893 760 
       tupleRepDataConKey, boxedRepDataConKey :: KnownKey
    ... ... @@ -924,21 +791,7 @@ vecElemDataConKeys :: [KnownKey]
    924 791 
     vecElemDataConKeys = map mkPreludeDataConUnique [96..105]
    925 792
    926 793 
     -- Typeable things
    927 
    -kindRepTyConAppDataConKey, kindRepVarDataConKey, kindRepAppDataConKey,
    928 
    -    kindRepFunDataConKey, kindRepTYPEDataConKey,
    929 
    -    kindRepTypeLitSDataConKey
    930 
    -    :: KnownKey
    931 
    -kindRepTyConAppDataConKey = mkPreludeDataConUnique 106
    932 
    -kindRepVarDataConKey      = mkPreludeDataConUnique 107
    933 
    -kindRepAppDataConKey      = mkPreludeDataConUnique 108
    934 
    -kindRepFunDataConKey      = mkPreludeDataConUnique 109
    935 
    -kindRepTYPEDataConKey     = mkPreludeDataConUnique 110
    936 
    -kindRepTypeLitSDataConKey = mkPreludeDataConUnique 111
    937 
    -
    938 
    -typeLitSymbolDataConKey, typeLitNatDataConKey, typeLitCharDataConKey :: KnownKey
    939 
    -typeLitSymbolDataConKey   = mkPreludeDataConUnique 113
    940 
    -typeLitNatDataConKey      = mkPreludeDataConUnique 114
    941 
    -typeLitCharDataConKey     = mkPreludeDataConUnique 115
    794 
    +
    942 795
    943 796 
     -- Unsafe equality
    944 797 
     unsafeReflDataConKey :: KnownKey
    ... ... @@ -974,7 +827,7 @@ naturalNBDataConKey = mkPreludeDataConUnique 124
    974 827 
     -}
    975 828
    976 829 
     wildCardKey, absentErrorIdKey, absentConstraintErrorIdKey, augmentIdKey,
    977 
    -    buildIdKey, foldrIdKey, recSelErrorIdKey,
    830 
    +    buildIdKey, recSelErrorIdKey,
    978 831 
         seqIdKey, eqStringIdKey,
    979 832 
         noMethodBindingErrorIdKey, nonExhaustiveGuardsErrorIdKey,
    980 833 
         impossibleErrorIdKey, impossibleConstraintErrorIdKey,
    ... ... @@ -983,15 +836,13 @@ wildCardKey, absentErrorIdKey, absentConstraintErrorIdKey, augmentIdKey,
    983 836 
         unpackCStringUtf8IdKey, unpackCStringAppendUtf8IdKey, unpackCStringFoldrUtf8IdKey,
    984 837 
         unpackCStringIdKey, unpackCStringAppendIdKey, unpackCStringFoldrIdKey,
    985 838 
         typeErrorIdKey, divIntIdKey, modIntIdKey,
    986 
    -    absentSumFieldErrorIdKey, cstringLengthIdKey, composeIdKey
    987 
    -    :: KnownKey
    839 
    +    absentSumFieldErrorIdKey, cstringLengthIdKey :: KnownKey
    988 840
    989 841 
     wildCardKey                    = mkPreludeMiscIdUnique  0  -- See Note [WildCard binders]
    990 842 
     absentErrorIdKey               = mkPreludeMiscIdUnique  1
    991 843 
     absentConstraintErrorIdKey     = mkPreludeMiscIdUnique  2
    992 844 
     augmentIdKey                   = mkPreludeMiscIdUnique  3
    993 845 
     buildIdKey                     = mkPreludeMiscIdUnique  5
    994 
    -foldrIdKey                     = mkPreludeMiscIdUnique  6
    995 846 
     recSelErrorIdKey               = mkPreludeMiscIdUnique  7
    996 847 
     seqIdKey                       = mkPreludeMiscIdUnique  8
    997 848 
     absentSumFieldErrorIdKey       = mkPreludeMiscIdUnique  9
    ... ... @@ -1017,15 +868,8 @@ typeErrorIdKey = mkPreludeMiscIdUnique 25
    1017 868 
     divIntIdKey                   = mkPreludeMiscIdUnique 26
    1018 869 
     modIntIdKey                   = mkPreludeMiscIdUnique 27
    1019 870 
     cstringLengthIdKey            = mkPreludeMiscIdUnique 28
    1020 
    -composeIdKey                  = mkPreludeMiscIdUnique 29
    1021 
    -
    1022 
    -bindIOIdKey, returnIOIdKey, newStablePtrIdKey,
    1023 
    -    printIdKey, nullAddrIdKey, voidArgIdKey,
    1024 
    -    otherwiseIdKey, assertIdKey :: KnownKey
    1025 
    -bindIOIdKey                   = mkPreludeMiscIdUnique 34
    1026 
    -returnIOIdKey                 = mkPreludeMiscIdUnique 35
    1027 
    -newStablePtrIdKey             = mkPreludeMiscIdUnique 36
    1028 
    -printIdKey                    = mkPreludeMiscIdUnique 37
    871 
    +
    872 
    +nullAddrIdKey, voidArgIdKey, otherwiseIdKey, assertIdKey :: KnownKey
    1029 873 
     nullAddrIdKey                 = mkPreludeMiscIdUnique 39
    1030 874 
     voidArgIdKey                  = mkPreludeMiscIdUnique 40
    1031 875 
     otherwiseIdKey                = mkPreludeMiscIdUnique 43
    ... ... @@ -1035,28 +879,22 @@ leftSectionKey, rightSectionKey :: KnownKey
    1035 879 
     leftSectionKey                = mkPreludeMiscIdUnique 45
    1036 880 
     rightSectionKey               = mkPreludeMiscIdUnique 46
    1037 881
    1038 
    -rootMainKey, runMainKey :: KnownKey
    882 
    +rootMainKey :: KnownKey
    1039 883 
     rootMainKey                   = mkPreludeMiscIdUnique 101
    1040 
    -runMainKey                    = mkPreludeMiscIdUnique 102
    1041 884
    1042 
    -thenIOIdKey, lazyIdKey, oneShotKey, runRWKey :: KnownKey
    1043 
    -thenIOIdKey                   = mkPreludeMiscIdUnique 103
    885 
    +lazyIdKey, oneShotKey, runRWKey :: KnownKey
    1044 886 
     lazyIdKey                     = mkPreludeMiscIdUnique 104
    1045 887 
     oneShotKey                    = mkPreludeMiscIdUnique 106
    1046 888 
     runRWKey                      = mkPreludeMiscIdUnique 107
    1047 889
    1048 
    -traceKey :: KnownKey
    1049 
    -traceKey                      = mkPreludeMiscIdUnique 108
    1050 890
    1051 891 
     nospecIdKey :: KnownKey
    1052 892 
     nospecIdKey                   = mkPreludeMiscIdUnique 109
    1053 893
    1054 894 
     inlineIdKey, noinlineIdKey, noinlineConstraintIdKey :: KnownKey
    1055 895 
     inlineIdKey                   = mkPreludeMiscIdUnique 120
    1056 
    --- see below
    1057 896
    1058 
    -mapIdKey, dollarIdKey, coercionTokenIdKey, considerAccessibleIdKey :: KnownKey
    1059 
    -mapIdKey                = mkPreludeMiscIdUnique 121
    897 
    +dollarIdKey, coercionTokenIdKey, considerAccessibleIdKey :: KnownKey
    1060 898 
     dollarIdKey             = mkPreludeMiscIdUnique 123
    1061 899 
     coercionTokenIdKey      = mkPreludeMiscIdUnique 124
    1062 900 
     considerAccessibleIdKey = mkPreludeMiscIdUnique 125
    ... ... @@ -1080,60 +918,17 @@ coerceKey = mkPreludeMiscIdUnique 135
    1080 918 
     unboundKey :: KnownKey
    1081 919 
     unboundKey             = mkPreludeMiscIdUnique 136
    1082 920
    1083 
    -fromIntegerClassOpKey, minusClassOpKey, fromRationalClassOpKey,
    1084 
    -    enumFromClassOpKey, enumFromThenClassOpKey, enumFromToClassOpKey,
    1085 
    -    enumFromThenToClassOpKey, negateClassOpKey,
    1086 
    -    bindMClassOpKey, thenMClassOpKey, returnMClassOpKey, fmapClassOpKey
    1087 
    -    :: KnownKey
    1088 
    -fromIntegerClassOpKey         = mkPreludeMiscIdUnique 140
    1089 
    -minusClassOpKey               = mkPreludeMiscIdUnique 141
    1090 
    -fromRationalClassOpKey        = mkPreludeMiscIdUnique 142
    1091 
    -enumFromClassOpKey            = mkPreludeMiscIdUnique 143
    1092 
    -enumFromThenClassOpKey        = mkPreludeMiscIdUnique 144
    1093 
    -enumFromToClassOpKey          = mkPreludeMiscIdUnique 145
    1094 
    -enumFromThenToClassOpKey      = mkPreludeMiscIdUnique 146
    1095 
    -
    1096 
    -eqClassOpKey, geClassOpKey, leClassOpKey,
    1097 
    -   ltClassOpKey, gtClassOpKey, compareClassOpKey :: KnownKey
    1098 
    -eqClassOpKey                  = mkPreludeMiscIdUnique 147
    1099 
    -geClassOpKey                  = mkPreludeMiscIdUnique 148
    1100 
    -leClassOpKey                  = mkPreludeMiscIdUnique 149
    1101 
    -ltClassOpKey                  = mkPreludeMiscIdUnique 150
    1102 
    -gtClassOpKey                  = mkPreludeMiscIdUnique 151
    1103 
    -compareClassOpKey             = mkPreludeMiscIdUnique 152
    1104 
    -
    1105 
    -
    1106 
    -negateClassOpKey              = mkPreludeMiscIdUnique 153
    921 
    +
    922 
    +
    923 
    +bindMClassOpKey, thenMClassOpKey, returnMClassOpKey :: KnownKey
    1107 924 
     bindMClassOpKey               = mkPreludeMiscIdUnique 154
    1108 925 
     thenMClassOpKey               = mkPreludeMiscIdUnique 155 -- (>>)
    1109 
    -fmapClassOpKey                = mkPreludeMiscIdUnique 156
    1110 926 
     returnMClassOpKey             = mkPreludeMiscIdUnique 157
    1111 927
    1112 
    --- Recursive do notation
    1113 
    -mfixIdKey :: KnownKey
    1114 
    -mfixIdKey       = mkPreludeMiscIdUnique 158
    1115 
    -
    1116 928 
     -- MonadFail operations
    1117 929 
     failMClassOpKey :: KnownKey
    1118 930 
     failMClassOpKey = mkPreludeMiscIdUnique 159
    1119 931
    1120 
    --- fromLabel
    1121 
    -fromLabelClassOpKey :: KnownKey
    1122 
    -fromLabelClassOpKey = mkPreludeMiscIdUnique 160
    1123 
    -
    1124 
    --- Arrow notation
    1125 
    -arrAIdKey, composeAIdKey, firstAIdKey, appAIdKey, choiceAIdKey,
    1126 
    -    loopAIdKey :: KnownKey
    1127 
    -arrAIdKey       = mkPreludeMiscIdUnique 180
    1128 
    -composeAIdKey   = mkPreludeMiscIdUnique 181 -- >>>
    1129 
    -firstAIdKey     = mkPreludeMiscIdUnique 182
    1130 
    -appAIdKey       = mkPreludeMiscIdUnique 183
    1131 
    -choiceAIdKey    = mkPreludeMiscIdUnique 184 --  |||
    1132 
    -loopAIdKey      = mkPreludeMiscIdUnique 185
    1133 
    -
    1134 
    -fromStringClassOpKey :: KnownKey
    1135 
    -fromStringClassOpKey = mkPreludeMiscIdUnique 186
    1136 
    -
    1137 932 
     -- Conversion functions
    1138 933 
     fromIntegralIdKey, realToFracIdKey, toIntegerClassOpKey, toRationalClassOpKey :: KnownKey
    1139 934 
     fromIntegralIdKey    = mkPreludeMiscIdUnique 190
    ... ... @@ -1141,16 +936,8 @@ realToFracIdKey = mkPreludeMiscIdUnique 191
    1141 936 
     toIntegerClassOpKey  = mkPreludeMiscIdUnique 192
    1142 937 
     toRationalClassOpKey = mkPreludeMiscIdUnique 193
    1143 938
    1144 
    --- Monad comprehensions
    1145 
    -guardMIdKey, mzipIdKey :: KnownKey
    1146 
    -guardMIdKey     = mkPreludeMiscIdUnique 194
    1147 
    -mzipIdKey       = mkPreludeMiscIdUnique 196
    1148 
    -
    1149 939 
     -- Overloaded lists
    1150 
    -isListClassKey, fromListClassOpKey, fromListNClassOpKey, toListClassOpKey :: KnownKey
    1151 
    -isListClassKey      = mkPreludeMiscIdUnique 198
    1152 
    -fromListClassOpKey  = mkPreludeMiscIdUnique 199
    1153 
    -fromListNClassOpKey = mkPreludeMiscIdUnique 500
    940 
    +toListClassOpKey :: KnownKey
    1154 941 
     toListClassOpKey    = mkPreludeMiscIdUnique 501
    1155 942
    1156 943 
     proxyHashKey :: KnownKey
    ... ... @@ -1160,37 +947,6 @@ proxyHashKey = mkPreludeMiscIdUnique 502
    1160 947 
     --      GHC.Builtin.TH: USES IdUniques 200-499
    1161 948 
     -----------------------------------------------------
    1162 949
    1163 
    --- Used to make `Typeable` dictionaries
    1164 
    -mkTyConKey
    1165 
    -  , mkTrConKey
    1166 
    -  , mkTrAppCheckedKey
    1167 
    -  , mkTrFunKey
    1168 
    -  , typeNatTypeRepKey
    1169 
    -  , typeSymbolTypeRepKey
    1170 
    -  , typeCharTypeRepKey
    1171 
    -  , typeRepIdKey
    1172 
    -  :: KnownKey
    1173 
    -mkTyConKey            = mkPreludeMiscIdUnique 503
    1174 
    -mkTrConKey            = mkPreludeMiscIdUnique 505
    1175 
    -mkTrAppCheckedKey     = mkPreludeMiscIdUnique 506
    1176 
    -typeNatTypeRepKey     = mkPreludeMiscIdUnique 507
    1177 
    -typeSymbolTypeRepKey  = mkPreludeMiscIdUnique 508
    1178 
    -typeCharTypeRepKey    = mkPreludeMiscIdUnique 509
    1179 
    -typeRepIdKey          = mkPreludeMiscIdUnique 510
    1180 
    -mkTrFunKey            = mkPreludeMiscIdUnique 511
    1181 
    -
    1182 
    --- KindReps for common cases
    1183 
    -starKindRepKey, starArrStarKindRepKey, starArrStarArrStarKindRepKey, constraintKindRepKey :: KnownKey
    1184 
    -starKindRepKey               = mkPreludeMiscIdUnique 520
    1185 
    -starArrStarKindRepKey        = mkPreludeMiscIdUnique 521
    1186 
    -starArrStarArrStarKindRepKey = mkPreludeMiscIdUnique 522
    1187 
    -constraintKindRepKey         = mkPreludeMiscIdUnique 523
    1188 
    -
    1189 
    --- Dynamic
    1190 
    -toDynIdKey :: KnownKey
    1191 
    -toDynIdKey            = mkPreludeMiscIdUnique 530
    1192 
    -
    1193 
    -
    1194 950 
     heqSCSelIdKey, eqSCSelIdKey, coercibleSCSelIdKey :: KnownKey
    1195 951 
     eqSCSelIdKey        = mkPreludeMiscIdUnique 551
    1196 952 
     heqSCSelIdKey       = mkPreludeMiscIdUnique 552
    ... ... @@ -1199,13 +955,9 @@ coercibleSCSelIdKey = mkPreludeMiscIdUnique 553
    1199 955 
     sappendClassOpKey :: KnownKey
    1200 956 
     sappendClassOpKey = mkPreludeMiscIdUnique 554
    1201 957
    1202 
    -memptyClassOpKey, mappendClassOpKey, mconcatClassOpKey :: KnownKey
    1203 
    -memptyClassOpKey  = mkPreludeMiscIdUnique 555
    958 
    +mappendClassOpKey :: KnownKey
    1204 959 
     mappendClassOpKey = mkPreludeMiscIdUnique 556
    1205 
    -mconcatClassOpKey = mkPreludeMiscIdUnique 557
    1206 960
    1207 
    -fromStaticPtrClassOpKey :: KnownKey
    1208 
    -fromStaticPtrClassOpKey = mkPreludeMiscIdUnique 560
    1209 961
    1210 962 
     makeStaticKey :: KnownKey
    1211 963 
     makeStaticKey = mkPreludeMiscIdUnique 561
    ... ... @@ -1346,13 +1098,3 @@ naturalLcmIdKey = mkPreludeMiscIdUnique 679
    1346 1098 
     bignatEqIdKey              = mkPreludeMiscIdUnique 691
    1347 1099 
     bignatCompareIdKey         = mkPreludeMiscIdUnique 692
    1348 1100 
     bignatCompareWordIdKey     = mkPreludeMiscIdUnique 693
    1349 
    -
    1350 
    -
    1351 
    -------------------------------------------------------
    1352 
    --- ghci optimization for big rationals 700-749 uniques
    1353 
    -------------------------------------------------------
    1354 
    -
    1355 
    --- Creating rationals at runtime.
    1356 
    -mkRationalBase2IdKey, mkRationalBase10IdKey :: KnownKey
    1357 
    -mkRationalBase2IdKey  = mkPreludeMiscIdUnique 700
    1358 
    -mkRationalBase10IdKey = mkPreludeMiscIdUnique 701 :: KnownKey

  • compiler/GHC/Builtin/Modules.hs
    ... ... @@ -21,119 +21,42 @@ import Language.Haskell.Syntax.Module.Name
    21 21 
     --MetaHaskell Extension Add a new module here
    22 22 
     -}
    23 23
    24 
    -gHC_PRIM, gHC_PRIM_PANIC,
    25 
    -    gHC_TYPES, gHC_INTERNAL_DATA_DATA, gHC_MAGIC, gHC_MAGIC_DICT,
    26 
    -    gHC_CLASSES, gHC_CLASSES_IP, gHC_PRIMOPWRAPPERS :: Module
    24 
    +gHC_PRIM, gHC_PRIM_PANIC, gHC_TYPES, gHC_MAGIC,
    25 
    +  gHC_MAGIC_DICT, gHC_CLASSES, gHC_PRIMOPWRAPPERS :: Module
    27 26 
     gHC_PRIM           = mkGhcInternalModule (fsLit "GHC.Internal.Prim")   -- Primitive types and values
    28 27 
     gHC_PRIM_PANIC     = mkGhcInternalModule (fsLit "GHC.Internal.Prim.Panic")
    29 28 
     gHC_TYPES          = mkGhcInternalModule (fsLit "GHC.Internal.Types")
    30 29 
     gHC_MAGIC          = mkGhcInternalModule (fsLit "GHC.Internal.Magic")
    31 30 
     gHC_MAGIC_DICT     = mkGhcInternalModule (fsLit "GHC.Internal.Magic.Dict")
    32 31 
     gHC_CLASSES        = mkGhcInternalModule (fsLit "GHC.Internal.Classes")
    33 
    -gHC_CLASSES_IP     = mkGhcInternalModule (fsLit "GHC.Internal.Classes.IP")
    34 32 
     gHC_PRIMOPWRAPPERS = mkGhcInternalModule (fsLit "GHC.Internal.PrimopWrappers")
    35 33 
     gHC_INTERNAL_TUPLE = mkGhcInternalModule (fsLit "GHC.Internal.Tuple")
    36 34
    37 
    -gHC_INTERNAL_CONTROL_MONAD_ZIP :: Module
    38 
    -gHC_INTERNAL_CONTROL_MONAD_ZIP  = mkGhcInternalModule (fsLit "GHC.Internal.Control.Monad.Zip")
    39 
    -
    40 35 
     gHC_INTERNAL_NUM_INTEGER, gHC_INTERNAL_NUM_NATURAL, gHC_INTERNAL_NUM_BIGNAT :: Module
    41 36 
     gHC_INTERNAL_NUM_INTEGER            = mkGhcInternalModule (fsLit "GHC.Internal.Bignum.Integer")
    42 37 
     gHC_INTERNAL_NUM_NATURAL            = mkGhcInternalModule (fsLit "GHC.Internal.Bignum.Natural")
    43 38 
     gHC_INTERNAL_NUM_BIGNAT             = mkGhcInternalModule (fsLit "GHC.Internal.Bignum.BigNat")
    44 39
    45 
    -gHC_INTERNAL_BASE, gHC_INTERNAL_ENUM,
    46 
    -    gHC_INTERNAL_GHCI, gHC_INTERNAL_GHCI_HELPERS, gHC_INTERNAL_DATA_STRING,
    47 
    -    gHC_INTERNAL_SHOW, gHC_INTERNAL_READ, gHC_INTERNAL_NUM, gHC_INTERNAL_MAYBE,
    48 
    -    gHC_INTERNAL_LIST, gHC_INTERNAL_TUPLE, gHC_INTERNAL_DATA_EITHER,
    49 
    -    gHC_INTERNAL_DATA_FOLDABLE, gHC_INTERNAL_DATA_TRAVERSABLE,
    50 
    -    gHC_INTERNAL_EXCEPTION_CONTEXT,
    51 
    -    gHC_INTERNAL_CONC, gHC_INTERNAL_IO, gHC_INTERNAL_IO_Exception,
    52 
    -    gHC_INTERNAL_ST, gHC_INTERNAL_IX, gHC_INTERNAL_STABLE, gHC_INTERNAL_PTR, gHC_INTERNAL_ERR, gHC_INTERNAL_REAL,
    53 
    -    gHC_INTERNAL_FLOAT, gHC_INTERNAL_TOP_HANDLER, gHC_INTERNAL_SYSTEM_IO, gHC_INTERNAL_DYNAMIC,
    54 
    -    gHC_INTERNAL_TYPEABLE, gHC_INTERNAL_TYPEABLE_INTERNAL, gHC_INTERNAL_GENERICS,
    55 
    -    gHC_INTERNAL_READ_PREC, gHC_INTERNAL_LEX, gHC_INTERNAL_INT, gHC_INTERNAL_WORD, gHC_INTERNAL_MONAD, gHC_INTERNAL_MONAD_FIX,  gHC_INTERNAL_MONAD_FAIL,
    56 
    -    gHC_INTERNAL_ARROW, gHC_INTERNAL_DESUGAR, gHC_INTERNAL_RANDOM, gHC_INTERNAL_EXTS,
    57 
    -    gHC_INTERNAL_CONTROL_EXCEPTION_BASE, gHC_INTERNAL_TYPEERROR, gHC_INTERNAL_TYPELITS, gHC_INTERNAL_TYPELITS_INTERNAL,
    58 
    -    gHC_INTERNAL_TYPENATS, gHC_INTERNAL_TYPENATS_INTERNAL,
    59 
    -    gHC_INTERNAL_DATA_COERCE, gHC_INTERNAL_DEBUG_TRACE, gHC_INTERNAL_UNSAFE_COERCE, gHC_INTERNAL_FOREIGN_C_CONSTPTR,
    60 
    -    gHC_INTERNAL_JS_PRIM, gHC_INTERNAL_WASM_PRIM_TYPES :: Module
    40 
    +gHC_INTERNAL_BASE, gHC_INTERNAL_GHCI_HELPERS, gHC_INTERNAL_MAYBE,
    41 
    +  gHC_INTERNAL_TUPLE, gHC_INTERNAL_DATA_TRAVERSABLE, gHC_INTERNAL_ERR,
    42 
    +  gHC_INTERNAL_WORD, gHC_INTERNAL_MONAD_FAIL,
    43 
    +  gHC_INTERNAL_CONTROL_EXCEPTION_BASE, gHC_INTERNAL_TYPEERROR,
    44 
    +  gHC_INTERNAL_TYPELITS, gHC_INTERNAL_TYPELITS_INTERNAL, gHC_INTERNAL_TYPENATS,
    45 
    +  gHC_INTERNAL_TYPENATS_INTERNAL, gHC_INTERNAL_UNSAFE_COERCE :: Module
    61 46 
     gHC_INTERNAL_BASE                   = mkGhcInternalModule (fsLit "GHC.Internal.Base")
    62 
    -gHC_INTERNAL_ENUM                   = mkGhcInternalModule (fsLit "GHC.Internal.Enum")
    63 
    -gHC_INTERNAL_GHCI                   = mkGhcInternalModule (fsLit "GHC.Internal.GHCi")
    64 47 
     gHC_INTERNAL_GHCI_HELPERS           = mkGhcInternalModule (fsLit "GHC.Internal.GHCi.Helpers")
    65 
    -gHC_INTERNAL_SHOW                   = mkGhcInternalModule (fsLit "GHC.Internal.Show")
    66 
    -gHC_INTERNAL_READ                   = mkGhcInternalModule (fsLit "GHC.Internal.Read")
    67 
    -gHC_INTERNAL_NUM                    = mkGhcInternalModule (fsLit "GHC.Internal.Num")
    68 48 
     gHC_INTERNAL_MAYBE                  = mkGhcInternalModule (fsLit "GHC.Internal.Maybe")
    69 
    -gHC_INTERNAL_LIST                   = mkGhcInternalModule (fsLit "GHC.Internal.List")
    70 
    -gHC_INTERNAL_DATA_EITHER            = mkGhcInternalModule (fsLit "GHC.Internal.Data.Either")
    71 
    -gHC_INTERNAL_DATA_STRING            = mkGhcInternalModule (fsLit "GHC.Internal.Data.String")
    72 
    -gHC_INTERNAL_DATA_FOLDABLE          = mkGhcInternalModule (fsLit "GHC.Internal.Data.Foldable")
    73 49 
     gHC_INTERNAL_DATA_TRAVERSABLE       = mkGhcInternalModule (fsLit "GHC.Internal.Data.Traversable")
    74 
    -gHC_INTERNAL_CONC                   = mkGhcInternalModule (fsLit "GHC.Internal.GHC.Conc")
    75 
    -gHC_INTERNAL_IO                     = mkGhcInternalModule (fsLit "GHC.Internal.IO")
    76 
    -gHC_INTERNAL_IO_Exception           = mkGhcInternalModule (fsLit "GHC.Internal.IO.Exception")
    77 
    -gHC_INTERNAL_ST                     = mkGhcInternalModule (fsLit "GHC.Internal.ST")
    78 
    -gHC_INTERNAL_IX                     = mkGhcInternalModule (fsLit "GHC.Internal.Ix")
    79 
    -gHC_INTERNAL_STABLE                 = mkGhcInternalModule (fsLit "GHC.Internal.Stable")
    80 
    -gHC_INTERNAL_PTR                    = mkGhcInternalModule (fsLit "GHC.Internal.Ptr")
    81 50 
     gHC_INTERNAL_ERR                    = mkGhcInternalModule (fsLit "GHC.Internal.Err")
    82 
    -gHC_INTERNAL_REAL                   = mkGhcInternalModule (fsLit "GHC.Internal.Real")
    83 
    -gHC_INTERNAL_FLOAT                  = mkGhcInternalModule (fsLit "GHC.Internal.Float")
    84 
    -gHC_INTERNAL_TOP_HANDLER            = mkGhcInternalModule (fsLit "GHC.Internal.TopHandler")
    85 
    -gHC_INTERNAL_SYSTEM_IO              = mkGhcInternalModule (fsLit "GHC.Internal.System.IO")
    86 
    -gHC_INTERNAL_DYNAMIC                = mkGhcInternalModule (fsLit "GHC.Internal.Data.Dynamic")
    87 
    -gHC_INTERNAL_TYPEABLE               = mkGhcInternalModule (fsLit "GHC.Internal.Data.Typeable")
    88 
    -gHC_INTERNAL_TYPEABLE_INTERNAL      = mkGhcInternalModule (fsLit "GHC.Internal.Data.Typeable.Internal")
    89 
    -gHC_INTERNAL_DATA_DATA              = mkGhcInternalModule (fsLit "GHC.Internal.Data.Data")
    90 
    -gHC_INTERNAL_READ_PREC              = mkGhcInternalModule (fsLit "GHC.Internal.Text.ParserCombinators.ReadPrec")
    91 
    -gHC_INTERNAL_LEX                    = mkGhcInternalModule (fsLit "GHC.Internal.Text.Read.Lex")
    92 
    -gHC_INTERNAL_INT                    = mkGhcInternalModule (fsLit "GHC.Internal.Int")
    93 51 
     gHC_INTERNAL_WORD                   = mkGhcInternalModule (fsLit "GHC.Internal.Word")
    94 
    -gHC_INTERNAL_MONAD                  = mkGhcInternalModule (fsLit "GHC.Internal.Control.Monad")
    95 
    -gHC_INTERNAL_MONAD_FIX              = mkGhcInternalModule (fsLit "GHC.Internal.Control.Monad.Fix")
    96 52 
     gHC_INTERNAL_MONAD_FAIL             = mkGhcInternalModule (fsLit "GHC.Internal.Control.Monad.Fail")
    97 
    -gHC_INTERNAL_ARROW                  = mkGhcInternalModule (fsLit "GHC.Internal.Control.Arrow")
    98 
    -gHC_INTERNAL_DESUGAR                = mkGhcInternalModule (fsLit "GHC.Internal.Desugar")
    99 
    -gHC_INTERNAL_RANDOM                 = mkGhcInternalModule (fsLit "GHC.Internal.System.Random")
    100 
    -gHC_INTERNAL_EXTS                   = mkGhcInternalModule (fsLit "GHC.Internal.Exts")
    101 53 
     gHC_INTERNAL_CONTROL_EXCEPTION_BASE = mkGhcInternalModule (fsLit "GHC.Internal.Control.Exception.Base")
    102 
    -gHC_INTERNAL_EXCEPTION_CONTEXT      = mkGhcInternalModule (fsLit "GHC.Internal.Exception.Context")
    103 
    -gHC_INTERNAL_GENERICS               = mkGhcInternalModule (fsLit "GHC.Internal.Generics")
    104 54 
     gHC_INTERNAL_TYPEERROR              = mkGhcInternalModule (fsLit "GHC.Internal.TypeError")
    105 55 
     gHC_INTERNAL_TYPELITS               = mkGhcInternalModule (fsLit "GHC.Internal.TypeLits")
    106 56 
     gHC_INTERNAL_TYPELITS_INTERNAL      = mkGhcInternalModule (fsLit "GHC.Internal.TypeLits.Internal")
    107 57 
     gHC_INTERNAL_TYPENATS               = mkGhcInternalModule (fsLit "GHC.Internal.TypeNats")
    108 58 
     gHC_INTERNAL_TYPENATS_INTERNAL      = mkGhcInternalModule (fsLit "GHC.Internal.TypeNats.Internal")
    109 
    -gHC_INTERNAL_DATA_COERCE            = mkGhcInternalModule (fsLit "GHC.Internal.Data.Coerce")
    110 
    -gHC_INTERNAL_DEBUG_TRACE            = mkGhcInternalModule (fsLit "GHC.Internal.Debug.Trace")
    111 59 
     gHC_INTERNAL_UNSAFE_COERCE          = mkGhcInternalModule (fsLit "GHC.Internal.Unsafe.Coerce")
    112 
    -gHC_INTERNAL_FOREIGN_C_CONSTPTR     = mkGhcInternalModule (fsLit "GHC.Internal.Foreign.C.ConstPtr")
    113 
    -gHC_INTERNAL_JS_PRIM                = mkGhcInternalModule (fsLit "GHC.Internal.JS.Prim")
    114 
    -gHC_INTERNAL_WASM_PRIM_TYPES        = mkGhcInternalModule (fsLit "GHC.Internal.Wasm.Prim.Types")
    115 
    -
    116 
    -gHC_INTERNAL_SRCLOC :: Module
    117 
    -gHC_INTERNAL_SRCLOC = mkGhcInternalModule (fsLit "GHC.Internal.SrcLoc")
    118 
    -
    119 
    -gHC_INTERNAL_STACK, gHC_INTERNAL_STACK_TYPES :: Module
    120 
    -gHC_INTERNAL_STACK = mkGhcInternalModule (fsLit "GHC.Internal.Stack")
    121 
    -gHC_INTERNAL_STACK_TYPES = mkGhcInternalModule (fsLit "GHC.Internal.Stack.Types")
    122 
    -
    123 
    -gHC_INTERNAL_STATICPTR :: Module
    124 
    -gHC_INTERNAL_STATICPTR = mkGhcInternalModule (fsLit "GHC.Internal.StaticPtr")
    125 
    -
    126 
    -gHC_INTERNAL_STATICPTR_INTERNAL :: Module
    127 
    -gHC_INTERNAL_STATICPTR_INTERNAL = mkGhcInternalModule (fsLit "GHC.Internal.StaticPtr.Internal")
    128 
    -
    129 
    -gHC_INTERNAL_FINGERPRINT_TYPE :: Module
    130 
    -gHC_INTERNAL_FINGERPRINT_TYPE = mkGhcInternalModule (fsLit "GHC.Internal.Fingerprint.Type")
    131 
    -
    132 
    -gHC_INTERNAL_OVER_LABELS :: Module
    133 
    -gHC_INTERNAL_OVER_LABELS = mkGhcInternalModule (fsLit "GHC.Internal.OverloadedLabels")
    134 
    -
    135 
    -gHC_INTERNAL_RECORDS :: Module
    136 
    -gHC_INTERNAL_RECORDS = mkGhcInternalModule (fsLit "GHC.Internal.Records")
    137 60
    138 61 
     rOOT_MAIN :: Module
    139 62 
     rOOT_MAIN       = mkMainModule (fsLit ":Main") -- Root module for initialisation

  • compiler/GHC/Builtin/TH.hs
    ... ... @@ -28,15 +28,10 @@ liftLib = mkTHModule (fsLit "GHC.Internal.TH.Lift")
    28 28 
     mkTHModule :: FastString -> Module
    29 29 
     mkTHModule m = mkModule ghcInternalUnit (mkModuleNameFS m)
    30 30
    31 
    -libFun, libTc, thFun, thTc, thCon, liftFun, thMonadTc, thMonadCls, thMonadFun :: FastString -> Unique -> Name
    31 
    +libFun, thFun, thCon, thMonadFun :: FastString -> Unique -> Name
    32 32 
     libFun = mk_known_key_name varName  thLib
    33 
    -libTc  = mk_known_key_name tcName   thLib
    34 33 
     thFun  = mk_known_key_name varName  thSyn
    35 
    -thTc   = mk_known_key_name tcName   thSyn
    36 34 
     thCon  = mk_known_key_name dataName thSyn
    37 
    -liftFun = mk_known_key_name varName liftLib
    38 
    -thMonadTc  = mk_known_key_name tcName thMonad
    39 
    -thMonadCls = mk_known_key_name clsName thMonad
    40 35 
     thMonadFun = mk_known_key_name varName thMonad
    41 36
    42 37 
     thMonadFld :: FastString -> FastString -> Unique -> Name
    ... ... @@ -49,11 +44,10 @@ qqFld = mk_known_key_name (fieldName (fsLit "QuasiQuoter")) qqLib
    49 44 
     quoteClassOcc :: KnownOcc
    50 45 
     quoteClassOcc = mkTcOcc "Quote"
    51 46
    52 
    -qTyConOcc, nameTyConOcc, fieldExpTyConOcc, patTyConOcc,
    53 
    -    fieldPatTyConOcc, expTyConOcc, decTyConOcc, typeTyConOcc,
    54 
    -    matchTyConOcc, clauseTyConOcc, funDepTyConOcc, predTyConOcc,
    55 
    -    codeTyConOcc, injAnnTyConOcc, overlapTyConOcc, decsTyConOcc,
    56 
    -    modNameTyConOcc, quasiQuoterTyConOcc :: KnownOcc
    47 
    +qTyConOcc, nameTyConOcc, fieldExpTyConOcc, patTyConOcc, fieldPatTyConOcc,
    48 
    +  expTyConOcc, decTyConOcc, typeTyConOcc, matchTyConOcc, funDepTyConOcc,
    49 
    +  codeTyConOcc, injAnnTyConOcc, overlapTyConOcc, decsTyConOcc, modNameTyConOcc,
    50 
    +  quasiQuoterTyConOcc :: KnownOcc
    57 51 
     qTyConOcc             = mkTcOcc "Q"
    58 52 
     nameTyConOcc          = mkTcOcc "Name"
    59 53 
     fieldExpTyConOcc      = mkTcOcc "FieldExp"
    ... ... @@ -64,9 +58,7 @@ decTyConOcc = mkTcOcc "Dec"
    64 58 
     decsTyConOcc          = mkTcOcc "Decs"
    65 59 
     typeTyConOcc          = mkTcOcc "Type"
    66 60 
     matchTyConOcc         = mkTcOcc "Match"
    67 
    -clauseTyConOcc        = mkTcOcc "Clause"
    68 61 
     funDepTyConOcc        = mkTcOcc "FunDep"
    69 
    -predTyConOcc          = mkTcOcc "Pred"
    70 62 
     codeTyConOcc          = mkTcOcc "Code"
    71 63 
     injAnnTyConOcc        = mkTcOcc "InjectivityAnn"
    72 64 
     overlapTyConOcc       = mkTcOcc "Overlap"
    ... ... @@ -76,12 +68,9 @@ quasiQuoterTyConOcc = mkTcOcc "QuasiQuoter"
    76 68 
     sequenceQOcc :: KnownOcc
    77 69 
     sequenceQOcc = mkVarOcc "sequenceQ"
    78 70
    79 
    -newNameName,
    80 
    -    mkNameName, mkNameG_vName, mkNameG_fldName, mkNameG_dName, mkNameG_tcName,
    81 
    -    mkNameLName, mkNameSName, unTypeName, unTypeCodeName,
    82 
    -    mkModNameName, mkNameQName :: Name
    71 
    +newNameName, mkNameG_vName, mkNameG_fldName, mkNameG_dName, mkNameG_tcName,
    72 
    +  mkNameLName, mkNameSName, unTypeCodeName, mkModNameName, mkNameQName :: Name
    83 73 
     newNameName    = thMonadFun (fsLit "newName")   newNameIdKey
    84 
    -mkNameName     = thFun (fsLit "mkName")     mkNameIdKey
    85 74 
     mkNameG_vName  = thFun (fsLit "mkNameG_v")  mkNameG_vIdKey
    86 75 
     mkNameG_dName  = thFun (fsLit "mkNameG_d")  mkNameG_dIdKey
    87 76 
     mkNameG_tcName = thFun (fsLit "mkNameG_tc") mkNameG_tcIdKey
    ... ... @@ -90,7 +79,6 @@ mkNameLName = thFun (fsLit "mkNameL") mkNameLIdKey
    90 79 
     mkNameQName    = thFun (fsLit "mkNameQ")    mkNameQIdKey
    91 80 
     mkNameSName    = thFun (fsLit "mkNameS")    mkNameSIdKey
    92 81 
     mkModNameName  = thFun (fsLit "mkModName")  mkModNameIdKey
    93 
    -unTypeName     = thMonadFld (fsLit "TExp") (fsLit "unType") unTypeIdKey
    94 82 
     unTypeCodeName = thMonadFun (fsLit "unTypeCode") unTypeCodeIdKey
    95 83
    96 84 
     liftIdOcc, unsafeCodeCoerceOcc :: KnownOcc
    ... ... @@ -143,18 +131,17 @@ matchOcc = mkVarOcc "match"
    143 131 
     clauseOcc   = mkVarOcc "clause"
    144 132
    145 133 
     -- data Exp = ...
    146 
    -varEOcc, conEOcc, litEOcc, appEOcc, appTypeEOcc, infixEOcc, infixAppOcc,
    147 
    -    sectionLOcc, sectionROcc, lamEOcc, lamCaseEOcc, lamCasesEOcc, tupEOcc,
    148 
    -    unboxedTupEOcc, unboxedSumEOcc, condEOcc, multiIfEOcc, letEOcc,
    149 
    -    caseEOcc, doEOcc, mdoEOcc, compEOcc, staticEOcc, unboundVarEOcc,
    150 
    -    labelEOcc, implicitParamVarEOcc, getFieldEOcc, projectionEOcc, typeEOcc,
    151 
    -    forallEOcc, forallVisEOcc, constrainedEOcc :: KnownOcc
    134 
    +varEOcc, conEOcc, litEOcc, appEOcc, appTypeEOcc, infixAppOcc, sectionLOcc,
    135 
    +  sectionROcc, lamEOcc, lamCaseEOcc, lamCasesEOcc, tupEOcc, unboxedTupEOcc,
    136 
    +  unboxedSumEOcc, condEOcc, multiIfEOcc, letEOcc, caseEOcc, doEOcc, mdoEOcc,
    137 
    +  compEOcc, staticEOcc, unboundVarEOcc, labelEOcc, implicitParamVarEOcc,
    138 
    +  getFieldEOcc, projectionEOcc, typeEOcc, forallEOcc, forallVisEOcc,
    139 
    +  constrainedEOcc :: KnownOcc
    152 140 
     varEOcc              = mkVarOcc "varE"
    153 141 
     conEOcc              = mkVarOcc "conE"
    154 142 
     litEOcc              = mkVarOcc "litE"
    155 143 
     appEOcc              = mkVarOcc "appE"
    156 144 
     appTypeEOcc          = mkVarOcc "appTypeE"
    157 
    -infixEOcc            = mkVarOcc "infixE"
    158 145 
     infixAppOcc          = mkVarOcc "infixApp"
    159 146 
     sectionLOcc          = mkVarOcc "sectionL"
    160 147 
     sectionROcc          = mkVarOcc "sectionR"
    ... ... @@ -535,53 +522,6 @@ liftClassKey = mkPreludeClassUnique 200
    535 522 
     -- TyConUniques available: 200-299
    536 523 
     -- Check in GHC.Builtin.KnownKeys if you want to change this
    537 524
    538 
    -expTyConKey, matchTyConKey, clauseTyConKey, qTyConKey, expQTyConKey,
    539 
    -    patTyConKey,
    540 
    -    stmtTyConKey, conTyConKey, typeQTyConKey, typeTyConKey,
    541 
    -    tyVarBndrUnitTyConKey, tyVarBndrSpecTyConKey, tyVarBndrVisTyConKey,
    542 
    -    decTyConKey, bangTypeTyConKey, varBangTypeTyConKey,
    543 
    -    fieldExpTyConKey, fieldPatTyConKey, nameTyConKey, patQTyConKey,
    544 
    -    funDepTyConKey, predTyConKey,
    545 
    -    predQTyConKey, decsQTyConKey, ruleBndrTyConKey, tySynEqnTyConKey,
    546 
    -    roleTyConKey, codeTyConKey, injAnnTyConKey, kindTyConKey,
    547 
    -    overlapTyConKey, derivClauseTyConKey, derivStrategyTyConKey, decsTyConKey,
    548 
    -    modNameTyConKey, quasiQuoterTyConKey :: Unique
    549 
    -expTyConKey             = mkPreludeTyConUnique 200
    550 
    -matchTyConKey           = mkPreludeTyConUnique 201
    551 
    -clauseTyConKey          = mkPreludeTyConUnique 202
    552 
    -qTyConKey               = mkPreludeTyConUnique 203
    553 
    -expQTyConKey            = mkPreludeTyConUnique 204
    554 
    -patTyConKey             = mkPreludeTyConUnique 206
    555 
    -stmtTyConKey            = mkPreludeTyConUnique 209
    556 
    -conTyConKey             = mkPreludeTyConUnique 210
    557 
    -typeQTyConKey           = mkPreludeTyConUnique 211
    558 
    -typeTyConKey            = mkPreludeTyConUnique 212
    559 
    -decTyConKey             = mkPreludeTyConUnique 213
    560 
    -bangTypeTyConKey        = mkPreludeTyConUnique 214
    561 
    -varBangTypeTyConKey     = mkPreludeTyConUnique 215
    562 
    -fieldExpTyConKey        = mkPreludeTyConUnique 216
    563 
    -fieldPatTyConKey        = mkPreludeTyConUnique 217
    564 
    -nameTyConKey            = mkPreludeTyConUnique 218
    565 
    -patQTyConKey            = mkPreludeTyConUnique 219
    566 
    -funDepTyConKey          = mkPreludeTyConUnique 222
    567 
    -predTyConKey            = mkPreludeTyConUnique 223
    568 
    -predQTyConKey           = mkPreludeTyConUnique 224
    569 
    -tyVarBndrUnitTyConKey   = mkPreludeTyConUnique 225
    570 
    -decsQTyConKey           = mkPreludeTyConUnique 226
    571 
    -ruleBndrTyConKey        = mkPreludeTyConUnique 227
    572 
    -tySynEqnTyConKey        = mkPreludeTyConUnique 228
    573 
    -roleTyConKey            = mkPreludeTyConUnique 229
    574 
    -injAnnTyConKey          = mkPreludeTyConUnique 231
    575 
    -kindTyConKey            = mkPreludeTyConUnique 232
    576 
    -overlapTyConKey         = mkPreludeTyConUnique 233
    577 
    -derivClauseTyConKey     = mkPreludeTyConUnique 234
    578 
    -derivStrategyTyConKey   = mkPreludeTyConUnique 235
    579 
    -decsTyConKey            = mkPreludeTyConUnique 236
    580 
    -tyVarBndrSpecTyConKey   = mkPreludeTyConUnique 237
    581 
    -codeTyConKey            = mkPreludeTyConUnique 238
    582 
    -modNameTyConKey         = mkPreludeTyConUnique 239
    583 
    -tyVarBndrVisTyConKey    = mkPreludeTyConUnique 240
    584 
    -quasiQuoterTyConKey     = mkPreludeTyConUnique 241
    585 525
    586 526 
     {- *********************************************************************
    587 527 
     *                                                                      *
    ... ... @@ -635,189 +575,23 @@ dataNamespaceSpecifierDataConKey = mkPreludeDataConUnique 215
    635 575 
     -- IdUniques available: 200-499
    636 576 
     -- If you want to change this, make sure you check in GHC.Builtin.KnownKeys
    637 577
    638 
    -sequenceQIdKey, liftIdKey, newNameIdKey,
    639 
    -    mkNameIdKey, mkNameG_vIdKey, mkNameG_fldIdKey, mkNameG_dIdKey, mkNameG_tcIdKey,
    640 
    -    mkNameLIdKey, mkNameSIdKey, unTypeIdKey, unTypeCodeIdKey,
    641 
    -    unsafeCodeCoerceIdKey, liftTypedIdKey, mkModNameIdKey, mkNameQIdKey :: Unique
    642 
    -sequenceQIdKey      = mkPreludeMiscIdUnique 202
    643 
    -liftIdKey           = mkPreludeMiscIdUnique 203
    578 
    +newNameIdKey, mkNameG_vIdKey, mkNameG_fldIdKey, mkNameG_dIdKey,
    579 
    +  mkNameG_tcIdKey, mkNameLIdKey, mkNameSIdKey, unTypeCodeIdKey,
    580 
    +  mkModNameIdKey, mkNameQIdKey :: Unique
    644 581 
     newNameIdKey         = mkPreludeMiscIdUnique 204
    645 
    -mkNameIdKey          = mkPreludeMiscIdUnique 205
    646 582 
     mkNameG_vIdKey       = mkPreludeMiscIdUnique 206
    647 583 
     mkNameG_dIdKey       = mkPreludeMiscIdUnique 207
    648 584 
     mkNameG_tcIdKey      = mkPreludeMiscIdUnique 208
    649 585 
     mkNameLIdKey         = mkPreludeMiscIdUnique 209
    650 586 
     mkNameSIdKey         = mkPreludeMiscIdUnique 210
    651 
    -unTypeIdKey          = mkPreludeMiscIdUnique 211
    652 587 
     unTypeCodeIdKey      = mkPreludeMiscIdUnique 212
    653 
    -liftTypedIdKey        = mkPreludeMiscIdUnique 214
    654 
    -mkModNameIdKey        = mkPreludeMiscIdUnique 215
    655 
    -unsafeCodeCoerceIdKey = mkPreludeMiscIdUnique 216
    588 
    +mkModNameIdKey       = mkPreludeMiscIdUnique 215
    656 589 
     mkNameQIdKey         = mkPreludeMiscIdUnique 217
    657 590 
     mkNameG_fldIdKey     = mkPreludeMiscIdUnique 218
    658 591
    659 
    -
    660 
    --- data Lit = ...
    661 
    -charLIdKey, stringLIdKey, integerLIdKey, intPrimLIdKey, wordPrimLIdKey,
    662 
    -    floatPrimLIdKey, doublePrimLIdKey, rationalLIdKey, stringPrimLIdKey,
    663 
    -    charPrimLIdKey:: Unique
    664 
    -charLIdKey        = mkPreludeMiscIdUnique 220
    665 
    -stringLIdKey      = mkPreludeMiscIdUnique 221
    666 
    -integerLIdKey     = mkPreludeMiscIdUnique 222
    667 
    -intPrimLIdKey     = mkPreludeMiscIdUnique 223
    668 
    -wordPrimLIdKey    = mkPreludeMiscIdUnique 224
    669 
    -floatPrimLIdKey   = mkPreludeMiscIdUnique 225
    670 
    -doublePrimLIdKey  = mkPreludeMiscIdUnique 226
    671 
    -rationalLIdKey    = mkPreludeMiscIdUnique 227
    672 
    -stringPrimLIdKey  = mkPreludeMiscIdUnique 228
    673 
    -charPrimLIdKey    = mkPreludeMiscIdUnique 229
    674 
    -
    675 
    -liftStringIdKey :: Unique
    676 
    -liftStringIdKey     = mkPreludeMiscIdUnique 230
    677 
    -
    678 
    --- data Pat = ...
    679 
    -litPIdKey, varPIdKey, tupPIdKey, unboxedTupPIdKey, unboxedSumPIdKey, conPIdKey,
    680 
    -  infixPIdKey, tildePIdKey, bangPIdKey, asPIdKey, wildPIdKey, recPIdKey,
    681 
    -  listPIdKey, sigPIdKey, viewPIdKey, typePIdKey, invisPIdKey, orPIdKey :: Unique
    682 
    -litPIdKey         = mkPreludeMiscIdUnique 240
    683 
    -varPIdKey         = mkPreludeMiscIdUnique 241
    684 
    -tupPIdKey         = mkPreludeMiscIdUnique 242
    685 
    -unboxedTupPIdKey  = mkPreludeMiscIdUnique 243
    686 
    -unboxedSumPIdKey  = mkPreludeMiscIdUnique 244
    687 
    -conPIdKey         = mkPreludeMiscIdUnique 245
    688 
    -infixPIdKey       = mkPreludeMiscIdUnique 246
    689 
    -tildePIdKey       = mkPreludeMiscIdUnique 247
    690 
    -bangPIdKey        = mkPreludeMiscIdUnique 248
    691 
    -asPIdKey          = mkPreludeMiscIdUnique 249
    692 
    -wildPIdKey        = mkPreludeMiscIdUnique 250
    693 
    -recPIdKey         = mkPreludeMiscIdUnique 251
    694 
    -listPIdKey        = mkPreludeMiscIdUnique 252
    695 
    -sigPIdKey         = mkPreludeMiscIdUnique 253
    696 
    -viewPIdKey        = mkPreludeMiscIdUnique 254
    697 
    -typePIdKey        = mkPreludeMiscIdUnique 255
    698 
    -invisPIdKey       = mkPreludeMiscIdUnique 256
    699 
    -orPIdKey          = mkPreludeMiscIdUnique 257
    700 
    -
    701 
    --- type FieldPat = ...
    702 
    -fieldPatIdKey :: Unique
    703 
    -fieldPatIdKey       = mkPreludeMiscIdUnique 260
    704 
    -
    705 
    --- data Match = ...
    706 
    -matchIdKey :: Unique
    707 
    -matchIdKey          = mkPreludeMiscIdUnique 261
    708 
    -
    709 
    --- data Clause = ...
    710 
    -clauseIdKey :: Unique
    711 
    -clauseIdKey         = mkPreludeMiscIdUnique 262
    712 
    -
    713 
    -
    714 
    --- data Exp = ...
    715 
    -varEIdKey, conEIdKey, litEIdKey, appEIdKey, appTypeEIdKey, infixEIdKey,
    716 
    -    infixAppIdKey, sectionLIdKey, sectionRIdKey, lamEIdKey, lamCaseEIdKey,
    717 
    -    lamCasesEIdKey, tupEIdKey, unboxedTupEIdKey, unboxedSumEIdKey, condEIdKey,
    718 
    -    multiIfEIdKey, letEIdKey, caseEIdKey, doEIdKey, compEIdKey,
    719 
    -    fromEIdKey, fromThenEIdKey, fromToEIdKey, fromThenToEIdKey,
    720 
    -    listEIdKey, sigEIdKey, recConEIdKey, recUpdEIdKey, staticEIdKey,
    721 
    -    unboundVarEIdKey, labelEIdKey, implicitParamVarEIdKey, mdoEIdKey,
    722 
    -    getFieldEIdKey, projectionEIdKey, typeEIdKey, forallEIdKey,
    723 
    -    forallVisEIdKey, constrainedEIdKey :: Unique
    724 
    -varEIdKey              = mkPreludeMiscIdUnique 270
    725 
    -conEIdKey              = mkPreludeMiscIdUnique 271
    726 
    -litEIdKey              = mkPreludeMiscIdUnique 272
    727 
    -appEIdKey              = mkPreludeMiscIdUnique 273
    728 
    -appTypeEIdKey          = mkPreludeMiscIdUnique 274
    729 
    -infixEIdKey            = mkPreludeMiscIdUnique 275
    730 
    -infixAppIdKey          = mkPreludeMiscIdUnique 276
    731 
    -sectionLIdKey          = mkPreludeMiscIdUnique 277
    732 
    -sectionRIdKey          = mkPreludeMiscIdUnique 278
    733 
    -lamEIdKey              = mkPreludeMiscIdUnique 279
    734 
    -lamCaseEIdKey          = mkPreludeMiscIdUnique 280
    735 
    -lamCasesEIdKey         = mkPreludeMiscIdUnique 281
    736 
    -tupEIdKey              = mkPreludeMiscIdUnique 282
    737 
    -unboxedTupEIdKey       = mkPreludeMiscIdUnique 283
    738 
    -unboxedSumEIdKey       = mkPreludeMiscIdUnique 284
    739 
    -condEIdKey             = mkPreludeMiscIdUnique 285
    740 
    -multiIfEIdKey          = mkPreludeMiscIdUnique 286
    741 
    -letEIdKey              = mkPreludeMiscIdUnique 287
    742 
    -caseEIdKey             = mkPreludeMiscIdUnique 288
    743 
    -doEIdKey               = mkPreludeMiscIdUnique 289
    744 
    -compEIdKey             = mkPreludeMiscIdUnique 290
    745 
    -fromEIdKey             = mkPreludeMiscIdUnique 291
    746 
    -fromThenEIdKey         = mkPreludeMiscIdUnique 292
    747 
    -fromToEIdKey           = mkPreludeMiscIdUnique 293
    748 
    -fromThenToEIdKey       = mkPreludeMiscIdUnique 294
    749 
    -listEIdKey             = mkPreludeMiscIdUnique 295
    750 
    -sigEIdKey              = mkPreludeMiscIdUnique 296
    751 
    -recConEIdKey           = mkPreludeMiscIdUnique 297
    752 
    -recUpdEIdKey           = mkPreludeMiscIdUnique 298
    753 
    -staticEIdKey           = mkPreludeMiscIdUnique 299
    754 
    -unboundVarEIdKey       = mkPreludeMiscIdUnique 300
    755 
    -labelEIdKey            = mkPreludeMiscIdUnique 301
    756 
    -implicitParamVarEIdKey = mkPreludeMiscIdUnique 302
    757 
    -mdoEIdKey              = mkPreludeMiscIdUnique 303
    758 
    -getFieldEIdKey         = mkPreludeMiscIdUnique 304
    759 
    -projectionEIdKey       = mkPreludeMiscIdUnique 305
    760 
    -typeEIdKey             = mkPreludeMiscIdUnique 306
    761 
    -forallEIdKey           = mkPreludeMiscIdUnique 802
    762 
    -forallVisEIdKey        = mkPreludeMiscIdUnique 803
    763 
    -constrainedEIdKey      = mkPreludeMiscIdUnique 804
    764 
    -
    765 
    --- data Dec = ...
    766 
    -funDIdKey, valDIdKey, dataDIdKey, newtypeDIdKey, tySynDIdKey, classDIdKey,
    767 
    -    instanceWithOverlapDIdKey, instanceDIdKey, sigDIdKey, forImpDIdKey,
    768 
    -    pragInlDIdKey, pragSpecDIdKey, pragSpecInlDIdKey, pragSpecInstDIdKey,
    769 
    -    pragRuleDIdKey, pragAnnDIdKey, defaultSigDIdKey, dataFamilyDIdKey,
    770 
    -    openTypeFamilyDIdKey, closedTypeFamilyDIdKey, dataInstDIdKey,
    771 
    -    newtypeInstDIdKey, tySynInstDIdKey, standaloneDerivWithStrategyDIdKey,
    772 
    -    infixLWithSpecDIdKey, infixRWithSpecDIdKey, infixNWithSpecDIdKey,
    773 
    -    roleAnnotDIdKey, patSynDIdKey, patSynSigDIdKey, pragCompleteDIdKey,
    774 
    -    implicitParamBindDIdKey, kiSigDIdKey, defaultDIdKey, pragOpaqueDIdKey,
    775 
    -    typeDataDIdKey, pragSCCFunDKey, pragSCCFunNamedDKey,
    776 
    -    pragSpecEDIdKey, pragSpecInlEDIdKey :: Unique
    777 
    -funDIdKey                         = mkPreludeMiscIdUnique 320
    778 
    -valDIdKey                         = mkPreludeMiscIdUnique 321
    779 
    -dataDIdKey                        = mkPreludeMiscIdUnique 322
    780 
    -newtypeDIdKey                     = mkPreludeMiscIdUnique 323
    781 
    -tySynDIdKey                       = mkPreludeMiscIdUnique 324
    782 
    -classDIdKey                       = mkPreludeMiscIdUnique 325
    783 
    -instanceWithOverlapDIdKey         = mkPreludeMiscIdUnique 326
    784 
    -instanceDIdKey                    = mkPreludeMiscIdUnique 327
    785 
    -sigDIdKey                         = mkPreludeMiscIdUnique 328
    786 
    -forImpDIdKey                      = mkPreludeMiscIdUnique 329
    787 
    -pragInlDIdKey                     = mkPreludeMiscIdUnique 330
    788 
    -pragSpecDIdKey                    = mkPreludeMiscIdUnique 331
    789 
    -pragSpecInlDIdKey                 = mkPreludeMiscIdUnique 332
    790 
    -pragSpecInstDIdKey                = mkPreludeMiscIdUnique 333
    791 
    -pragRuleDIdKey                    = mkPreludeMiscIdUnique 334
    792 
    -pragAnnDIdKey                     = mkPreludeMiscIdUnique 335
    793 
    -dataFamilyDIdKey                  = mkPreludeMiscIdUnique 336
    794 
    -openTypeFamilyDIdKey              = mkPreludeMiscIdUnique 337
    795 
    -dataInstDIdKey                    = mkPreludeMiscIdUnique 338
    796 
    -newtypeInstDIdKey                 = mkPreludeMiscIdUnique 339
    797 
    -tySynInstDIdKey                   = mkPreludeMiscIdUnique 340
    798 
    -closedTypeFamilyDIdKey            = mkPreludeMiscIdUnique 341
    799 
    -infixLWithSpecDIdKey              = mkPreludeMiscIdUnique 342
    800 
    -infixRWithSpecDIdKey              = mkPreludeMiscIdUnique 343
    801 
    -infixNWithSpecDIdKey              = mkPreludeMiscIdUnique 344
    802 
    -roleAnnotDIdKey                   = mkPreludeMiscIdUnique 345
    803 
    -standaloneDerivWithStrategyDIdKey = mkPreludeMiscIdUnique 346
    804 
    -defaultSigDIdKey                  = mkPreludeMiscIdUnique 347
    805 
    -patSynDIdKey                      = mkPreludeMiscIdUnique 348
    806 
    -patSynSigDIdKey                   = mkPreludeMiscIdUnique 349
    807 
    -pragCompleteDIdKey                = mkPreludeMiscIdUnique 350
    808 
    -implicitParamBindDIdKey           = mkPreludeMiscIdUnique 351
    809 
    -kiSigDIdKey                       = mkPreludeMiscIdUnique 352
    810 
    -defaultDIdKey                     = mkPreludeMiscIdUnique 353
    811 
    -pragOpaqueDIdKey                  = mkPreludeMiscIdUnique 354
    812 
    -typeDataDIdKey                    = mkPreludeMiscIdUnique 355
    813 
    -pragSCCFunDKey                    = mkPreludeMiscIdUnique 356
    814 
    -pragSCCFunNamedDKey               = mkPreludeMiscIdUnique 357
    815 
    -pragSpecEDIdKey                   = mkPreludeMiscIdUnique 358
    816 
    -pragSpecInlEDIdKey                = mkPreludeMiscIdUnique 359
    817 
    -
    818 592 
     -- type Cxt = ...
    819 593 
     cxtIdKey :: Unique
    820 
    -cxtIdKey               = mkPreludeMiscIdUnique 361
    594 
    +cxtIdKey = mkPreludeMiscIdUnique 361
    821 595
    822 596 
     -- data SourceUnpackedness = ...
    823 597 
     noSourceUnpackednessKey, sourceNoUnpackKey, sourceUnpackKey :: Unique

    • —
    View it on GitLab.
    You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications · Help