Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reword: representation instead of levity | sheaf | 2021-06-10 | 1 | -8/+10 |
* | Make some simple primops levity-polymorphic | sheaf | 2021-06-04 | 1 | -12/+0 |
* | Allow visible type application for levity-poly data cons | Simon Peyton Jones | 2021-05-07 | 1 | -4/+18 |
* | Various performance improvements | Krzysztof Gogolewski | 2020-06-17 | 1 | -2/+2 |
* | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -22/+6 |
* | Eta expand un-saturated primops | Ben Gamari | 2020-05-29 | 1 | -0/+12 |
* | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 1 | -4/+10 |
* | Don't eta-expand unsaturated primops | Ben Gamari | 2019-06-25 | 1 | -9/+0 |
* | Implement the -XUnliftedNewtypes extension. | Andrew Martin | 2019-06-14 | 1 | -6/+5 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -1/+3 |
* | Fix #13233 by checking for lev-poly primops | Richard Eisenberg | 2017-05-02 | 1 | -3/+3 |
* | Fix #13233 by checking for lev-poly primops | Richard Eisenberg | 2017-05-02 | 1 | -0/+24 |