[bitc-dev] Arity: middle position?
Jonathan S. Shapiro
shap at eros-os.org
Thu Aug 12 21:06:07 PDT 2010
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the bitc-dev