Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Enable -Wcompat=error in the testsuite | Vladislav Zavialov | 2018-10-15 | 1 | -2/+2 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -1/+1 |
* | New kind-polymorphic core | Jose Pedro Magalhaes | 2011-11-11 | 1 | -0/+2 |
* | Merge branch 'no-pred-ty' | Max Bolingbroke | 2011-09-09 | 1 | -0/+11 |