summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T14846.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-2/+2
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-7/+7
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-29/+7
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-23/+27
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-3/+3
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-6/+6
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-15/+21
* Finish fix for #14880.Tobias Dammers2018-10-281-9/+9
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-7/+8
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-101-9/+16
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-38/+13
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-0/+25
* Fix performance of flattener patch (#12919)Alexander Vieth2018-03-261-5/+2
* Fix a nasty bug in the pure unifierSimon Peyton Jones2018-02-271-0/+43
View Lorry Controller Status