| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | Refactor validity checking for constraints | Simon Peyton Jones | 2018-07-05 | 1 | -2/+2 |
| * | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 8 | -72/+86 |
| * | Improved Valid Hole Fits | Matthías Páll Gissurarson | 2018-05-30 | 1 | -4/+1 |
| * | Clean up the conflicting data family instances error message | Ryan Scott | 2018-05-24 | 2 | -2/+2 |
| * | ghc-prim: Bump version | Ben Gamari | 2018-05-20 | 48 | -48/+48 |
| * | Another batch of './validation --slow' tweaks | Alp Mestanogullari | 2018-05-20 | 1 | -1/+10 |
| * | Fix #15039 by pretty-printing equalities more systematically | Ryan Scott | 2018-05-16 | 9 | -1/+393 |
| * | Add 'addWordC#' PrimOp | Sebastian Graf | 2018-05-05 | 48 | -48/+48 |
| * | Bump base to version 4.12.0.0 | Ryan Scott | 2018-04-19 | 48 | -48/+48 |
| * | Bump version numbers: base-4.11.1.0, integer-gmp-1.0.2.0 | Ryan Scott | 2018-04-13 | 48 | -96/+96 |
| * | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -3/+1 |
| * | Allow PartialTypeSignatures in standalone deriving contexts | Ryan Scott | 2018-03-23 | 2 | -0/+8 |
| * | testsuite: Fix test output of T14715 | Ben Gamari | 2018-01-31 | 1 | -1/+10 |
| * | Move zonkWC to the right place in simplfyInfer | Simon Peyton Jones | 2018-01-31 | 3 | -0/+21 |
| * | Fix two more bugs in partial signatures | Simon Peyton Jones | 2018-01-09 | 5 | -2/+39 |
| * | Minimise provided dictionaries in pattern synonyms | Simon Peyton Jones | 2017-11-08 | 5 | -50/+50 |
| * | Bump ghc-prim to 0.5.2.0 and update changelog | Herbert Valerio Riedel | 2017-10-17 | 48 | -48/+48 |
| * | Improve type-error reporting | Simon Peyton Jones | 2017-09-25 | 8 | -52/+27 |
| * | Deal with large extra-contraints wildcards | Simon Peyton Jones | 2017-09-25 | 3 | -0/+141 |
| * | Also show types that subsume a hole as valid substitutions for that hole. | Matthías Páll Gissurarson | 2017-09-21 | 1 | -0/+6 |
| * | Bump base to 4.11.0.0 | Ben Gamari | 2017-09-21 | 48 | -96/+96 |
| * | Move NonEmpty definition into GHC.Base | Herbert Valerio Riedel | 2017-09-04 | 1 | -1/+1 |
| * | ghc-prim: Bump version | Ben Gamari | 2017-07-23 | 48 | -48/+48 |
| * | Some tidying up of type pretty-printing | Simon Peyton Jones | 2017-05-26 | 3 | -5/+5 |
| * | Only pretty-print binders in closed type families with -fprint-explicit-foralls | Ryan Scott | 2017-04-25 | 1 | -1/+1 |
| * | Yet more work on TcSimplify.simplifyInfer | Simon Peyton Jones | 2017-04-13 | 4 | -1/+55 |
| * | Be less aggressive about fragile-context warrnings | Simon Peyton Jones | 2017-04-06 | 1 | -4/+6 |
