summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/VtaFail.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-13/+13
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-16/+17
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-22/+0
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-101-0/+22
* Fix floating of equalitiesSimon Peyton Jones2017-12-211-6/+0
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-1/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-1/+1
* Refactor visible type application.Richard Eisenberg2016-03-141-1/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-1/+1
* Fix typo in error message (#11409)Richard Eisenberg2016-01-151-8/+8
* Visible type applicationRichard Eisenberg2015-12-241-0/+94