[GHC] #14238: `:kind` suppresses visible dependent quantifiers by default in GHCi 8.2.1

[GHC]

#14238: `:kind` suppresses visible dependent quantifiers by default in GHCi 8.2.1
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.2.1
  checker)                           |
      Resolution:                    |             Keywords:  TypeInType
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect result  |  Unknown/Multiple
  at runtime                         |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4564
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ryan Scott <ryan.gl.scott@…>):

 In [changeset:"718a018128a0ba2ae20001c10bc8ca4d929a1d33/ghc"
 718a0181/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="718a018128a0ba2ae20001c10bc8ca4d929a1d33"
 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
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14238#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler