On Thu, Aug 12, 2010 at 6:11 PM, William Leslie < [email protected]> 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
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
