summaryrefslogtreecommitdiff
path: root/testsuite/tests/roles/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Testsuite: delete Roles9.stderrThomas Miedema2016-04-261-7/+0
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-4/+4
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-182-76/+45
* Change default roles in hs-boot files. (#9204)Richard Eisenberg2015-04-242-4/+6
* Don't use self {-# SOURCE #-} import in test-cases.Edward Z. Yang2015-04-226-4/+10
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-1/+1
* Rewrite `Coercible` solverRichard Eisenberg2014-12-122-86/+76
* Fix #9220 by adding role annotations.Richard Eisenberg2014-11-203-0/+111
* Testsuite wibbles due to #9204Richard Eisenberg2014-11-121-0/+1
* Fix #9204 by outputting extra info on boot file mismatch.Richard Eisenberg2014-11-121-1/+1
* Test #9204 in roles/should_fail/T9204Richard Eisenberg2014-11-125-1/+25
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-031-1/+1
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-259-18/+18
* Fix #8773.Richard Eisenberg2014-02-133-0/+13
* Update output: More elaborate GND error messagesJoachim Breitner2013-12-041-1/+2
* Wibbles to output caused by change in checking role annotationsRichard Eisenberg2013-12-023-12/+5
* Update testsuite for nicer Coercible messageJoachim Breitner2013-12-021-7/+6
* Coercible-base GND: update error messagesJoachim Breitner2013-11-221-5/+8
* Update tests to reflect new check for GeneralizedNewtypeDerivingRichard Eisenberg2013-10-233-15/+1
* Error wibbles now that we print roles in :infoSimon Peyton Jones2013-10-081-11/+3
* Error messsage wibblificationSimon Peyton Jones2013-10-041-10/+10
* Update to tests due to change in syntax for role annotations.Richard Eisenberg2013-09-1719-0/+176
View Lorry Controller Status