summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/T10615.stderr
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-4/+2
* Diagnostic codes: acccept test changessheaf2022-09-131-4/+4
* Use GHC2021 as default languageJoachim Breitner2021-03-101-8/+8
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-14/+14
* Improve skolemisationSimon Peyton Jones2020-02-011-2/+2
* Visible kind applicationmynguyen2019-01-031-2/+4
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-2/+4
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-201-32/+32
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-36/+32
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-34/+36
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Fix quantification for inference with sigsSimon Peyton Jones2015-08-051-0/+34