summaryrefslogtreecommitdiff
path: root/testsuite/tests/saks
Commit message (Expand)AuthorAgeFilesLines
* Rework the handling of SkolemInfoMatthew Pickering2022-01-2916-15/+46
* 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-054-1/+9
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-122-2/+2
* Warn on inferred polymorphic recursionRichard Eisenberg2019-12-112-0/+6
* Pretty-printing of the * kindVladislav Zavialov2019-12-051-2/+2
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-272-2/+2
* testsuite: Fix putStrLn in saks028Ben Gamari2019-11-091-1/+2
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-25119-0/+1085