Note [ghcPrimIds (aka pseudoops)]
The ghcPrimIds
* Are exported from GHC.Prim (see ghcPrimExports, used in ghcPrimInterface)
See Note [GHC.Prim] in primops.txt.pp for the remaining items in GHC.Prim.
* Can't be defined in Haskell, and hence no Haskell binding site,
but have perfectly reasonable unfoldings in Core
* Either have a CompulsoryUnfolding (hence always inlined), or
of an EvaldUnfolding and void representation (e.g. realWorldPrimId)
* Are (or should be) defined in primops.txt.pp as 'pseudoop'
Reason: that's how we generate documentation for them References 0
This Note does not link to any other.
Referenced by 2
- Wired-in Ids GHC.Types.Id.Make
- GHC.Types.Id.Make call site