summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T14607.hs
Commit message (Expand)AuthorAgeFilesLines
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-1/+1
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-0/+7
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-0/+4
* Fix OptCoercionSimon Peyton Jones2018-01-031-0/+23