On Thu, Aug 12, 2010 at 4:30 AM, Christopher Gilbreth
<[email protected]>wrote:
> If you think about it in the way I just phrased, the signature would be
>
> 'a 'b -> ('c -> 'd).
>
>From a parser standpoint, you can either have 'a -> 'b -> ('c -> 'd) or fn
'a 'b -> fn 'c -> 'd. The argument types without some connective or
bracketing syntax create an ambiguous parse.
shap
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
