[External] : Re: Guards

[Guy Steele]

> On Mar 9, 2021, at 1:47 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
> 
> 
>> 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.


Well, just to be fair, rules for flow scoping within expressions g && h already exist, but rules for P && g and P & Q do not yet exist.  It’s easy to see that they probably should exist, and that this can be done in a manner entirely analogous to the way flow scoping is already done in expressions, but it has been an implicit assumption in some of the past discussion that is worth making explicit.  “Consider it done!”  :-)

—Guy