Skip to content

Document operator sections' interaction with subsumption

Ryan Scott requested to merge wip/T19457 into master

This resolves #19457 (closed) by making a note of breaking changes (introduced in GHC 9.2) to the way that GHC typechecks operator sections where the operator has nested foralls or contexts in its type signature.

Merge request reports