diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-02-04 15:17:56 -0500 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2019-02-04 12:17:56 -0800 |
| commit | 44226fc06adfe66a1d9e63b142374710e482a4e1 (patch) | |
| tree | b943daa4fb8aa2e3a464c13e625e713aad9c1eea /latex-test/run | |
| parent | aa9644fc4179de044557438f2bd3003642750a97 (diff) | |
Fix #1015 with dataConUserTyVars (#1022)
The central trick in this patch is to use `dataConUserTyVars` instead of
`univ_tvs ++ ex_tvs`, which displays the foralls in a GADT constructor in
a way that's more faithful to how the user originally wrote it.
Fixes #1015.
Diffstat (limited to 'latex-test/run')
0 files changed, 0 insertions, 0 deletions