Skip to content

Wrap class sigs in an implication constraint

Simon Peyton Jones requested to merge wip/T17841 into master

Two patches here. The first fixes #17841 (closed) -- see its commit message.

The second is just refactoring.

Merge request reports