summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12785b.stderr
Commit message (Expand)AuthorAgeFilesLines
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-1/+1
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-6/+6
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Print constraints in quotes (#21167)Swann Moreau2022-08-191-1/+1
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* Use GHC2021 as default languageJoachim Breitner2021-03-101-6/+6
* Do eager instantation in termsSimon Peyton Jones2020-04-221-1/+1
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-1/+1
* Fix #15308 by suppressing invisble args more rigorouslyRyan Scott2018-07-051-8/+4
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-0/+6
* Improve pretty-printing of typesSimon Peyton Jones2017-02-281-8/+7
* Revert "Remove unnecessary isTyVar tests in TcType"Ryan Scott2017-01-221-0/+26