summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/T14584a.stderr
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-2/+14
* Diagnostic codes: acccept test changessheaf2022-09-131-6/+6
* decideMonoTyVars: account for CoVars in candidatessheaf2022-04-221-0/+6
* Kill derived constraintsRichard Eisenberg2022-02-231-19/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-8/+9
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-0/+8
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-1/+1
* Tidy up error suppressionSimon Peyton Jones2018-05-151-0/+13
* Fix floating of equalitiesSimon Peyton Jones2017-12-211-0/+24