summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T12593.stderr
Commit message (Expand)AuthorAgeFilesLines
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-106/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-4/+4
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-14/+44
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-101-7/+52
* testsuite: Accept output for T12593Ben Gamari2018-04-061-2/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-52/+7
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-4/+3
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-0/+56
* Fix a bug in occurs checkingSimon Peyton Jones2016-09-301-0/+31