|Version 1 (modified by simonpj, 8 years ago) (diff)|
Wired-in and known-key things
There are two categories of entities (Classes, TyCons, Ids) that GHC "knows about"; that is, information about them is baked into GHC's source code.
- A Wired-in thing is fully known to GHC.
- A known-key thing has a fixed, pre-allocated Unique or key. They should really be called "known-Name" things, because the baked-in knowledge is:
- Its defining Module
- Its OccName
- Its Unique Almost all known-key names are defined in compiler/prelude/PrelNames; for example: PrelNames.eqClassName :: Name.