[GHC] #15079: GHC HEAD regression: cannot instantiate higher-rank kind

[GHC]

#15079: GHC HEAD regression: cannot instantiate higher-rank kind
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  patch
        Priority:  high              |            Milestone:  8.6.1
       Component:  Compiler (Type    |              Version:  8.5
  checker)                           |
      Resolution:                    |             Keywords:  TypeInType
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC rejects       |  Unknown/Multiple
  valid program                      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4803
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"bc9a838a27f40a6008e127d9105981713abe774b/ghc" bc9a838/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="bc9a838a27f40a6008e127d9105981713abe774b"
 Document #15079 in the users' guide

 Trac #15079 revealed an interesting limitation in the interaction
 between variable visibility and higher-rank kinds. We (Richard and I)
 came to the conclusion that this is an acceptable (albeit surprising)
 limitation, so this documents in the users' guide to hopefully eliminate
 some confusion for others in the future.

 Test Plan: Read it

 Reviewers: goldfire, bgamari

 Reviewed By: bgamari

 Subscribers: rwbarton, thomie, carter

 GHC Trac Issues: #15079

 Differential Revision: https://phabricator.haskell.org/D4803
 }}}

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