Re: [Haskell-cafe] Re: having fun with GADT's

On Tue, Sep 30, 2008 at 6:25 PM, Anatoly Yakovenko wrote:

has the "with" syntax described in

...

http://www.haskell.org/pipermail/haskell/2005-May/015815.html

been replaced with the "where" syntax?

so

data Foo a where FooInt :: FooInt

the same thing as

data Foo A = FooInt with a = Int

I don't see any such syntax in the aforementioned message. But yes, the where syntax is currently the only way to do GADTs (and I hope that does *not* change, because I love the GADT syntax!): data Foo a where FooInt :: Foo Int Luke