Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement QuantifiedConstraints | Simon Peyton Jones | 2018-06-04 | 1 | -4/+4 |
* | Testsuite: delete Windows line endings [skip ci] (#11631) | Thomas Miedema | 2016-02-23 | 1 | -12/+12 |
* | Allow foralls in instance decls | Simon Peyton Jones | 2016-02-08 | 1 | -15/+12 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -8/+15 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -8/+8 |
* | Reject forall types in constraints in signatures | Simon Peyton Jones | 2014-06-20 | 1 | -0/+8 |