[bitc-dev] Arity: middle position?

[Jonathan S. Shapiro]

On Thu, Aug 12, 2010 at 6:11 PM, William Leslie <
william.leslie.ttg at gmail.com> wrote:

>  I mean that if I have a struct field or function argument which
> accepts functions of both conventions (fn 'a 'b -> 'c) and (fn 'a ->
> 'b -> 'c), which type will they ultimately be emitted as?
>

If the field/argument is typed as (fn 'a 'b -> 'c), it takes a procedure of
two arguments. It cannot be typed in more than one way.

shap
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20100812/64c9f8e1/attachment.html