Give concrete example for #12784 in 8.0.2 release notes
ClosedPublic

Authored by RyanGlScott on Dec 2 2016, 1:58 PM.

Details

Summary

We mentioned that there were "some programs" that failed to typecheck
due to Trac #12784, but given how surprisingly common this issue has been, it'd
be prudent to at least give one example of the bug in the release notes.

Diff Detail

RyanGlScott updated this revision to Diff 9770.Dec 2 2016, 1:58 PM
RyanGlScott retitled this revision from to Give concrete example for #12784 in 8.0.2 release notes.
RyanGlScott updated this object.
RyanGlScott edited the test plan for this revision. (Show Details)
RyanGlScott added reviewers: rwbarton, simonpj, bgamari.
RyanGlScott updated the Trac tickets for this revision.
rwbarton requested changes to this revision.Dec 2 2016, 2:01 PM
rwbarton edited edge metadata.
rwbarton added inline comments.
docs/users_guide/8.0.2-notes.rst
74

Class head variable m missing here.

82

Also new GHC rejects the code even with the missing constraint added, so probably it'd be better to just add the constraint to your example and skip this part.

This revision now requires changes to proceed.Dec 2 2016, 2:01 PM
RyanGlScott updated this revision to Diff 9771.Dec 2 2016, 2:06 PM
RyanGlScott edited edge metadata.
  • rwbarton's suggestions
RyanGlScott marked 2 inline comments as done.Dec 2 2016, 2:06 PM
rwbarton accepted this revision.Dec 2 2016, 3:15 PM
rwbarton edited edge metadata.

Thanks @RyanGlScott!

This revision is now accepted and ready to land.Dec 2 2016, 3:15 PM
This revision was automatically updated to reflect the committed changes.