Hello all,<br><br>I have a syntax issue (hopefully!)<br><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">-- this is perfectly fine:</span><br style="font-family: courier new,monospace;">
<span style="font-family: courier new,monospace;">data Unary = forall a. Unary a</span><br style="font-family: courier new,monospace;"><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">-- this one as well:</span><br style="font-family: courier new,monospace;">
<span style="font-family: courier new,monospace;">data Binary = forall a. Binary a a</span><br style="font-family: courier new,monospace;"><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">-- but not this one<br>
-- parse error on input forall :(</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">data Binary&#39; = forall a. forall b. Binary&#39; a b</span><br><br>I tried different kinds of bracketings and orderings but no luck...<br clear="all">
<br><br>Best,<br>-- <br>Ozgur Akgun<br>