| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Improve error reporting in generated code | Simon Peyton Jones | 2022-05-04 | 1 | -2/+2 |
| * | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 3 | -5/+29 |
| * | Make implication tidying agree with Note [Tidying multiple names at once] | Matthew Pickering | 2022-02-05 | 4 | -23/+23 |
| * | Rework the handling of SkolemInfo | Matthew Pickering | 2022-01-29 | 1 | -5/+5 |
| * | Improve partial signatures | Simon Peyton Jones | 2022-01-27 | 4 | -1/+75 |
| * | Eradicate TcRnUnknownMessage from GHC.Tc.Deriv | Alfredo Di Napoli | 2021-10-05 | 3 | -0/+15 |
| * | Remove transitive information about modules and packages from interface files | Matthew Pickering | 2021-05-19 | 48 | -48/+48 |
| * | Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-design | Alfredo Di Napoli | 2021-03-29 | 4 | -16/+20 |
| * | Use GHC2021 as default language | Joachim Breitner | 2021-03-10 | 6 | -13/+17 |
| * | Make matchableGivens more reliably correct. | Richard Eisenberg | 2021-01-23 | 2 | -0/+14 |
| * | Establish invariant (GivenInv) | Simon Peyton Jones | 2021-01-02 | 6 | -1/+60 |
| * | Kill floatEqualities completely | Simon Peyton Jones | 2020-12-20 | 2 | -30/+12 |
| * | Remove flattening variables | Richard Eisenberg | 2020-12-01 | 18 | -35/+38 |
| * | Replace HsImplicitBndrs with HsOuterTyVarBndrs | Ryan Scott | 2020-11-06 | 2 | -0/+15 |
| * | Add -Wnoncanonical-{monad,monoid}-instances to standardWarnings | Fumiaki Kinoshita | 2020-10-14 | 1 | -1/+0 |
| * | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -1/+1 |
| * | Use a newtype `Code` for the return type of typed quotations (Proposal #195) | Matthew Pickering | 2020-07-21 | 2 | -3/+3 |
| * | Bump ghc-prim version to 0.7.0 | Ryan Scott | 2020-07-02 | 48 | -48/+48 |
| * | Update testsuite | Sylvain Henry | 2020-06-17 | 48 | -96/+48 |
| * | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 16 | -73/+73 |
| * | Revert "Specify kind variables for inferred kinds in base." | Ben Gamari | 2020-05-25 | 2 | -2/+2 |
| * | Specify kind variables for inferred kinds in base. | Baldur Blöndal | 2020-05-08 | 2 | -2/+2 |
| * | Refactor hole constraints. | Richard Eisenberg | 2020-05-06 | 1 | -8/+8 |
| * | Add a missing zonk in tcHsPartialType | Simon Peyton Jones | 2020-04-18 | 3 | -0/+13 |
| * | Fix #18052 by using pprPrefixOcc in more places | Ryan Scott | 2020-04-15 | 1 | -25/+25 |
| * | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 14 | -186/+194 |
| * | Improve skolemisation | Simon Peyton Jones | 2020-02-01 | 13 | -17/+17 |
| * | Pretty-printing of the * kind | Vladislav Zavialov | 2019-12-05 | 2 | -10/+10 |
| * | Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookahead | Vladislav Zavialov | 2019-11-27 | 1 | -15/+15 |
| * | Fix typos | Brian Wignall | 2019-11-23 | 1 | -1/+1 |
| * | Strip parentheses in expressions contexts in error messages | Vladislav Zavialov | 2019-11-19 | 1 | -1/+1 |
| * | Add Monad instances to `(,,) a b` and `(,,,) a b c` | Fumiaki Kinoshita | 2019-10-04 | 1 | -1/+1 |
| * | Fix typechecking of partial type signatures | Simon Peyton Jones | 2019-06-19 | 7 | -0/+71 |
| * | Bump ghc-prim's version where needed | Alexandre | 2019-04-01 | 48 | -48/+48 |
| * | base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead | Herbert Valerio Riedel | 2019-03-22 | 48 | -49/+49 |
| * | Add location to the extra-constraints wildcard | Simon Peyton Jones | 2019-03-16 | 11 | -20/+20 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 2 | -2/+2 |
| * | Ignore more version numbers in the testsuite | Alec Theriault | 2019-03-11 | 1 | -0/+2 |
| * | Treat kind/type variables identically, demolish FKTV | Vladislav Zavialov | 2019-02-27 | 7 | -4/+15 |
| * | Visible kind application | mynguyen | 2019-01-03 | 26 | -96/+105 |
| * | Wibble to Taming the Kind Inference Monster | Simon Peyton Jones | 2018-12-07 | 7 | -18/+16 |
| * | Taming the Kind Inference Monster | Simon Peyton Jones | 2018-11-29 | 7 | -23/+22 |
| * | Overhaul -fprint-explicit-kinds to use VKA | Ryan Scott | 2018-11-22 | 2 | -10/+10 |
| * | Fix #15852 by eta expanding data family instance RHSes, too | Ryan Scott | 2018-11-22 | 3 | -8/+8 |
| * | Fix nasty bug in the type free-var finder, at last | Simon Peyton Jones | 2018-10-26 | 5 | -5/+5 |
| * | Refactor the treatment of predicate types | Simon Peyton Jones | 2018-10-24 | 2 | -5/+4 |
| * | Improve output from -ddump-types | Simon Peyton Jones | 2018-10-24 | 47 | -111/+15 |
| * | Enable -Wcompat=error in the testsuite | Vladislav Zavialov | 2018-10-15 | 4 | -13/+17 |
| * | Better -ddump-types | Simon Peyton Jones | 2018-10-04 | 7 | -12/+13 |
| * | Do not imply NoStarIsType by TypeOperators/TypeInType | Vladislav Zavialov | 2018-07-16 | 2 | -38/+28 |
