[External] : Re: Guards

Brian Goetz brian.goetz at oracle.com
Tue Mar 9 21:51:59 UTC 2021

> There are two kinds of input args, one is the implicit target, the others are other arguments.
> It's not obvious to me that the parameters other than the target have to have access to the bindings.

You keep saying "access to the bindings" as if that is a special thing.  
Bindings are ordinary local variables.  Code has "access" to the 
bindings when the bindings are in scope.  There's nothing magic here.

More information about the amber-spec-experts mailing list