summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck
Commit message (Expand)AuthorAgeFilesLines
* PmCheck: Pick up `EvVar`s bound in `HsWrapper`s for long-distance infoSebastian Graf2020-05-012-0/+31
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* PmCheck: Adjust recursion depth for inhabitation testSebastian Graf2020-04-014-0/+65
* Modules: Types (#13009)Sylvain Henry2020-03-292-3/+3
* Modules: Core (#13009)Sylvain Henry2020-03-161-5/+5
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-273-0/+16
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-2/+0
* Fix long distance info for record updatesSebastian Graf2020-02-102-0/+11
* PmCheck: Record type constraints arising from existentials in `PmCoreCt`sSebastian Graf2020-02-052-0/+29
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-259-23/+93
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* 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
View Lorry Controller Status