Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fail fast in solveLocalEqualities | Simon Peyton Jones | 2019-02-14 | 1 | -13/+0 |
* | Remove decideKindGeneralisationPlan | Richard Eisenberg | 2018-08-02 | 1 | -0/+13 |
* | Add test for Trac #14232 | Simon Peyton Jones | 2017-09-14 | 1 | -0/+4 |