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

1 Oct 2008


      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

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

Anatoly Yakovenko