summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck
Commit message (Expand)AuthorAgeFilesLines
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-302-5/+1
* Fix typosBrian Wignall2019-11-231-1/+1
* Check EmptyCase by simply adding a non-void constraintSebastian Graf2019-11-0524-32/+164
* Much simpler language for PmCheckSebastian Graf2019-10-112-1/+7
* PmCheck: Look up parent data family TyCon when populating `PossibleMatches`Sebastian Graf2019-10-082-1/+24
* PmCheck: Identify some semantically equivalent expressionsSebastian Graf2019-10-081-1/+0
* Add testcases inspired by Luke Maranget's pattern match serieswip/add-testcasesSebastian Graf2019-10-015-0/+247
* Add a bunch of testcases for the pattern match checkerSebastian Graf2019-10-0113-0/+230
* Move pattern match checker modules to GHC.HsToCore.PmCheckSebastian Graf2019-09-301-1/+1
* PmCheck: No ConLike instantiation in pmcheckSebastian Graf2019-09-283-0/+14
* PmCheck: Look at precendence to give type signatures to some wildcardsSebastian Graf2019-09-2713-45/+46
* PmCheck: Only ever check constantly many models against a single patternSebastian Graf2019-09-255-3/+65
* Get rid of PmFakewip/pmcheck-nofakeSebastian Graf2019-09-211-1/+1
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Add a regression test for #11822Sebastian Graf2019-09-193-4/+54
* Encode shape information in `PmOracle`Sebastian Graf2019-09-1639-34/+835
* Fix #17112Sebastian Graf2019-08-282-0/+34
* 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
View Lorry Controller Status