summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T9222.stderr
Commit message (Expand)AuthorAgeFilesLines
* Set GenSigCtxt for the argument part of tcSubTypeSimon Peyton Jones2018-07-251-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-3/+3
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-1/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-1/+1
* Fix #14719 by using the setting the right SrcSpanRyan Scott2018-01-261-2/+2
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-261-2/+2
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-251-3/+3
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-241-2/+0
* Make equality print better. (#11712)Richard Eisenberg2016-03-211-2/+2
* Testsuite wibbles from previous commits.Richard Eisenberg2016-03-141-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-16/+16
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-10/+5
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-211-24/+24
* Report arity errors correctly despite kindsSimon Peyton Jones2015-06-181-24/+24
* Print singleton consraints without parensSimon Peyton Jones2015-01-061-1/+1
* Trac #9222 is actually an ambiguous type, now detectedSimon Peyton Jones2014-11-211-0/+24