Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #13819 by refactoring TypeEqOrigin.uo_thing | Richard Eisenberg | 2017-07-27 | 1 | -3/+3 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -4/+3 |
* | Added more testing for #9200. (polykinds/T9200b) | Richard Eisenberg | 2014-08-12 | 1 | -0/+6 |