[Emacs-diffs] fix/bug-31311-pcase-doc 4008976 5/8: rework ‘or’ same-symbols para

[Thien-Thi Nguyen]

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

    rework ‘or’ same-symbols para
    
    - mention "avoiding evaluation error"
    - use parens
    - move "on match" inside parens
    - do ‘s/symbols/set of &/g’
    - do ‘s/should/@emph{must}/’
---
 doc/lispref/control.texi | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/doc/lispref/control.texi b/doc/lispref/control.texi
index 6c8009a..8b8bdb4 100644
--- a/doc/lispref/control.texi
+++ b/doc/lispref/control.texi
@@ -477,14 +477,9 @@ Simply @address@hidden(or @var{pattern1})}} signals error.)
 @c        (Btw, ``Please avoid it'' is a poor error message.)
 
 To present a consistent environment (@pxref{Intro Eval})
-to @var{body-forms} on match,
-if any of the sub-patterns let-binds symbols, they
-should all bind the same symbols.
address@hidden Issue: Using ``should'' is kind of weak.  However, the stronger
address@hidden        ``it is an error to...'' is not exactly correct, either,
address@hidden        since the error is raised during BODY-FORMS evaluation.
address@hidden        Maybe ‘s/on match/and avoid a symbol resolution error &/’
address@hidden        along w/ ‘s/should/must/’?
+to @var{body-forms} (thus avoiding an evaluation error on match),
+if any of the sub-patterns let-binds a set of symbols,
+they @emph{must} all bind the same set of symbols.
 @end table
 
 @anchor{pcase-example-0}