summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail212.stderr
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-2/+2
* Diagnostic codes: acccept test changessheaf2022-09-131-4/+4
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-161-22/+0
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-14/+22
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-8/+18
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-10/+22
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-10/+10
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-6/+6
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-6/+6
* Improvements to kind error messages, mainlySimon Peyton Jones2012-10-191-0/+2
* Update outputsJose Pedro Magalhaes2011-11-251-5/+1
* Update outputs (error message locations)Jose Pedro Magalhaes2011-11-161-4/+8
* Test the ConstraintKind extension and related changesMax Bolingbroke2011-09-061-0/+8