summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T8142.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-3/+3
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-7/+5
* Remove flattening variablesRichard Eisenberg2020-12-011-7/+9
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-7/+9
* Do not discard insolubles in implicationsSimon Peyton Jones2017-07-281-9/+17
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-1/+1
* Improve error handling in TcRnMonadSimon Peyton Jones2016-10-051-10/+0
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-7/+7
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-1/+1
* Clean up some pretty-printing in errors.Richard Eisenberg2016-03-151-2/+2
* Visible type applicationRichard Eisenberg2015-12-241-21/+22
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-2/+3
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-6/+20
* Testsuite error message changesSimon Peyton Jones2014-11-041-28/+10
* Improve error message in Trac #8883Simon Peyton Jones2014-06-111-28/+28
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-7/+7
* Error messsage wibblesSimon Peyton Jones2013-11-061-9/+14
* Add regression test for #8142Jan Stolarek2013-08-191-0/+23
View Lorry Controller Status