Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove some more Windows line endings [skip ci] | Thomas Miedema | 2016-02-29 | 1 | -4/+4 |
* | Allow foralls in instance decls | Simon Peyton Jones | 2016-02-08 | 1 | -4/+4 |
* | Remove the check_lifted check in TcValidity | Simon Peyton Jones | 2016-01-21 | 1 | -7/+3 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -1/+1 |
* | Check for boxed tau types in the LHS of type family instances | Simon Peyton Jones | 2014-07-25 | 1 | -0/+8 |