Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Scrub some no-warning pragmas. | M Farkas-Dyck | 2022-11-23 | 1 | -1/+0 |
* | Type vs Constraint: finally nailed | Simon Peyton Jones | 2022-11-11 | 1 | -11/+11 |
* | Minor refactor around FastStrings | Krzysztof Gogolewski | 2022-11-05 | 1 | -1/+2 |
* | Rework the handling of SkolemInfo | Matthew Pickering | 2022-01-29 | 1 | -1/+1 |
* | Misc cleanup | Krzysztof Gogolewski | 2021-11-25 | 1 | -9/+0 |
* | Persist CorePrepProv into IfaceUnivCoProv | Simon Peyton Jones | 2021-05-04 | 1 | -1/+1 |
* | Eliminate unsafeEqualityProof in CorePrep | Simon Peyton Jones | 2021-04-26 | 1 | -0/+1 |
* | CoreTidy: handle special cases to preserve more sharing. | Sylvain Henry | 2021-04-09 | 1 | -1/+2 |
* | CoreTidy: enhance strictness note | Ben Gamari | 2021-04-09 | 1 | -5/+15 |
* | Fix strictness in TyCo.Tidy (#14738) | Sylvain Henry | 2021-01-28 | 1 | -18/+38 |
* | Name (tc)SplitForAll- functions more consistently | Ryan Scott | 2020-11-15 | 1 | -4/+4 |
* | Various performance improvements | Krzysztof Gogolewski | 2020-06-17 | 1 | -2/+2 |
* | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -7/+7 |
* | Modify file paths to module paths for new module hierarchy | Takenobu Tani | 2020-06-01 | 1 | -1/+1 |
* | Clean up file paths for new module hierarchy | Takenobu Tani | 2020-06-01 | 1 | -1/+1 |
* | Modules: Utils and Data (#13009) | Sylvain Henry | 2020-04-26 | 1 | -2/+2 |
* | Modules: Types (#13009) | Sylvain Henry | 2020-03-29 | 1 | -4/+4 |
* | Modules: Core (#13009) | Sylvain Henry | 2020-03-16 | 1 | -0/+235 |