Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fail fast in solveLocalEqualities | Simon Peyton Jones | 2019-02-14 | 1 | -106/+1 |
* | Taming the Kind Inference Monster | Simon Peyton Jones | 2018-11-29 | 1 | -4/+4 |
* | Remove decideKindGeneralisationPlan | Richard Eisenberg | 2018-08-02 | 1 | -14/+44 |
* | Unwrap casts before checking vars in eager unifier | Richard Eisenberg | 2018-07-10 | 1 | -7/+52 |
* | testsuite: Accept output for T12593 | Ben Gamari | 2018-04-06 | 1 | -2/+2 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -52/+7 |
* | Fix #13819 by refactoring TypeEqOrigin.uo_thing | Richard Eisenberg | 2017-07-27 | 1 | -4/+3 |
* | Improve error messages around kind mismatches. | Richard Eisenberg | 2017-07-27 | 1 | -0/+56 |
* | Fix a bug in occurs checking | Simon Peyton Jones | 2016-09-30 | 1 | -0/+31 |