summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7453.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-3/+3
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-12/+36
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-1/+1
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-6/+12
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-36/+12
* Improve error messages for skolemsSimon Peyton Jones2017-03-101-3/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-25/+25
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-9/+9
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-25/+25
* Visible type applicationRichard Eisenberg2015-12-241-1/+25
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-27/+37
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-39/+42
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-9/+9
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-45/+45
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-45/+45
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-9/+9
* Error messsage wibblesSimon Peyton Jones2013-11-061-7/+7
* Error message wibblesSimon Peyton Jones2013-09-101-9/+9
* Wibbles to error messages, following the fix for Trac #7851Simon Peyton Jones2013-04-291-10/+0
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-12/+12
* Add a test for #7453Ian Lynagh2012-11-281-0/+55
View Lorry Controller Status