Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Coercion Quantification | ningning | 2018-09-15 | 1 | -1/+1 |
* | Replace most occurences of foldl with foldl'. | klebinger.andreas@gmx.at | 2018-08-21 | 1 | -1/+1 |
* | Turn on MonadFail desugaring by default | Herbert Valerio Riedel | 2018-08-07 | 1 | -10/+15 |
* | Restore Trees That Grow reverted commits | Alan Zimmerman | 2018-04-09 | 1 | -0/+1 |
* | Revert "trees that grow" work | Ben Gamari | 2017-11-21 | 1 | -1/+0 |
* | WIP on Doing a combined Step 1 and 3 for Trees That Grow | Alan Zimmerman | 2017-11-08 | 1 | -0/+1 |
* | Revert "WIP on combining Step 1 and 3 of Trees That Grow" | Ben Gamari | 2017-11-07 | 1 | -1/+0 |
* | WIP on combining Step 1 and 3 of Trees That Grow | Alan Zimmerman | 2017-11-07 | 1 | -0/+1 |
* | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
* | Udate hsSyn AST to use Trees that Grow | Alan Zimmerman | 2017-06-06 | 1 | -49/+50 |
* | Treat banged bindings as FunBinds | Ben Gamari | 2017-05-08 | 1 | -7/+6 |
* | Derive the definition of null | David Feuer | 2017-04-02 | 1 | -5/+127 |
* | Clean up coreView/tcView. | Ben Gamari | 2017-03-31 | 1 | -1/+1 |
* | Deriving for phantom and empty types | David Feuer | 2017-03-30 | 1 | -39/+177 |
* | Typos in manual and comments [ci skip] | Gabor Greif | 2017-03-17 | 1 | -1/+1 |
* | Typos in comments [skip ci] | Gabor Greif | 2017-02-07 | 1 | -1/+1 |
* | Derive <$ | David Feuer | 2017-02-07 | 1 | -7/+147 |
* | Add liftA2 to Applicative class | David Feuer | 2017-02-05 | 1 | -6/+9 |
* | Spelling fixes | Gabor Greif | 2017-02-02 | 1 | -1/+1 |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -5/+7 |
* | Typos in comments | Gabor Greif | 2016-12-16 | 1 | -1/+1 |
* | Add infix flag for class and data declarations | Alan Zimmerman | 2016-12-12 | 1 | -0/+1 |
* | Add HsSyn prettyprinter tests | Alan Zimmerman | 2016-12-07 | 1 | -1/+4 |
* | Refactor TcDeriv and TcGenDeriv | Ryan Scott | 2016-10-06 | 1 | -0/+875 |