#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