On Tue, Sep 30, 2008 at 6:25 PM, Anatoly Yakovenko <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe