summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T14172.stderr
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-3/+5
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-291-5/+3
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-1/+2
* Diagnostic codes: acccept test changessheaf2022-09-131-2/+2
* Kill derived constraintsRichard Eisenberg2022-02-231-3/+5
* Use GHC2021 as default languageJoachim Breitner2021-03-101-5/+5
* Remove flattening variablesRichard Eisenberg2020-12-011-5/+3
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-0/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-6/+4
* Preserve ShadowInfo when rewriting evidenceSimon Peyton Jones2019-06-071-4/+4
* Fix #16188Richard Eisenberg2019-02-121-15/+0
* Visible kind applicationmynguyen2019-01-031-2/+3
* Add regression test for #14172Ryan Scott2018-05-261-0/+40