summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/PmCheck.hs
Commit message (Expand)AuthorAgeFilesLines
* PmCheck: Big refactor of module structureSebastian Graf2020-09-261-1446/+0
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-221-61/+25
* PmCheck - Comments only: Replace /~ by ≁Sebastian Graf2020-09-221-9/+9
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-124/+142
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-831/+867
* Add long-distance info for pattern bindings (#18572)Sebastian Graf2020-09-101-34/+41
* Implement -Wredundant-bang-patterns (#17340)nineonine2020-08-191-44/+131
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-74/+96
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+0
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-2/+3
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+1
* PmCheck: Pick up `EvVar`s bound in `HsWrapper`s for long-distance infoSebastian Graf2020-05-011-15/+26
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-8/+8
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-7/+9
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-171-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-5/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-4/+4
* Minor cleanupKrzysztof Gogolewski2020-03-291-2/+2
* Modules: Types (#13009)Sylvain Henry2020-03-291-5/+5
* DynFlags refactoring IIISylvain Henry2020-03-251-1/+2
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-3/+3
* Modules: Core (#13009)Sylvain Henry2020-03-161-7/+7
* Monotonic locations (#17632)Vladislav Zavialov2020-02-291-2/+2
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-271-81/+67
* Modules: Core (#13009)Sylvain Henry2020-02-261-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Use concatMap(M) instead of `concat . map` and the monadic variantÖmer Sinan Ağacan2020-02-201-1/+2
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-9/+9
* Fix long distance info for record updatesSebastian Graf2020-02-101-5/+19
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-081-1/+1
* PmCheck: Record type constraints arising from existentials in `PmCoreCt`sSebastian Graf2020-02-051-1/+0
* PmCheck: Properly handle constructor-bound type variablesSebastian Graf2020-01-251-10/+12
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-251-428/+353
* replace dead html link (fixes #17661)Adam Wespiser2020-01-161-1/+1
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-14/+14
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Check EmptyCase by simply adding a non-void constraintSebastian Graf2019-11-051-78/+63
* Separate `LPat` from `Pat` on the type-levelSebastian Graf2019-11-021-17/+23
* Much simpler language for PmCheckSebastian Graf2019-10-111-420/+333
* Move pattern match checker modules to GHC.HsToCore.PmCheckSebastian Graf2019-09-301-0/+1471
View Lorry Controller Status