| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | 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 |