diff options
| author | Adam Gundry <adam@well-typed.com> | 2020-12-01 09:17:04 +0000 |
|---|---|---|
| committer | Adam Gundry <adam@well-typed.com> | 2020-12-23 21:35:01 +0000 |
| commit | 8a5ccf93c53a40abe42134c2282ac9b9d653224c (patch) | |
| tree | ac3e86d28fc78858c099383ce1c29477ab5cd67a /latex-test/ref/GadtConstructorArgs/main.tex | |
| parent | beafcacfd0fc3d447d461a2be3378e50ef77d9c0 (diff) | |
Adapt to changes to GlobalRdrElt and AvailInfo
Needed for ghc/ghc!4467
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs/main.tex')
0 files changed, 0 insertions, 0 deletions