[GHC] #11252: :kind command hides the explicit kind

18 Dec 2015


      #11252: :kind command hides the explicit kind
----------------------------------------+--------------------------
           Reporter:  Iceland_jack      |             Owner:
               Type:  feature request   |            Status:  new
           Priority:  normal            |         Milestone:
          Component:  GHCi              |           Version:  7.11
           Keywords:  TypeInType        |  Operating System:  Linux
       Architecture:  Unknown/Multiple  |   Type of failure:  Other
          Test Case:                    |        Blocked By:
           Blocking:                    |   Related Tickets:
Differential Rev(s):                    |         Wiki Page:
----------------------------------------+--------------------------
 {{{#!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 -> *
 }}}

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