summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck
Commit message (Expand)AuthorAgeFilesLines
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-074-0/+80
* Make `singleConstructor` cope with pattern synonymsSebastian Graf2019-04-084-0/+51
* Fix Uncovered set of literal patternsSebastian Graf2019-04-033-0/+47
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* testsuite: Save performance metrics in git notes.David Eichmann2018-11-071-17/+10
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1517-61/+87
* Normalise EmptyCase types using the constraint solverRyan Scott2018-09-284-6/+31
* Add a recursivity check in nonVoidRyan Scott2018-09-232-0/+17
* Take strict fields into account in coverage checkingRyan Scott2018-08-273-0/+64
* Fix #15450 by refactoring checkEmptyCase'Ryan Scott2018-08-013-0/+22
* Fix #15385 by using addDictsDs in matchGuardsRyan Scott2018-07-302-4/+27
* Reclassify some performance testsRichard Eisenberg2018-07-141-4/+20
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-143-6/+6
* Fix a bad interaction between GADTs and COMPLETE setsRyan Scott2018-06-023-0/+32
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-1/+1
* Fix the coverage checker's treatment of existential tyvarsRyan Scott2018-03-023-0/+51
* testsuite: Add testcase for #14253Ben Gamari2017-09-212-0/+40
* Don't warn when empty casing on TypeRyan Scott2017-08-052-0/+8
* testsuite: Bump timeout multiplier for T11195Ben Gamari2017-04-211-1/+1
* Typos in comments [ci skip]Gabor Greif2017-04-111-1/+1
* testsuite: Bump up timeout multiplier on T11195Ben Gamari2017-04-041-1/+1
* testsuite: Add comment clarifying intention of completesig04Ben Gamari2017-03-032-1/+2
* Update test completesig04Reid Barton2017-03-032-6/+6
* testsuite: Fix output due to recent COMPLETE changesBen Gamari2017-03-031-1/+3
* Kill inaccessible-branch complaints in record updateSimon Peyton Jones2017-02-082-0/+26
* Don't return empty initial uncovered set for an unsat contextMatthew Pickering2017-02-053-0/+10
* Exhaustiveness check for EmptyCase (Trac #10746)George Karachalias2017-02-0223-0/+831
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-2628-1/+351
* Reduce default for -fmax-pmcheck-iterations from 1e7 to 2e6Herbert Valerio Riedel2016-04-101-0/+1
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-278-16/+20
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-2515-0/+0
* (Alternative way to) address #8710George Karachalias2016-02-253-7/+10
* 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-048-18/+294
* Avoid generating guards for CoPats if possible (Addresses #11276)George Karachalias2016-01-043-0/+106
* Test Trac #11245Simon Peyton Jones2015-12-313-0/+18
* T11303: Set maximum heap sizeBen Gamari2015-12-301-1/+1
* Add regression test for #11303Ben Gamari2015-12-292-2/+29
* tcCheckSatisfiability: less aggressive superclass expansionSimon Peyton Jones2015-12-181-0/+3
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-0/+1
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-39/+0
* testsuite: Rename pmcheck/T7669 to pmcheck/T7669aBen Gamari2015-12-043-1/+1
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-0345-0/+531
View Lorry Controller Status