[External] : Re: Guards
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