Re: [Haskell-cafe] double existential type

2010-03-25 Thread Ozgur Akgun
I tried forall a,b. Binary' a b and the *what was I thinking* comment was for that. And I absulutely agree with you on the nesting part. That's what came to my mind at the first glance for obvious reasons. On 24 March 2010 20:27, Bas van Dijk v.dijk@gmail.com wrote: On Wed, Mar 24, 2010 at

[Haskell-cafe] double existential type

2010-03-24 Thread Ozgur Akgun
Hello all, I have a syntax issue (hopefully!) -- this is perfectly fine: data Unary = forall a. Unary a -- this one as well: data Binary = forall a. Binary a a -- but not this one -- parse error on input forall :( data Binary' = forall a. forall b. Binary' a b I tried different kinds of

Re: [Haskell-cafe] double existential type

2010-03-24 Thread Stephen Tetley
Hi Ozgur - try data Binary' = forall a b. Binary' a b ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] double existential type

2010-03-24 Thread Ozgur Akgun
Thank you very much - and for the quick response as well! I tried putting a comma in between them, but no luck. What was I thinking? :) On 24 March 2010 17:25, Stephen Tetley stephen.tet...@gmail.com wrote: Hi Ozgur - try data Binary' = forall a b. Binary' a b -- Ozgur Akgun