Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Enable -Wcompat=error in the testsuite | Vladislav Zavialov | 2018-10-15 | 1 | -5/+5 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -1/+1 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -1/+0 |
* | Major patch to add -fwarn-redundant-constraints | Simon Peyton Jones | 2015-01-06 | 1 | -0/+1 |
* | Further improvements to floating equalities | Simon Peyton Jones | 2014-07-18 | 1 | -0/+87 |