Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 1 | -2/+4 |
* | Treat all TyCon with hole names as skolem abstract. | Edward Z. Yang | 2017-02-26 | 1 | -1/+1 |
* | Say 'data' explicitly in IfAbstractTyCon output. | Edward Z. Yang | 2017-02-17 | 1 | -1/+1 |
* | Retypecheck both before and after finishing hs-boot loops in --make. | Edward Z. Yang | 2016-08-21 | 1 | -0/+6 |