Ticket #200 (new bug report)

Opened 4 years ago

Missing support for record syntax in GADT declarations

Reported by: ganesh Owned by: nibro
Priority: minor Milestone:
Component: parser Version: 1.8.x
Keywords: Cc: ganesh

Description

This code is supported by GHC 6.12 and up, but not by HSE:

{-# LANGUAGE GADTs #-}

data Foo where
  Foo :: { x :: Int } -> Foo

There's also an old-style syntax which would also be nice to have because darcs (which I'm currently trying to push through HSE) still supports GHC 6.10

{-# LANGUAGE GADTs #-}

data Foo where
  Foo { x :: Int } :: Foo
Note: See TracTickets for help on using tickets.