| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | PmCheck: Only ever check constantly many models against a single patternwip/pmcheck-limit-deltas | Sebastian Graf | 2019-09-24 | 1 | -178/+160 |
| * | Get rid of PmFakewip/pmcheck-nofake | Sebastian Graf | 2019-09-21 | 1 | -229/+48 |
| * | PredType for type constraints in the pattern match checker instead of EvVar | Sebastian Graf | 2019-09-21 | 1 | -4/+3 |
| * | Module hierarchy: Hs (#13009) | Sylvain Henry | 2019-09-20 | 1 | -2/+2 |
| * | Extract PmTypes module from PmExpr and PmOracle | Sebastian Graf | 2019-09-19 | 1 | -7/+4 |
| * | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 1 | -1687/+629 |
| * | Fix #17112 | Sebastian Graf | 2019-08-28 | 1 | -27/+20 |
| * | Use an empty data type in TTG extension constructors (#15247) | Ryan Scott | 2019-07-09 | 1 | -7/+7 |
| * | Fix typo in error message | Aiken Cairncross | 2019-06-15 | 1 | -1/+1 |
| * | TmOracle: Replace negative term equalities by refutable PmAltCons | Sebastian Graf | 2019-06-07 | 1 | -117/+33 |
| * | Fix missing unboxed tuple RuntimeReps (#16565) | Krzysztof Gogolewski | 2019-05-29 | 1 | -2/+8 |
| * | Stop misusing EWildPat in pattern match coverage checking | Vladislav Zavialov | 2019-04-22 | 1 | -27/+22 |
| * | Make `singleConstructor` cope with pattern synonyms | Sebastian Graf | 2019-04-08 | 1 | -53/+92 |
| * | Fix Uncovered set of literal patterns | Sebastian Graf | 2019-04-03 | 1 | -4/+11 |
| * | Fix a few broken Trac links [skip ci] | Chaitanya Koparkar | 2019-03-27 | 1 | -1/+1 |
| * | Update Wiki URLs to point to GitLab | Takenobu Tani | 2019-03-25 | 1 | -1/+1 |
| * | Check.hs: Fix a few typos | Simon Jakobi | 2019-03-20 | 1 | -5/+5 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -6/+6 |
| * | Fix #14729 by making the normaliser homogeneous | Richard Eisenberg | 2019-02-08 | 1 | -2/+6 |
| * | [TTG: Handling Source Locations] Foundation and Pat | Shayan-Najd | 2018-11-24 | 1 | -16/+18 |
| * | More explicit foralls (GHC Proposal 0007) | Matthew Yacavone | 2018-10-27 | 1 | -1/+1 |
| * | Normalise EmptyCase types using the constraint solver | Ryan Scott | 2018-09-28 | 1 | -29/+60 |
| * | Add a recursivity check in nonVoid | Ryan Scott | 2018-09-23 | 1 | -49/+142 |
| * | Take strict fields into account in coverage checking | Ryan Scott | 2018-08-27 | 1 | -60/+257 |
| * | Fix #15450 by refactoring checkEmptyCase' | Ryan Scott | 2018-08-01 | 1 | -40/+97 |
| * | Fix #15385 by using addDictsDs in matchGuards | Ryan Scott | 2018-07-30 | 1 | -1/+1 |
| * | Fix broken test T14547. | HE, Tao | 2018-06-04 | 1 | -12/+26 |
| * | Improve exhaustiveness checking for literal values and patterns, fix #14546 | HE, Tao | 2018-06-03 | 1 | -55/+108 |
| * | Fix a bad interaction between GADTs and COMPLETE sets | Ryan Scott | 2018-06-02 | 1 | -5/+62 |
| * | vectorise: Put it out of its misery | Ben Gamari | 2018-06-02 | 1 | -5/+0 |
| * | Remove TcType.toTcType | Simon Peyton Jones | 2018-05-21 | 1 | -4/+4 |
| * | Normalize the element type of ListPat, fix #14547 | HE, Tao | 2018-05-08 | 1 | -13/+27 |
| * | Revert "Normalize the element type of ListPat, fix #14547" | Ben Gamari | 2018-05-08 | 1 | -4/+1 |
| * | Normalize the element type of ListPat, fix #14547 | Ben Gamari | 2018-05-08 | 1 | -1/+4 |
| * | Revert "Normalize the element type of ListPat, fix #14547" | Ben Gamari | 2018-05-08 | 1 | -4/+1 |
| * | Normalize the element type of ListPat, fix #14547 | HE, Tao | 2018-05-05 | 1 | -1/+4 |
| * | TTG : complete for balance of hsSyn AST | Alan Zimmerman | 2018-04-27 | 1 | -9/+15 |
| * | Restore Trees That Grow reverted commits | Alan Zimmerman | 2018-04-09 | 1 | -30/+31 |
| * | Fix the coverage checker's treatment of existential tyvars | Ryan Scott | 2018-03-02 | 1 | -6/+137 |
| * | Improve exhaustive checking for guards in pattern bindings and MultiIf. | HE, Tao | 2018-03-02 | 1 | -4/+20 |
| * | Fix #14135 by validity checking matches | Carlos Tomé | 2017-12-14 | 1 | -9/+17 |
| * | Revert "trees that grow" work | Ben Gamari | 2017-11-21 | 1 | -31/+30 |
| * | WIP on combined Step 1 and 3 for Trees That Grow, HsExpr | Alan Zimmerman | 2017-11-11 | 1 | -4/+4 |
| * | WIP on Doing a combined Step 1 and 3 for Trees That Grow | Alan Zimmerman | 2017-11-08 | 1 | -26/+27 |
| * | Revert "WIP on combining Step 1 and 3 of Trees That Grow" | Ben Gamari | 2017-11-07 | 1 | -27/+26 |
| * | WIP on combining Step 1 and 3 of Trees That Grow | Alan Zimmerman | 2017-11-07 | 1 | -26/+27 |
| * | Fix typo in accessor name | Gabor Greif | 2017-10-30 | 1 | -3/+3 |
| * | Minor refactoring | Simon Peyton Jones | 2017-10-11 | 1 | -16/+16 |
| * | Typofixes | Gabor Greif | 2017-09-27 | 1 | -1/+1 |
| * | Document how GHC disambiguates between multiple COMPLETE sets | Ryan Scott | 2017-09-25 | 1 | -1/+6 |
