#11252: :kind command hides the explicit kind -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.11 Resolution: | Keywords: TypeInType Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by Iceland_jack: Old description:
{{{#!hs -- /tmp/test.hs {-# LANGUAGE TypeInType #-}
data Proxy1 k (a :: k) = P1 data Proxy2 (a :: k) = P2 }}}
if I load the following into ghci (head) the `:kind` command gives the same result
{{{#!haskell % ghci -ignore-dot-ghci /tmp/test.hs GHCi, version 7.11.20151216: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( test.hs, interpreted ) Ok, modules loaded: Main. *Main> :kind Proxy1 :kind Proxy1 Proxy1 :: k -> * *Main> :kind Proxy2 :kind Proxy2 Proxy2 :: k -> * }}}
New description: {{{#!hs -- /tmp/test.hs {-# LANGUAGE TypeInType #-} data Proxy1 k (a :: k) = P1 data Proxy2 (a :: k) = P2 }}} if I load the following into ghci (head) the `:kind` command gives the same result {{{#!haskell % ghci -ignore-dot-ghci /tmp/test.hs GHCi, version 7.11.20151216: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( test.hs, interpreted ) Ok, modules loaded: Main. *Main> :kind Proxy1 :kind Proxy1 Proxy1 :: k -> * *Main> :kind Proxy2 :kind Proxy2 Proxy2 :: k -> * }}} edit: I asked on #ghc, was told this was undesirable -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11252#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler