Skip to content

Simplify subsumption

Simon Peyton Jones requested to merge wip/T17775 into master

This MR implements GHC Proposal 287: Simplify subsumption and ticket #17775 (closed).

Ready for review.

Main ToDos:

  • User guide
  • Release notes
Edited by Simon Peyton Jones

Merge request reports