[GHC] #8708: Kind annotation in tuple not parsed

27 Jan 2014

      #8708: Kind annotation in tuple not parsed
-------------------------------------+-------------------------------------
       Reporter:  goldfire           |             Owner:
           Type:  bug                |            Status:  new
       Priority:  normal             |         Milestone:
      Component:  Compiler (Parser)  |           Version:  7.7
       Keywords:                     |  Operating System:  Unknown/Multiple
   Architecture:  Unknown/Multiple   |   Type of failure:  None/Unknown
     Difficulty:  Unknown            |         Test Case:
     Blocked By:                     |          Blocking:
Related Tickets:                     |
-------------------------------------+-------------------------------------
 Consider this:

 {{{
 {-# LANGUAGE KindSignatures #-}

 foo :: (Int, Int :: *)
 foo = undefined
 }}}

 HEAD reports

 {{{
 /Users/rae/temp/Bug.hs:5:18: parse error on input ‛::’
 }}}

 Changing the line to

 {{{
 foo :: (Int, (Int :: *))
 }}}

 fixes the problem. Note the extra parentheses.

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