aboutsummaryrefslogtreecommitdiff
path: root/latex-test/ref/GadtConstructorArgs
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2019-05-26 16:16:25 -0400
committerAlec Theriault <alec.theriault@gmail.com>2019-05-26 16:16:25 -0400
commit646c8d2752e45d9304402d4134bf1c59006610fa (patch)
tree31c48e3f3b1591df5264334eca0f621e44d6cc53 /latex-test/ref/GadtConstructorArgs
parent260e1e1be0bb23b4c6d474b36d57354441133ed1 (diff)
Regression test: promoted lists in associated types
When possible, associated types with promoted lists should use the promoted list literal syntax (instead of repeated applications of ': and '[]). This was fixed in 2122de5473fd5b434af690ff9ccb1a2e58491f8c. Closes #466,
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions