[External] : Re: Guards
brian.goetz at oracle.com
Tue Mar 9 18:47:05 UTC 2021
> Apart from what have said about letting grobble to fully access to the
Except that argument doesn't make sense. Accessing the bindings is not
a special behavior of grobble, but a natural consequence of flow
scoping. If I have P && g (or P & grobble(g)), then the scoping rules
will tell us that the true set of P is present in g, and we're done.
Nothing special here.
More information about the amber-spec-experts