| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -5/+22 |
| * | Make implication tidying agree with Note [Tidying multiple names at once] | Matthew Pickering | 2022-02-05 | 1 | -12/+12 |
| * | Use GHC2021 as default language | Joachim Breitner | 2021-03-10 | 1 | -9/+9 |
| * | Kill floatEqualities completely | Simon Peyton Jones | 2020-12-20 | 1 | -23/+6 |
| * | Remove flattening variables | Richard Eisenberg | 2020-12-01 | 1 | -1/+1 |
| * | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -1/+1 |
| * | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -10/+10 |
| * | 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 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |