| Commit message (Expand) | Author | Age | Files | Lines |
* | Reduce result discount in conSize | Simon Peyton Jones | 2020-07-13 | 1 | -1/+1 |
* | Bump ghc-prim version to 0.7.0 | Ryan Scott | 2020-07-02 | 3 | -3/+3 |
* | Reject nested foralls/contexts in instance types more consistently | Ryan Scott | 2020-06-30 | 4 | -4/+16 |
* | Update testsuite | Sylvain Henry | 2020-06-17 | 3 | -6/+3 |
* | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -1/+1 |
* | base: Bump to 4.15.0.0 | Ben Gamari | 2020-06-17 | 3 | -6/+6 |
* | Make GADT constructors adhere to the forall-or-nothing rule properly | Ryan Scott | 2020-06-09 | 1 | -6/+4 |
* | Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvars | Ryan Scott | 2020-06-05 | 1 | -1/+1 |
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 12 | -16/+36 |
* | Revert "Specify kind variables for inferred kinds in base." | Ben Gamari | 2020-05-25 | 1 | -2/+2 |
* | Specify kind variables for inferred kinds in base. | Baldur Blöndal | 2020-05-08 | 1 | -2/+2 |
* | Flatten nested casts in the simple optimizer | Alexis King | 2020-05-03 | 1 | -1/+1 |
* | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 2 | -2/+2 |
* | simplifier: Kill off ufKeenessFactor | Ben Gamari | 2020-04-07 | 1 | -1/+1 |
* | Re-engineer the binder-swap transformation | Simon Peyton Jones | 2020-04-02 | 1 | -2/+2 |
* | Simplify treatment of heterogeneous equality | Richard Eisenberg | 2020-03-20 | 3 | -16/+6 |
* | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 8 | -8/+8 |
* | Do not bring visible foralls into scope in hsScopedTvswip/T17687 | Ryan Scott | 2020-01-25 | 3 | -0/+13 |
* | Don't zap to Any; error instead | Richard Eisenberg | 2020-01-12 | 11 | -8/+52 |
* | Warn on inferred polymorphic recursion | Richard Eisenberg | 2019-12-11 | 8 | -0/+78 |
* | Strip parentheses in expressions contexts in error messages | Vladislav Zavialov | 2019-11-19 | 1 | -1/+1 |
* | base: Bump version to 4.14.0.0 | Ben Gamari | 2019-11-14 | 3 | -3/+3 |
* | Check EmptyCase by simply adding a non-void constraint | Sebastian Graf | 2019-11-05 | 1 | -1/+4 |
* | PmCheck: Look at precendence to give type signatures to some wildcards | Sebastian Graf | 2019-09-27 | 1 | -1/+1 |
* | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 2 | -2/+2 |
* | Fix bogus type of case expressionwip/T17056 | Simon Peyton Jones | 2019-09-20 | 1 | -1/+1 |
* | Fix #13571 by adding an extension flag check | Richard Eisenberg | 2019-09-17 | 1 | -1/+1 |
* | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 1 | -1/+2 |
* | Testsuite tweaks and refactoring | Ömer Sinan Ağacan | 2019-07-09 | 2 | -2/+2 |
* | testsuite: Add assertions that way lists are in fact lists | Ben Gamari | 2019-06-15 | 1 | -7/+7 |
* | testsuite: Mark T13910 as broken in optasm | Ben Gamari | 2019-06-12 | 1 | -1/+1 |
* | Bump ghc-prim's version where needed | Alexandre | 2019-04-01 | 3 | -3/+3 |
* | base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead | Herbert Valerio Riedel | 2019-03-22 | 3 | -3/+3 |
* | Reject nested predicates in impredicativity checking | Ryan Scott | 2019-03-20 | 2 | -2/+2 |
* | Improve error recovery in the typechecker | Simon Peyton Jones | 2019-03-16 | 8 | -12/+57 |
* | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -1/+1 |
* | Add regression test for #16347 | Ryan Scott | 2019-03-12 | 2 | -1/+9 |
* | Stop inferring over-polymorphic kinds | Simon Peyton Jones | 2019-03-09 | 9 | -2/+50 |
* | Fix #16391 by using occCheckExpand in TcValidity | Ryan Scott | 2019-03-07 | 5 | -0/+35 |
* | Visible dependent quantification | Ryan Scott | 2019-03-01 | 29 | -5/+268 |
* | Treat kind/type variables identically, demolish FKTV | Vladislav Zavialov | 2019-02-27 | 9 | -19/+14 |
* | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 2 | -5/+10 |
* | Disable binder swap in OccurAnal (Trac #16288) | Krzysztof Gogolewski | 2019-02-19 | 1 | -2/+2 |
* | Fix tests which were made to pass by "Make a smart mkAppTyM" | Matthew Pickering | 2019-02-16 | 1 | -1/+1 |
* | Fail fast in solveLocalEqualities | Simon Peyton Jones | 2019-02-14 | 1 | -16/+0 |
* | Fix #14729 by making the normaliser homogeneous | Richard Eisenberg | 2019-02-08 | 5 | -0/+40 |
* | testsuite: Mark T11334b as broken in debugged compiler | Ben Gamari | 2019-02-07 | 1 | -1/+1 |
* | testsuite: Use makefile_test | Ben Gamari | 2019-01-30 | 1 | -2/+1 |
* | Revert "Batch merge" | Ben Gamari | 2019-01-30 | 1 | -1/+2 |
* | Batch merge | Ben Gamari | 2019-01-30 | 1 | -2/+1 |