Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -7/+7 |
* | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -5/+5 |
* | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -15/+14 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -15/+15 |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -6/+6 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -5/+6 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -4/+3 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -13/+14 |
* | Rearrange error msgs and add section markers (Trac #11014). | Evan Laforge | 2015-11-24 | 1 | -1/+1 |
* | Print singleton consraints without parens | Simon Peyton Jones | 2015-01-06 | 1 | -14/+14 |
* | Modify a couple of error messages slightly | Simon Peyton Jones | 2015-01-06 | 1 | -15/+14 |
* | Test #9109 in typecheck/should_fail/T9109 | Richard Eisenberg | 2014-11-20 | 1 | -0/+15 |