diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-11-11 11:35:51 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-11 11:35:51 +0100 |
| commit | 83a9e9d2c7f0debec9d56e8b3b7cc8a8eb73361e (patch) | |
| tree | 2dc923ba45fbe0abd549b525f1745445af667e7c /.gitignore | |
| parent | 52c963e0b19783c4ca59cd0e8cfe1366dbfa1624 (diff) | |
Eliminate support for deprecated GADT syntax
Follows from GHC D1460.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions