-
Simon Peyton Jones authored
An ASSERT failure in rewritableTyVars made me realise that there was an outright bug in shouldSplitWD. See the long Note [Splitting WD constraints].
afa409fa
An ASSERT failure in rewritableTyVars made me realise that there was an outright bug in shouldSplitWD. See the long Note [Splitting WD constraints].