Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -5/+5 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -15/+15 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -5/+5 |
* | Fix off-by-one error in GHCi line reporting (Trac #10578) | Ömer Sinan Ağacan | 2015-07-17 | 1 | -5/+5 |
* | Improve error message for Typeable k (T k) | Simon Peyton Jones | 2015-06-26 | 1 | -30/+25 |
* | Modify a couple of error messages slightly | Simon Peyton Jones | 2015-01-06 | 1 | -30/+30 |
* | Filter instance visibility based on set of visible orphans, fixes #2182.ghc-instvis | Edward Z. Yang | 2014-11-29 | 1 | -0/+30 |