summaryrefslogtreecommitdiff
path: root/testsuite/tests/saks/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Rework the handling of SkolemInfoMatthew Pickering2022-01-2913-11/+42
* Use GHC2021 as default languageJoachim Breitner2021-03-102-1/+2
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-5/+7
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-315-0/+30
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-0/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-053-4/+8
* Add regression tests for #16244, #16245, #16758Ryan Scott2020-05-053-0/+23
* Warn on inferred polymorphic recursionRichard Eisenberg2019-12-111-0/+3
* Pretty-printing of the * kindVladislav Zavialov2019-12-051-2/+2
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-2565-0/+498