Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |