summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/CasePrune.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-5/+5
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-181-4/+3
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-8/+4
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-5/+5
* Update output: More elaborate GND error messagesJoachim Breitner2013-12-041-1/+2
* Update testsuite for nicer Coercible messageJoachim Breitner2013-12-021-5/+6
* Coercible-base GND: update error messagesJoachim Breitner2013-11-221-5/+7
* Update tests to reflect new check for GeneralizedNewtypeDerivingRichard Eisenberg2013-10-231-1/+1
* Wibble to output from change in roles error messagesRichard Eisenberg2013-08-271-1/+1
* Add tests for roles.Richard Eisenberg2013-08-021-0/+7