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 /html-test/src/GADTRecords.hs | |
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 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions