Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -4/+2 |
* | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -16/+16 |
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -44/+44 |
* | Give seq a more precise type and remove magic | Ben Gamari | 2019-11-19 | 1 | -4/+4 |
* | base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead | Herbert Valerio Riedel | 2019-03-22 | 1 | -8/+0 |
* | Add built-in syntax suggestions, and refactor to allow library use | Matthías Páll Gissurarson | 2018-11-01 | 1 | -18/+18 |
* | Fix `print-explicit-runtime-reps` (#11786). | HE, Tao | 2018-06-08 | 1 | -82/+58 |
* | Improved Valid Hole Fits | Matthías Páll Gissurarson | 2018-05-30 | 1 | -0/+277 |