Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add Monad instances to `(,,) a b` and `(,,,) a b c` | Fumiaki Kinoshita | 2019-10-04 | 1 | -1/+1 |
* | Visible kind application | mynguyen | 2019-01-03 | 1 | -8/+6 |
* | Improve type-error reporting | Simon Peyton Jones | 2017-09-25 | 1 | -16/+9 |
* | Move NonEmpty definition into GHC.Base | Herbert Valerio Riedel | 2017-09-04 | 1 | -1/+1 |
* | Improve error messages for skolems | Simon Peyton Jones | 2017-03-10 | 1 | -1/+1 |
* | Generalize kind of the (->) tycon | Ben Gamari | 2017-02-18 | 1 | -1/+2 |
* | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 1 | -15/+0 |
* | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -17/+12 |
* | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -77/+82 |
* | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -81/+77 |
* | Annotate `[-Wdeferred-type-errors]` in warnings (re #10752) | Herbert Valerio Riedel | 2016-02-27 | 1 | -3/+3 |
* | Print which warning-flag controls an emitted warning | Michael Walker | 2016-02-25 | 1 | -3/+3 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -2/+3 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -7/+7 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -25/+66 |
* | Create a deterministic version of tyVarsOfType | Bartosz Nitka | 2015-11-21 | 1 | -39/+39 |
* | Tidy up and refactor wildcard handling | Simon Peyton Jones | 2015-08-05 | 1 | -36/+39 |
* | Better type wildcard errors | Simon Peyton Jones | 2015-07-10 | 1 | -36/+36 |
* | Error message wibbles from out-of-scope changes | Simon Peyton Jones | 2015-06-26 | 1 | -36/+36 |
* | Further elaborate Trac #10403 test | Simon Peyton Jones | 2015-06-23 | 1 | -36/+36 |
* | Elaborate test for Trac #10403 | Simon Peyton Jones | 2015-06-18 | 1 | -17/+36 |
* | Test Trac #10403 | Simon Peyton Jones | 2015-05-18 | 1 | -0/+17 |
* | Revert multiple commits | Austin Seipp | 2015-05-14 | 1 | -17/+0 |
* | Test Trac #10403 | Simon Peyton Jones | 2015-05-13 | 1 | -0/+17 |