#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