[GHC] #9093: Type synonym accepted with out-of-scope kind variable

[GHC]

#9093: Type synonym accepted with out-of-scope kind variable
--------------------------+------------------------------------------------
       Reporter:          |             Owner:
  goldfire                |            Status:  new
           Type:  bug     |         Milestone:
       Priority:  normal  |           Version:  7.8.2
      Component:          |  Operating System:  Unknown/Multiple
  Compiler                |   Type of failure:  GHC accepts invalid program
       Keywords:          |         Test Case:
   Architecture:          |          Blocking:
  Unknown/Multiple        |
     Difficulty:          |
  Unknown                 |
     Blocked By:          |
Related Tickets:          |
--------------------------+------------------------------------------------
 When I say

 {{{
 {-# LANGUAGE PolyKinds #-}

 import Data.Proxy
 import GHC.Exts

 type X = Proxy (Any :: k)
 }}}

 I get no error. If I then ask GHCi about `X` (with `-fprint-explicit-
 kinds`), I see this:

 {{{
 *Main> :i X
 type X = Proxy AnyK (Any AnyK)
 }}}

 I think my original code should be rejected.

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