[Haskell-cafe] double existential type

Ozgur Akgun ozgurakgun at gmail.com
Wed Mar 24 13:15:29 EDT 2010


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 bracketings and orderings but no luck...


Best,
-- 
Ozgur Akgun
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100324/af129b72/attachment.html


More information about the Haskell-Cafe mailing list