summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-2/+2
* Use GHC2021 as default languageJoachim Breitner2021-03-101-4/+4
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-0/+6
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-0/+5
* Update levity polymorphismRichard Eisenberg2017-01-191-0/+5