Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 1 | -1/+3 |
* | Subtyping for roles in signatures. | Edward Z. Yang | 2017-02-26 | 1 | -1/+2 |
* | 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 |
* | Setup more error context for Backpack operations. | Edward Z. Yang | 2017-02-12 | 1 | -6/+7 |
* | Reduce qualification in error messages from signature matching. | Edward Z. Yang | 2016-12-08 | 1 | -3/+3 |
* | Replace -fshow-source-paths with -fhide-source-paths | Sylvain Henry | 2016-11-29 | 1 | -4/+4 |
* | Make default output less verbose (source/object paths) | Sylvain HENRY | 2016-11-11 | 1 | -4/+4 |
* | New story for abstract data types in hsig files. | Edward Z. Yang | 2016-10-20 | 1 | -0/+19 |