[Emacs-diffs] fix/bug-31311-pcase-doc 985c4ce 13/16: refine ‘(let ...)’ @item

[Thien-Thi Nguyen]

branch: fix/bug-31311-pcase-doc
commit 985c4ce75b0369024b91e9e8d3da01d1511b27b1
Author: Thien-Thi Nguyen <address@hidden>
Commit: Thien-Thi Nguyen <address@hidden>

    refine ‘(let ...)’ @item
    
    - do ‘s/expression/expr/g’ (avoid ambiguity w/ ‘pcase’ arg)
    - mention that ‘expr’ is evaluated
    - introduce @var{exprval}
    - zonk "This allows ..."
---
 doc/lispref/control.texi | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/doc/lispref/control.texi b/doc/lispref/control.texi
index b53e9ca..a8f5387 100644
--- a/doc/lispref/control.texi
+++ b/doc/lispref/control.texi
@@ -471,11 +471,10 @@ which matches any number smaller than 10 and let-binds 
the variable
 @c          and is considered {undefined, wontfix, futurefix}.
 @c          Leave undocumented for now.
 
address@hidden (let @var{upattern} @var{expression})
-Matches if the specified @var{expression} matches the specified
address@hidden  This allows matching a pattern against the value of
-an @emph{arbitrary} expression, not just the expression that is the
-first argument to @code{pcase}.  (It is called @code{let} because
address@hidden (let @var{upattern} @var{expr})
+Evaluates @var{expr} to get @var{exprval}
+and matches if @var{exprval} matches @var{upattern}.
+(It is called @code{let} because
 @var{upattern} can bind symbols to values using the @var{symbol}
 U-pattern.  For example:
 @address@hidden((or `(key . ,val) (let val 5)) val)}}.)