Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve type-error reporting | Simon Peyton Jones | 2017-09-25 | 1 | -5/+5 |
* | Fix TcSimplify.decideQuantification for kind variables | Simon Peyton Jones | 2017-03-10 | 1 | -5/+5 |
* | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -8/+8 |
* | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -17/+10 |
* | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -38/+45 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -44/+38 |
* | Print which warning-flag controls an emitted warning | Michael Walker | 2016-02-25 | 1 | -2/+2 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -6/+6 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -2/+2 |
* | Test Trac #11192 | Simon Peyton Jones | 2015-12-10 | 1 | -0/+44 |