[GHC] #11267: Can't parse type with kind ascription with GHCi's :kind command

20 Dec 2015

      #11267: Can't parse type with kind ascription with GHCi's :kind command
-------------------------------------+-------------------------------------
           Reporter:  RyanGlScott    |             Owner:
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  GHCi           |           Version:  7.10.3
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  GHC rejects
  Unknown/Multiple                   |  valid program
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 I was playing around with GHCi's `:kind` command and noticed that trying
 to ascribe a type with a kind doesn't parse:

 {{{
 $ inplace/bin/ghc-stage2 --interactive
 GHCi, version 7.11.20151219: http://www.haskell.org/ghc/  :? for help
 λ> :set -XTypeInType
 λ> :kind 'True :: Bool

 <interactive>:1:7: error: parse error on input ‘::’
 }}}

 This seems like something that should be able to parse, given that `:type
 True :: Bool` parses just fine. Is there a reason it couldn't?

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