diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-11-11 11:35:51 +0100 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2015-12-14 15:49:21 +0000 |
| commit | 064a7dfb98c197cd04f596aa7593b56cc93b63b6 (patch) | |
| tree | 21278b06ff0e6759bee3a6fada100f239ad743f0 /driver | |
| parent | e02a744ba29b7b8c904563c42b59e781f586491b (diff) | |
Eliminate support for deprecated GADT syntax
Follows from GHC D1460.
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions