Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Unify result type earlier to improve error messages | Simon Peyton Jones | 2021-03-01 | 1 | -7/+8 |
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -4/+4 |
* | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 1 | -2/+2 |
* | Clone relevant constraints to avoid side-effects on HoleDests. Fixes #15370. | Matthías Páll Gissurarson | 2018-07-24 | 1 | -0/+42 |