| Commit message (Expand) | Author | Age | Files | Lines |
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 10 | -19/+46 |
* | Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942) | Artyom Kuznetsov | 2020-09-19 | 4 | -19/+1 |
* | Reject nested foralls/contexts in instance types more consistently | Ryan Scott | 2020-06-30 | 4 | -4/+16 |
* | 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 | 11 | -15/+35 |
* | 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 |
* | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -1/+1 |
* | Simplify treatment of heterogeneous equality | Richard Eisenberg | 2020-03-20 | 3 | -16/+6 |
* | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 6 | -6/+6 |
* | 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 | 10 | -4/+104 |
* | 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 |
* | Testsuite tweaks and refactoring | Ömer Sinan Ağacan | 2019-07-09 | 1 | -1/+1 |
* | Improve error recovery in the typechecker | Simon Peyton Jones | 2019-03-16 | 8 | -12/+57 |
* | Stop inferring over-polymorphic kinds | Simon Peyton Jones | 2019-03-09 | 5 | -0/+33 |
* | Fix #16391 by using occCheckExpand in TcValidity | Ryan Scott | 2019-03-07 | 3 | -0/+18 |
* | Visible dependent quantification | Ryan Scott | 2019-03-01 | 26 | -5/+213 |
* | Treat kind/type variables identically, demolish FKTV | Vladislav Zavialov | 2019-02-27 | 7 | -7/+28 |
* | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 2 | -5/+10 |
* | 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 |
* | testsuite: Mark T11334b as broken in debugged compiler | Ben Gamari | 2019-02-07 | 1 | -1/+1 |
* | Fix #15954 by rejigging check_type's order | Ryan Scott | 2018-12-03 | 2 | -1/+2 |
* | Taming the Kind Inference Monster | Simon Peyton Jones | 2018-11-29 | 10 | -74/+47 |
* | Overhaul -fprint-explicit-kinds to use VKA | Ryan Scott | 2018-11-22 | 1 | -2/+3 |
* | Smarter HsType pretty-print for promoted datacons | Simon Peyton Jones | 2018-11-15 | 2 | -5/+5 |
* | Actually add test for #15859. | Richard Eisenberg | 2018-11-05 | 1 | -0/+13 |
* | Fix #15859 by checking, not assuming, an ArgFlag | Richard Eisenberg | 2018-11-05 | 2 | -0/+7 |
* | Test #15825 in dependent/should_fail/T15825 | Richard Eisenberg | 2018-10-29 | 3 | -0/+20 |
* | Finish fix for #14880. | Tobias Dammers | 2018-10-28 | 15 | -33/+102 |
* | Better error reporting for inaccessible code | Simon Peyton Jones | 2018-08-24 | 1 | -1/+1 |
* | Remove decideKindGeneralisationPlan | Richard Eisenberg | 2018-08-02 | 7 | -35/+56 |
* | Remove the type-checking knot. | Richard Eisenberg | 2018-08-01 | 3 | -1/+27 |
* | Fix decompsePiCos and visible type application | Simon Peyton Jones | 2018-07-10 | 3 | -0/+23 |
* | Fix #15308 by suppressing invisble args more rigorously | Ryan Scott | 2018-07-05 | 3 | -0/+18 |
* | Remove accidentally checked-in T14845.stderr | Ryan Scott | 2018-06-17 | 1 | -7/+0 |
* | Provide a better error message for unpromotable data constructor contexts | Ryan Scott | 2018-06-17 | 10 | -2/+86 |
* | Make better "fake tycons" in error recovery | Simon Peyton Jones | 2018-06-15 | 3 | -0/+25 |
* | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 36 | -72/+76 |
* | Orient TyVar/TyVar equalities with deepest on the left | Simon Peyton Jones | 2018-05-18 | 1 | -5/+5 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 24 | -30/+193 |
* | Fix #12919 by making the flattener homegeneous. | Richard Eisenberg | 2018-03-26 | 2 | -14/+13 |
* | Typofixes [ci skip] | Gabor Greif | 2017-07-30 | 1 | -1/+1 |
* | Add regression tests for #13601, #13780, #13877 | Ryan Scott | 2017-07-28 | 8 | -0/+106 |
* | Improve error messages around kind mismatches. | Richard Eisenberg | 2017-07-27 | 3 | -6/+9 |
* | Apply the right substitution in ty-fam improvement | Simon Peyton Jones | 2017-01-23 | 3 | -0/+133 |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -1/+1 |