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 /latex-test/ref/Simple/main.tex | |
parent | 52c963e0b19783c4ca59cd0e8cfe1366dbfa1624 (diff) |
Eliminate support for deprecated GADT syntax
Follows from GHC D1460.
Diffstat (limited to 'latex-test/ref/Simple/main.tex')
0 files changed, 0 insertions, 0 deletions