diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-08-27 14:15:25 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-08-27 14:15:25 -0700 |
| commit | 2122de5473fd5b434af690ff9ccb1a2e58491f8c (patch) | |
| tree | 2f0d17db91671d2981582252113f3343880ab733 /latex-test/src/Simple | |
| parent | 6a9ada2426579b72696514b3fd081aacac9c5740 (diff) | |
Properly synify promoted list types
We reconstruct promoted list literals whenever possible. That means
that 'synifyType' produces
'[Int, Bool, ()]
instead of
(Int ': (() ': (Bool ': ([] :: [Type]))))
Diffstat (limited to 'latex-test/src/Simple')
0 files changed, 0 insertions, 0 deletions