On 25 February 2015 at 14:29, Jonathan S. Shapiro <[email protected]> wrote: > > Unless your proposal is that we prohibit function types as values or > parameters, so that the definitions are always statically resolvable? > > No, my argument is that it is safe to allow it, if it is statically resolvable. It seems if we can statically resolve the concrete arity of the function definition, then its okay to do this rewrite.
Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
