diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-04-07 07:30:42 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-04-07 07:30:42 -0400 |
| commit | 718a018128a0ba2ae20001c10bc8ca4d929a1d33 (patch) | |
| tree | dc3e180e21f1358797130675cde3b6360c84d008 /compiler/hsSyn/HsBinds.hs | |
| parent | 875e59d37186a997df2cc7d0fdb49ef41d0e31ce (diff) | |
| download | haskell-718a018128a0ba2ae20001c10bc8ca4d929a1d33.tar.gz | |
Fix #14238 by always pretty-printing visible tyvars
Summary:
Before, GHC would never print visible tyvars in the absence
of `-fprint-explicit-foralls`, which led to `:kind` displaying
incorrect kinds in GHCi. The fix is simple—simply check beforehand
if any of the type variable binders are required when deciding when
to pretty-print them.
Test Plan: make test TEST=T14238
Reviewers: simonpj, goldfire, bgamari
Subscribers: thomie, carter
GHC Trac Issues: #14238
Differential Revision: https://phabricator.haskell.org/D4564
Diffstat (limited to 'compiler/hsSyn/HsBinds.hs')
0 files changed, 0 insertions, 0 deletions