diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2023-01-30 16:06:23 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-31 07:55:05 -0500 |
commit | 085a6db690ababae5d7b6a73f13a1f2f24aa9417 (patch) | |
tree | 6a4774730fcd1b480a48bd3f80b4866eb4a9c58e | |
parent | fd8f32bf551c34b95275ebb4fe648680013156f3 (diff) | |
download | haskell-085a6db690ababae5d7b6a73f13a1f2f24aa9417.tar.gz |
Update note at beginning of GHC.Builtin.NAmes
some things have been renamed since it was written, it seems.
-rw-r--r-- | compiler/GHC/Builtin/Names.hs | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/compiler/GHC/Builtin/Names.hs b/compiler/GHC/Builtin/Names.hs index 3d8a990622..1c26e1aaa9 100644 --- a/compiler/GHC/Builtin/Names.hs +++ b/compiler/GHC/Builtin/Names.hs @@ -4,22 +4,23 @@ \section[GHC.Builtin.Names]{Definitions of prelude modules and names} -Nota Bene: all Names defined in here should come from the base package +Nota Bene: all Names defined in here should come from the base package, +the big-num package or (for plugins) the ghc package. - ModuleNames for prelude modules, - e.g. pREL_BASE_Name :: ModuleName + e.g. pRELUDE_NAME :: ModuleName - Modules for prelude modules - e.g. pREL_Base :: Module + e.g. pRELUDE :: Module - Uniques for Ids, DataCons, TyCons and Classes that the compiler "knows about" in some way - e.g. intTyConKey :: Unique + e.g. orderingTyConKey :: Unique minusClassOpKey :: Unique - Names for Ids, DataCons, TyCons and Classes that the compiler "knows about" in some way - e.g. intTyConName :: Name + e.g. orderingTyConName :: Name minusName :: Name One of these Names contains (a) the module and occurrence name of the thing @@ -31,8 +32,9 @@ Nota Bene: all Names defined in here should come from the base package foldrName in the environment. - RdrNames for Ids, DataCons etc that the compiler may emit into - generated code (e.g. for deriving). It's not necessary to know - the uniques for these guys, only their names + generated code (e.g. for deriving). + e.g. and_RDR :: RdrName + It's not necessary to know the uniques for these guys, only their names Note [Known-key names] |