diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-08-21 11:24:56 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-08-21 22:06:40 -0700 |
| commit | bf9da9cddc3d6161367bdc8710afc4fe08c3bdfd (patch) | |
| tree | abd9190eba367f7767f3d74b7aae6efa400cfe2b /latex-test/ref/GadtConstructorArgs | |
| parent | b417271702b81d7893308c3ce6df4b5babeaa55c (diff) | |
Handle promoted tuples in 'synifyType'
When we have a fully applied promoted tuple, we can expand it out properly.
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions