Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -1/+1 |
* | Report arity errors correctly despite kinds | Simon Peyton Jones | 2015-06-18 | 1 | -2/+2 |
* | Small improvement to unsaturated-type-function error message | Simon Peyton Jones | 2014-09-04 | 1 | -1/+1 |
* | Check for un-saturated type family applications | Simon Peyton Jones | 2014-08-25 | 1 | -0/+4 |