| Commit message (Expand) | Author | Age | Files | Lines |
* | Drop support for kind constraints.wip/p547 | Richard Eisenberg | 2022-12-24 | 1 | -0/+1 |
* | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -0/+1 |
* | Introduce Concrete# for representation polymorphism checks | sheaf | 2021-10-17 | 1 | -1/+0 |
* | The result kind of a signature can't mention quantified vars | Simon Peyton Jones | 2021-03-31 | 1 | -0/+7 |
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -0/+1 |
* | Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942) | Artyom Kuznetsov | 2020-09-19 | 1 | -1/+0 |
* | Reject nested foralls/contexts in instance types more consistently | Ryan Scott | 2020-06-30 | 1 | -0/+1 |
* | Do not bring visible foralls into scope in hsScopedTvswip/T17687 | Ryan Scott | 2020-01-25 | 1 | -0/+1 |
* | Don't zap to Any; error instead | Richard Eisenberg | 2020-01-12 | 1 | -0/+4 |
* | Warn on inferred polymorphic recursion | Richard Eisenberg | 2019-12-11 | 1 | -0/+3 |
* | 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 | 1 | -1/+3 |
* | Stop inferring over-polymorphic kinds | Simon Peyton Jones | 2019-03-09 | 1 | -0/+2 |
* | Fix #16391 by using occCheckExpand in TcValidity | Ryan Scott | 2019-03-07 | 1 | -0/+1 |
* | Visible dependent quantification | Ryan Scott | 2019-03-01 | 1 | -0/+12 |
* | Treat kind/type variables identically, demolish FKTV | Vladislav Zavialov | 2019-02-27 | 1 | -0/+1 |
* | Fix tests which were made to pass by "Make a smart mkAppTyM" | Matthew Pickering | 2019-02-16 | 1 | -1/+1 |
* | testsuite: Mark T11334b as broken in debugged compiler | Ben Gamari | 2019-02-07 | 1 | -1/+1 |
* | Fix #15859 by checking, not assuming, an ArgFlag | Richard Eisenberg | 2018-11-05 | 1 | -0/+1 |
* | Test #15825 in dependent/should_fail/T15825 | Richard Eisenberg | 2018-10-29 | 1 | -0/+1 |
* | Finish fix for #14880. | Tobias Dammers | 2018-10-28 | 1 | -1/+4 |
* | Remove decideKindGeneralisationPlan | Richard Eisenberg | 2018-08-02 | 1 | -1/+0 |
* | Remove the type-checking knot. | Richard Eisenberg | 2018-08-01 | 1 | -1/+1 |
* | Fix decompsePiCos and visible type application | Simon Peyton Jones | 2018-07-10 | 1 | -0/+2 |
* | Fix #15308 by suppressing invisble args more rigorously | Ryan Scott | 2018-07-05 | 1 | -0/+1 |
* | Provide a better error message for unpromotable data constructor contexts | Ryan Scott | 2018-06-17 | 1 | -0/+3 |
* | Make better "fake tycons" in error recovery | Simon Peyton Jones | 2018-06-15 | 1 | -0/+1 |
* | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -1/+1 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -2/+9 |
* | Fix #12919 by making the flattener homegeneous. | Richard Eisenberg | 2018-03-26 | 1 | -1/+1 |
* | Add regression tests for #13601, #13780, #13877 | Ryan Scott | 2017-07-28 | 1 | -0/+4 |
* | Improve error messages around kind mismatches. | Richard Eisenberg | 2017-07-27 | 1 | -1/+1 |
* | Apply the right substitution in ty-fam improvement | Simon Peyton Jones | 2017-01-23 | 1 | -0/+1 |
* | Test Trac #12081 | Simon Peyton Jones | 2016-10-24 | 1 | -0/+1 |
* | Test Trac #12174 | Simon Peyton Jones | 2016-10-24 | 1 | -0/+1 |
* | Rename test for #11334 to 11334b, fixing conflict | Richard Eisenberg | 2016-03-21 | 1 | -1/+1 |
* | Clean up some pretty-printing in errors. | Richard Eisenberg | 2016-03-15 | 1 | -0/+1 |
* | Fix #11473. | Richard Eisenberg | 2016-03-15 | 1 | -0/+1 |
* | Fix #11648. | Richard Eisenberg | 2016-03-14 | 1 | -0/+2 |
* | Fix #11334. | Richard Eisenberg | 2016-03-14 | 1 | -0/+1 |
* | Fix #11407. | Richard Eisenberg | 2016-03-14 | 1 | -0/+1 |
* | Suggest import Data.Kinds when * is out of scope | Richard Eisenberg | 2015-12-14 | 1 | -0/+1 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -0/+9 |