Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make GADT constructors adhere to the forall-or-nothing rule properly | Ryan Scott | 2020-06-09 | 1 | -30/+15 |
* | Report better suggestion for GADT data constructor | Simon Peyton Jones | 2019-03-15 | 1 | -4/+4 |
* | Suggest how to fix illegally nested foralls in GADT constructor type signatures | Ryan Scott | 2017-08-17 | 1 | -0/+35 |