-
Simon Peyton Jones authored
The type checker was only reporting the first message if an equality failed to match. This patch does a bit of refactoring and fixes the bug, which was in the bogus use of eqInstMisMatch in tcSimplify.report_no_instances.b This is really a bug in 6.8 too, so this would be good to merge across to the 6.8 branch.
2e68d041