summaryrefslogtreecommitdiff
path: root/testsuite/tests/corelint
Commit message (Expand)AuthorAgeFilesLines
* Add Javascript backendSylvain Henry2022-11-291-1/+1
* Testsuite: more precise test optionsSylvain Henry2022-10-261-1/+1
* Diagnostic codes: acccept test changessheaf2022-09-131-3/+3
* Minor cleanupKrzysztof Gogolewski2022-09-011-1/+1
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-042-12/+12
* Core.Lint: Reduce `DynFlags` and `HscEnv`wip/no-state-core-lintJohn Ericson2022-06-071-1/+2
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-4/+2
* checkUnboxedLitPat: use non-fatal addErrorVladislav Zavialov2022-03-121-0/+8
* Don't allow Float#/Double# literal patternssheaf2022-03-055-1/+77
* Improve out-of-order inferred type variablessheaf2022-03-021-2/+2
* Core Lint: collect args through floatable tickssheaf2022-03-012-0/+9
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-264-0/+120