summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T9017.stderr
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-4/+4
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-2/+2
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-4/+5
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-5/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-5/+5
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-6/+7
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-1/+1
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-3/+7
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-4/+3
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-13/+14
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-13/+13
* Make inert_model and inert_eqs deterministic setsBartosz Nitka2016-05-181-2/+2
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-13/+0
* Test #9017 in polykinds/T9017Richard Eisenberg2015-12-111-0/+26
View Lorry Controller Status