Suggest candidate instances in error message
ClosedPublic

Authored by Yuras on Feb 15 2016, 2:35 PM.

Details

Summary

See Trac Trac #9611. In "No instance..." error message we suggest instances
for other types with the same occ name. It is usefull e.g. when we have
two different versions of the same package installed.

Test Plan

typecheck/should_fail/tcfail224

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
Yuras updated this revision to Diff 6656.Feb 15 2016, 2:35 PM
Yuras retitled this revision from to Suggest candidate instances in error message.
Yuras updated this object.
Yuras edited the test plan for this revision. (Show Details)
Yuras updated the Trac tickets for this revision.
bgamari accepted this revision.Feb 16 2016, 5:12 AM
bgamari edited edge metadata.

This looks great! Thanks @Yuras.

This revision is now accepted and ready to land.Feb 16 2016, 5:12 AM
This revision was automatically updated to reflect the committed changes.