summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Add testcases inspired by Luke Maranget's pattern match serieswip/add-testcasesSebastian Graf2019-10-011-0/+31
* Add a bunch of testcases for the pattern match checkerSebastian Graf2019-10-011-0/+16
* PmCheck: No ConLike instantiation in pmcheckSebastian Graf2019-09-281-0/+2
* PmCheck: Only ever check constantly many models against a single patternSebastian Graf2019-09-251-0/+2
* Add a regression test for #11822Sebastian Graf2019-09-191-4/+2
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-1/+15
* Fix #17112Sebastian Graf2019-08-281-0/+2
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-071-0/+5
* Make `singleConstructor` cope with pattern synonymsSebastian Graf2019-04-081-0/+6
* Fix Uncovered set of literal patternsSebastian Graf2019-04-031-0/+4
* testsuite: Save performance metrics in git notes.David Eichmann2018-11-071-17/+10
* Normalise EmptyCase types using the constraint solverRyan Scott2018-09-281-0/+2
* Add a recursivity check in nonVoidRyan Scott2018-09-231-0/+2
* Take strict fields into account in coverage checkingRyan Scott2018-08-271-0/+2
* Fix #15450 by refactoring checkEmptyCase'Ryan Scott2018-08-011-0/+2
* Fix #15385 by using addDictsDs in matchGuardsRyan Scott2018-07-301-4/+6
* Reclassify some performance testsRichard Eisenberg2018-07-141-4/+20
* Fix the coverage checker's treatment of existential tyvarsRyan Scott2018-03-021-0/+4
* Don't warn when empty casing on TypeRyan Scott2017-08-051-0/+2
* testsuite: Bump timeout multiplier for T11195Ben Gamari2017-04-211-1/+1
* testsuite: Bump up timeout multiplier on T11195Ben Gamari2017-04-041-1/+1
* Kill inaccessible-branch complaints in record updateSimon Peyton Jones2017-02-081-0/+1
* Don't return empty initial uncovered set for an unsat contextMatthew Pickering2017-02-051-0/+1
* Exhaustiveness check for EmptyCase (Trac #10746)George Karachalias2017-02-021-0/+24
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-1/+1
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-171-1/+1
* Testsuite: delete only_compiler_types, assume ghcThomas Miedema2016-02-161-22/+44
* Overhaul the Overhauled Pattern Match CheckerGeorge Karachalias2016-02-041-0/+3
* Avoid generating guards for CoPats if possible (Addresses #11276)George Karachalias2016-01-041-0/+1
* Test Trac #11245Simon Peyton Jones2015-12-311-0/+1
* T11303: Set maximum heap sizeBen Gamari2015-12-301-1/+1
* Add regression test for #11303Ben Gamari2015-12-291-2/+1
* testsuite: Rename pmcheck/T7669 to pmcheck/T7669aBen Gamari2015-12-041-1/+1
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-0/+35
View Lorry Controller Status