| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
| * | Add missing Semigroup instances to compiler | Herbert Valerio Riedel | 2017-08-31 | 1 | -15/+30 |
| * | Change isClosedAlgType to be TYPE-aware, and rename it to pmIsClosedType | Ryan Scott | 2017-08-12 | 1 | -14/+147 |
| * | Don't warn when empty casing on Type | Ryan Scott | 2017-08-05 | 1 | -0/+14 |
| * | Use field names for all uses of datacon Match | Simon Peyton Jones | 2017-07-31 | 1 | -2/+2 |
| * | Refactoring around FunRhs | Simon Peyton Jones | 2017-07-31 | 1 | -3/+3 |
| * | Fix instantiation of pattern synonyms | Simon Peyton Jones | 2017-07-28 | 1 | -8/+9 |
| * | Treat banged bindings as FunBinds | Ben Gamari | 2017-06-27 | 1 | -3/+3 |
| * | Udate hsSyn AST to use Trees that Grow | Alan Zimmerman | 2017-06-06 | 1 | -32/+34 |
| * | Use lengthIs and friends in more places | Ryan Scott | 2017-06-02 | 1 | -8/+4 |
| * | Revert "Treat banged bindings as FunBinds" | Ben Gamari | 2017-05-12 | 1 | -3/+3 |
| * | pmCheck: Don't generate PmId OccNames from Uniques | Ben Gamari | 2017-05-11 | 1 | -1/+1 |
| * | Treat banged bindings as FunBinds | Ben Gamari | 2017-05-08 | 1 | -3/+3 |
| * | Make XNegativeLiterals treat -0.0 as negative 0 | Nolan | 2017-05-08 | 1 | -7/+13 |
| * | Fix #13233 by checking for lev-poly primops | Richard Eisenberg | 2017-05-02 | 1 | -1/+1 |
| * | Typos in comments [ci skip] | Gabor Greif | 2017-04-11 | 1 | -1/+1 |
| * | Read COMPLETE sets from external packages | Ben Gamari | 2017-03-06 | 1 | -5/+6 |
| * | Revert "Read COMPLETE sets from external packages" | Ben Gamari | 2017-03-03 | 1 | -6/+5 |
| * | Read COMPLETE sets from external packages | Ryan Scott | 2017-03-02 | 1 | -5/+6 |
| * | Kill inaccessible-branch complaints in record update | Simon Peyton Jones | 2017-02-08 | 1 | -2/+26 |
