[GHC] #8196: Core Lint error in Specialise with PolyKinds and derived instance

[GHC]

#8196: Core Lint error in Specialise with PolyKinds and derived instance
-------------------------------------------------+-------------------------
        Reporter:  adamgundry                    |            Owner:
            Type:  bug                           |  simonpj
        Priority:  normal                        |           Status:  new
       Component:  Compiler                      |        Milestone:
      Resolution:                                |          Version:  7.7
Operating System:  Unknown/Multiple              |         Keywords:
 Type of failure:  Incorrect warning at          |     Architecture:
  compile-time                                   |  Unknown/Multiple
       Test Case:                                |       Difficulty:
        Blocking:                                |  Unknown
                                                 |       Blocked By:
                                                 |  Related Tickets:
-------------------------------------------------+-------------------------

Comment (by Simon Peyton Jones <simonpj@…>):

 In [changeset:8d7dd5477e7882f1ad3c1429671d4adfffa63202/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="8d7dd5477e7882f1ad3c1429671d4adfffa63202"
 Make Specialise close over kind variables (fixes Trac #8196)

 This is a lingering bug from the introduction of polymorphic kinds.
 In the specialiser we were specialising over a type, but failing
 to specialise over the kinds it mentions.

 The fix is simple: add a call to closeOverKinds.

 Most of the patch is to add closeOverKinds, and to use it in a few
 other places where we are doing essentially the same thing.
 }}}

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