Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Do eager instantation in terms | Simon Peyton Jones | 2020-04-22 | 1 | -3/+3 |
* | Implement the -XUnliftedNewtypes extension. | Andrew Martin | 2019-06-14 | 1 | -1/+1 |
* | Remove wc_insol from WantedConstraints | Simon Peyton Jones | 2017-10-11 | 1 | -4/+3 |
* | Track visibility in TypeEqOrigin | Richard Eisenberg | 2017-07-27 | 1 | -3/+4 |
* | Improve error messages around kind mismatches. | Richard Eisenberg | 2017-07-27 | 1 | -9/+4 |
* | Add HsSyn prettyprinter tests | Alan Zimmerman | 2016-12-07 | 1 | -2/+2 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -4/+4 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -11/+4 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -8/+4 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -17/+26 |
* | Improve improvement in the constraint solver | Simon Peyton Jones | 2015-04-29 | 1 | -30/+21 |
* | Eliminate so-called "silent superclass parameters" | Simon Peyton Jones | 2014-12-23 | 1 | -25/+30 |
* | Revise the inert-set invariants again | Simon Peyton Jones | 2014-12-08 | 1 | -1/+1 |
* | Do not discard insoluble Derived constraints | Simon Peyton Jones | 2014-09-26 | 1 | -22/+25 |
* | Do type-class defaulting even if there are insoluble constraints | Simon Peyton Jones | 2014-04-28 | 1 | -4/+4 |
* | Use U+2018 instead of U+201B quote mark in compiler messages | Herbert Valerio Riedel | 2014-02-25 | 1 | -5/+5 |
* | Test Trac #8603 | Simon Peyton Jones | 2013-12-28 | 1 | -0/+22 |