Opened 13 months ago

#8708 new bug

Kind annotation in tuple not parsed

Reported by: goldfire Owned by:
Priority: normal Milestone:
Component: Compiler (Parser) Version: 7.7
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

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.

Change History (0)

Note: See TracTickets for help on using tickets.