summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck
Commit message (Expand)AuthorAgeFilesLines
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-144-2/+26
* Use GHC2021 as default languageJoachim Breitner2021-03-101-0/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-1/+1
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-044-8/+46
* Pmc: Implement `considerAccessible` (#18610)Sebastian Graf2021-03-013-0/+85
* Fix typechecking time bug for large rationals (#15646)Andreas Klebinger2021-02-272-0/+39
* Fix typosBrian Wignall2021-02-062-4/+4
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-223-18/+20
* Accept (fixed) T14059bSebastian Graf2021-01-172-3/+3
* PmCheck: Positive info doesn't imply there is an inhabitant (#18960)Sebastian Graf2021-01-174-0/+55
* Add two warnings to -WallTom Ellis2020-12-192-2/+2
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-1/+1
* Implement BoxedRep proposalAndrew Martin2020-12-141-1/+1
* PmCheck: Print types of uncovered patterns (#18932)Sebastian Graf2020-11-1841-86/+156
* PmCheck: Long-distance information for LocalBinds (#18626)Sebastian Graf2020-09-302-0/+13
* Accept new test output for #17218Sebastian Graf2020-09-252-4/+2
* Add a regression test for #18609Sebastian Graf2020-09-253-0/+75
* Add regression tests for #18371Sebastian Graf2020-09-253-0/+66
* PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#...Sebastian Graf2020-09-243-0/+27
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-223-0/+58
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-124-0/+122
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-127-13/+39
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-1014-0/+220
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-2/+2
* Add long-distance info for pattern bindings (#18572)Sebastian Graf2020-09-103-2/+32
* Implement -Wredundant-bang-patterns (#17340)nineonine2020-08-193-0/+104
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-132-0/+26
* Simplify XRec definitionZubin Duggal2020-07-251-1/+1
* Add regression test for #18478Sebastian Graf2020-07-222-0/+953
* 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
View Lorry Controller Status