Ticket #211 (new bug report)

Opened 4 years ago

Unable to parse strict annotations when used in a GADT

Reported by: iago Owned by: nibro
Priority: major Milestone:
Component: parser Version: 1.10.0
Keywords: Cc:

Description

haskell-src-exts is unable to parse the following module

module Bar where

data Foo a where
    Foo :: !a -> Foo a

but it is able to parse this

module Bar where

data Foo a = Foo !a (Foo a)

or this one

module Bar where

data Foo a where
    Foo :: a -> Foo a
Note: See TracTickets for help on using tickets.