Skip to content

Wire in constraint tuples

Ryan Scott requested to merge wip/wire-in-constraint-tuples into master

This wires in the definitions of the constraint tuple classes. The key changes are in:

  • GHC.Builtin.Types, where the mk_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 the Uniques 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).

Edited by Ryan Scott

Merge request reports