summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T8883.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* Use GHC2021 as default languageJoachim Breitner2021-03-101-1/+1
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-1/+1
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-1/+1
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-1/+1
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-8/+8
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-1/+1
* Infer types with flexible contextsSimon Peyton Jones2015-07-091-9/+7
* Tidy up treatment of FlexibleContextsSimon Peyton Jones2015-04-301-8/+10
* Wibbles (usually improvements) to error messagesSimon Peyton Jones2014-11-211-1/+1
* Testsuite error message changesSimon Peyton Jones2014-11-041-8/+8
* Improve error message in Trac #8883Simon Peyton Jones2014-06-111-7/+8
* Validate inferred theta. Fixes #8883Jan Stolarek2014-04-191-0/+7