Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use HsForAllTelescope to avoid inferred, visible forallswip/T18235 | Ryan Scott | 2020-06-13 | 1 | -8/+9 |
* | Make GADT constructors adhere to the forall-or-nothing rule properly | Ryan Scott | 2020-06-09 | 1 | -56/+60 |
* | Explicit Specificity | Gert-Jan Bottu | 2020-05-21 | 1 | -8/+8 |
* | Use an empty data type in TTG extension constructors (#15247) | Ryan Scott | 2019-07-09 | 1 | -15/+17 |
* | Fix mkGadtDecl does not set con_forall correctly | Alan Zimmerman | 2018-06-29 | 1 | -0/+96 |