summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T5934.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Remove flattening variablesRichard Eisenberg2020-12-011-3/+6
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+3
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-1/+1
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-13/+0
* Fix error-message suppress on given equalitiesSimon Peyton Jones2017-03-271-2/+16
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-6/+5
* Testsuite error message changesSimon Peyton Jones2014-11-041-8/+7
* Do type-class defaulting even if there are insoluble constraintsSimon Peyton Jones2014-04-281-4/+4
* Fix egregious blunder in the type flattenerSimon Peyton Jones2014-04-101-7/+8
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-2/+2
* Adjust test suite to new Language Pragma warnignsJoachim Breitner2013-09-141-1/+1
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-7/+7
* Wibbles to error messages and tests, following ambiguity-check changesSimon Peyton Jones2013-01-081-1/+1
* Wibbles to error messagesSimon Peyton Jones2012-10-311-6/+7
* A ton of error message wibblesSimon Peyton Jones2012-09-211-2/+0
* Adding testcase for Trac 5934Dimitrios.Vytiniotis2012-04-101-0/+8