Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -2/+2 |
* | Print which warning-flag controls an emitted warning | Michael Walker | 2016-02-25 | 1 | -1/+1 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -8/+8 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -1/+1 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -8/+8 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -27/+28 |
* | Rearrange error msgs and add section markers (Trac #11014). | Evan Laforge | 2015-11-24 | 1 | -5/+5 |
* | Tidy up and refactor wildcard handling | Simon Peyton Jones | 2015-08-05 | 1 | -26/+27 |
* | Better type wildcard errors | Simon Peyton Jones | 2015-07-10 | 1 | -26/+26 |
* | Error message wibbles from out-of-scope changes | Simon Peyton Jones | 2015-06-26 | 1 | -26/+26 |
* | Test Trac #10438 | Simon Peyton Jones | 2015-06-02 | 1 | -0/+26 |