Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixes around unsafeCoerce#wip/unsafe-coerce-doc | Krzysztof Gogolewski | 2023-03-30 | 1 | -8/+16 |
* | Implement BoxedRep proposalwip/boxed-rep | Ben Gamari | 2021-03-07 | 1 | -2/+2 |
* | Revert "Implement BoxedRep proposal" | Ben Gamari | 2020-12-15 | 1 | -2/+2 |
* | Implement BoxedRep proposal | Andrew Martin | 2020-12-14 | 1 | -2/+2 |
* | Re-implement unsafe coercions in terms of unsafe equality proofs | Simon Peyton Jones | 2020-02-20 | 1 | -2/+2 |
* | Print Core type applications with no whitespace after @ (#17643) | Ryan Scott | 2020-01-08 | 1 | -20/+10 |
* | Refactor GHCi UI to fix #11606, #12091, #15721, #16096 | Ömer Sinan Ağacan | 2019-01-13 | 1 | -0/+56 |