Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | compiler: Introduce and use RoughMap for instance environmentswip/roughmap-mp | Ben Gamari | 2022-02-03 | 1 | -1/+1 |
* | Add {lifted,unlifted}DataConKey to pretendNameIsInScope's list of Names | Ryan Scott | 2021-04-13 | 1 | -0/+1 |
* | Implement BoxedRep proposalwip/boxed-rep | Ben Gamari | 2021-03-07 | 1 | -1/+0 |
* | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 1 | -1/+3 |
* | Print explicit foralls in type family eqns when appropriate | Ryan Scott | 2018-11-26 | 1 | -1/+2 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-30 | 1 | -3/+1 |
* | Revert "Generate Typeable info at definition sites" | Ben Gamari | 2015-10-29 | 1 | -1/+3 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-29 | 1 | -3/+1 |
* | Do pretty-printing of TyThings via IfaceDecl (Trac #7730) | Simon Peyton Jones | 2014-06-03 | 1 | -2/+2 |
* | Eta expand data family instances before printing them | Simon Peyton Jones | 2014-01-17 | 1 | -0/+5 |