[External] : Re: Guards

Brian Goetz 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 
> bindings

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 mailing list