-
Simon Peyton Jones authored
case where one has a unification variable on the right. See Note [Carefully solve the right CFunEqCan]. This makes the error message in SimplFail16 come out the right way round.
82879d95
case where one has a unification variable on the right. See Note [Carefully solve the right CFunEqCan]. This makes the error message in SimplFail16 come out the right way round.