Wire in constraint tuples
This wires in the definitions of the constraint tuple classes. The key changes are in:
-
GHC.Builtin.Types
, where themk_ctuple
function is used to define constraint tuple type constructors, data constructors, and superclass selector functions, and -
GHC.Builtin.Uniques
. In addition to wiring in theUnique
s for constraint tuple type and data constructors, we now must wire in the superclass selector functions. Luckily, this proves to be not that challenging. See the newly added comments.
Fixes #18635 (closed).