Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Treat kind/type variables identically, demolish FKTV | Vladislav Zavialov | 2019-02-27 | 1 | -7/+1 |
* | Taming the Kind Inference Monster | Simon Peyton Jones | 2018-11-29 | 1 | -1/+1 |
* | Refactor bindHsQTyVars and friends | Simon Peyton Jones | 2017-08-29 | 1 | -4/+6 |
* | Fix #13983 by creating a TyConFlavour type, and using it | Ryan Scott | 2017-07-19 | 1 | -1/+1 |
* | Remove the incredibly hairy splitTelescopeTvs. | Richard Eisenberg | 2016-04-29 | 1 | -5/+4 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -0/+7 |