summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T6018failclosed.stderr
Commit message (Expand)AuthorAgeFilesLines
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-221-7/+7
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-3/+3
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-101-12/+17
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-2/+2
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-4/+3
* Finish fix for #14880.Tobias Dammers2018-10-281-2/+2
* Remove the type-checking knot.Richard Eisenberg2018-08-011-2/+2
* Further improvements to well-kinded typesSimon Peyton Jones2017-12-131-2/+2
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-2/+2
* tidyOccNames: Rename variables fairlyJoachim Breitner2016-07-141-2/+2
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-3/+3
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-191-72/+72
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-3/+10
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-15/+18
* Re-polish error messages around injective TFs.Richard Eisenberg2015-09-201-17/+19
* Polish some error messages.Richard Eisenberg2015-09-191-9/+9
* Testsuite cleanupJan Stolarek2015-09-121-0/+84