summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T9222.stderr
Commit message (Expand)AuthorAgeFilesLines
* 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