Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 1 | -2/+4 |
* | Print explicit foralls in type family eqns when appropriate | Ryan Scott | 2018-11-26 | 1 | -4/+4 |
* | Overhaul -fprint-explicit-kinds to use VKA | Ryan Scott | 2018-11-22 | 1 | -2/+2 |
* | Make ppr_tc_args aware of -fprint-explicit-kinds | Ryan Scott | 2018-07-05 | 1 | -0/+6 |