Ticket #211 (new bug report)
Opened 2 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.
