From d08e9134ed5973481f0a892f242115be68724dca Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Sat, 2 Nov 2019 23:14:12 -0400 Subject: [PATCH] doc: lambda, move margin-note up, close #2863 --- pkgs/racket-doc/scribblings/reference/syntax.scrbl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/syntax.scrbl b/pkgs/racket-doc/scribblings/reference/syntax.scrbl index 30c2e62b0a..cb04af8072 100644 --- a/pkgs/racket-doc/scribblings/reference/syntax.scrbl +++ b/pkgs/racket-doc/scribblings/reference/syntax.scrbl @@ -1838,13 +1838,14 @@ as follows: @racket[arg]s, the extra arguments are placed into a list that is associated to @racket[rest-id].} +@margin-note{In other words, argument bindings with +default-value expressions are evaluated analogous to @racket[let*].} The @racket[kw-formals] identifiers are bound in the @racket[body]s. When the procedure is applied, a new @tech{location} is created for each identifier, and the location is filled with the associated argument value. The @tech{locations} are created and filled in order, with @racket[_default-expr]s evaluated as needed to fill -locations. @margin-note{In other words, argument bindings with -default-value expressions are evaluated analogous to @racket[let*].} +locations. If any identifier appears in the @racket[body]s that is not one of the identifiers in @racket[kw-formals], then it refers to the same