[ ghc-Bugs-1094244 ] GADTs Syntax Infelicity with {;}

[SourceForge.net]

Bugs item #1094244, was opened at 2005-01-01 23:54
Message generated for change (Settings changed) made by simonpj
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1094244&group_id=8032

Category: Compiler (Parser)
Group: 6.4
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Ashley Yakeley (ashley-y)
Assigned to: Nobody/Anonymous (nobody)
Summary: GADTs Syntax Infelicity with {;}

Initial Comment:
GHC doesn't like semicolons at the end of GADT constructor lists:

data Foo a where
{
  BoolFoo :: Bool -> Foo Bool;
  IntFoo :: Int -> Foo Int;
}

Workaround: remove the last semicolon:

data Foo a where
{
  BoolFoo :: Bool -> Foo Bool;
  IntFoo :: Int -> Foo Int
}


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1094244&group_id=8032