Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use GHC2021 as default language | Joachim Breitner | 2021-03-10 | 1 | -2/+2 |
* | 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 | -4/+5 |
* | 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/+22 |