summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/PmCheck/Oracle.hs
Commit message (Expand)AuthorAgeFilesLines
* PmCheck: Record type constraints arising from existentials in `PmCoreCt`sSebastian Graf2020-02-051-105/+134
* PmCheck: Properly handle constructor-bound type variablesSebastian Graf2020-01-251-71/+114
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-251-86/+137
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-6/+6
* Add GHC-API logging hooksSylvain Henry2019-12-181-1/+1
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-161-2/+2
* Check EmptyCase by simply adding a non-void constraintSebastian Graf2019-11-051-177/+184
* Much simpler language for PmCheckSebastian Graf2019-10-111-6/+6
* PmCheck: Look up parent data family TyCon when populating `PossibleMatches`Sebastian Graf2019-10-081-23/+70
* PmCheck: Identify some semantically equivalent expressionsSebastian Graf2019-10-081-19/+68
* Move pattern match checker modules to GHC.HsToCore.PmCheckSebastian Graf2019-09-301-0/+1548