summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/PmCheck/Types.hs
Commit message (Expand)AuthorAgeFilesLines
* PmCheck: Big refactor of module structureSebastian Graf2020-09-261-690/+0
* PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#...Sebastian Graf2020-09-241-5/+11
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-221-27/+69
* PmCheck - Comments only: Replace /~ by ≁Sebastian Graf2020-09-221-2/+2
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-121-6/+4
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-19/+30
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-27/+61
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-0/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-121-3/+8
* Update compilerSylvain Henry2020-06-171-1/+1
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Modify file paths to module paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Modules (#13009)Sylvain Henry2020-04-181-3/+3
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-3/+3
* Modules: Types (#13009)Sylvain Henry2020-03-291-7/+7
* PmCheck: Use ConLikeSet to model negative infoSebastian Graf2020-03-191-1/+36
* Modules: Core (#13009)Sylvain Henry2020-03-161-4/+4
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-271-3/+19
* Modules: Core (#13009)Sylvain Henry2020-02-261-4/+4
* PmCheck: Properly handle constructor-bound type variablesSebastian Graf2020-01-251-1/+1
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-251-1/+1
* Check EmptyCase by simply adding a non-void constraintSebastian Graf2019-11-051-43/+43
* PmCheck: Identify some semantically equivalent expressionsSebastian Graf2019-10-081-8/+17
* Move pattern match checker modules to GHC.HsToCore.PmCheckSebastian Graf2019-09-301-0/+530
View Lorry Controller Status