aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug387.html
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2019-02-04 15:17:56 -0500
committerAlec Theriault <alec.theriault@gmail.com>2019-02-04 12:17:56 -0800
commit44226fc06adfe66a1d9e63b142374710e482a4e1 (patch)
treeb943daa4fb8aa2e3a464c13e625e713aad9c1eea /html-test/ref/Bug387.html
parentaa9644fc4179de044557438f2bd3003642750a97 (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 'html-test/ref/Bug387.html')
0 files changed, 0 insertions, 0 deletions