Skip to content

Fix unifier bug: failing to decompose over-saturated type family

Simon Peyton Jones requested to merge wip/T22647 into master

Wow. This seems to be quite a long-standing bug in the unifier!

Fixes #22647 (closed)

Merge request reports