On Fri, Feb 20, 2015 at 1:31 AM, Matt Oliveri <[email protected]> wrote:

> On Fri, Feb 20, 2015 at 4:26 AM, Matt Oliveri <[email protected]> wrote:
> > In Shap's proposal it _was_ the definitions doing the picking.
>
> Actually, is that right, Shap? That's what I think you said, but it's
> the opposite of what you'd seem to want if you want to know whether an
> application allocates without looking things up.


Yes. That's what I said. It's not necessary to look things up. The compiler
will issue an error in the presence of a non-explicit allocation arising
from application.


shap
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to