summaryrefslogtreecommitdiff
path: root/testsuite/tests/saks
Commit message (Expand)AuthorAgeFilesLines
* Convert diagnostics in GHC.Rename.Module to proper TcRnMessage (#20115)Andrei Borzenkov2023-03-062-3/+3
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-245-63/+6
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-112-2/+28
* Testsuite: more precise test optionsSylvain Henry2022-10-261-9/+3
* Introduce TcRnWithHsDocContext (#22346)Vladislav Zavialov2022-10-261-2/+2
* Diagnostic codes: acccept test changessheaf2022-09-1334-35/+42
* 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