Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve error messages for skolems | Simon Peyton Jones | 2017-03-10 | 1 | -4/+4 |
* | Remove redundant-constraints from -Wall (#10635) | Adam C. Foltzer | 2016-08-31 | 1 | -4/+4 |
* | Testsuite: remove Windows CR again.. [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -20/+20 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -20/+20 |
* | DynFlags: Add -Wredundant-constraints to -Wall | Ben Gamari | 2016-02-29 | 1 | -4/+4 |
* | Annotate `[-Wredundant-constraints]` in warnings (re #10752) | Herbert Valerio Riedel | 2016-02-27 | 1 | -4/+4 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -20/+20 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -18/+20 |
* | Make TcRnMonad.reportWarning call makeIntoWarning | Simon Peyton Jones | 2015-01-09 | 1 | -4/+4 |
* | Fix stderr for T9939 | Simon Peyton Jones | 2015-01-07 | 1 | -1/+18 |
* | Test Trac #9939 | Simon Peyton Jones | 2015-01-06 | 1 | -0/+1 |