#8616: "Internal error" with ScopedTypeVariables and kind variables -------------------------------------+------------------------------------ Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"17a3dacba03f7a800444c135e93ce1b81a89e158/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="17a3dacba03f7a800444c135e93ce1b81a89e158" Bring kind variables into the type-checker's scope as well as type variables Fixes Trac #8616 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8616#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler