Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -1/+1 |
* | Show explicit quantifiers in conflicting definitions error | Phil de Joux | 2017-01-20 | 1 | -2/+0 |
* | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 1 | -1/+11 |
* | Another major improvement of "improvement" | Simon Peyton Jones | 2015-06-11 | 1 | -0/+1 |
* | Improve improvement in the constraint solver | Simon Peyton Jones | 2015-04-29 | 1 | -0/+17 |