compiler/prelude/KnownUniques.hs¶

Note [Uniques for tuple type and data constructors]¶

Wired-in type constructor keys occupy two slots:

u: the TyCon itself
u+1: the TyConRepName of the TyCon

Wired-in tuple data constructor keys occupy three slots:

u: the DataCon itself
u+1: its worker Id
u+2: the TyConRepName of the promoted TyCon

Fork me on GitHub