[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Emacs-diffs] fix/bug-31311-pcase-doc-squash 6aace45 3/3: Add/fix some l
From: |
Thien-Thi Nguyen |
Subject: |
[Emacs-diffs] fix/bug-31311-pcase-doc-squash 6aace45 3/3: Add/fix some line number refs |
Date: |
Sat, 26 May 2018 04:59:25 -0400 (EDT) |
branch: fix/bug-31311-pcase-doc-squash
commit 6aace45830a8abce8386a0732cd0c856dcd0f928
Author: Thien-Thi Nguyen <address@hidden>
Commit: Thien-Thi Nguyen <address@hidden>
Add/fix some line number refs
* doc/lispref/control.texi (pcase Macro):
...here, in the reformulation example explanation.
---
doc/lispref/control.texi | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/doc/lispref/control.texi b/doc/lispref/control.texi
index 112a331..9e1bd6b 100644
--- a/doc/lispref/control.texi
+++ b/doc/lispref/control.texi
@@ -748,22 +748,22 @@ that @var{expval} has the desired form: @code{key:NUMBER}.
Again, failing this, @code{pred} fails and @code{and}, too.
Lastly (in this series of @code{and} sub-patterns), @code{app}
-evaluates @address@hidden(match-string 1 @var{expval})}}
+evaluates @address@hidden(match-string 1 @var{expval})}} (line 6)
to get a temporary value @var{tmp} (i.e., the ``NUMBER'' substring)
-and tries to match @var{tmp} against pattern @code{val}.
+and tries to match @var{tmp} against pattern @code{val} (line 7).
Since that is a @var{symbol} pattern, it matches unconditionally
and additionally binds @code{val} to @var{tmp}.
Now that @code{app} has matched, all @code{and} sub-patterns
have matched, and so @code{and} matches.
Likewise, once @code{and} has matched, @code{or} matches
-and does not proceed to try sub-pattern @code{let} (line 9).
+and does not proceed to try sub-pattern @code{let} (line 8).
Let's consider the situation where @code{obj} is not a string,
or it is a string but has the wrong form.
In this case, one of the @code{pred} (lines 3-5) fails to match,
thus @code{and} (line 2) fails to match,
-thus @code{or} (line 1) proceeds to try sub-pattern @code{let} (line 9).
+thus @code{or} (line 1) proceeds to try sub-pattern @code{let} (line 8).
First, @code{let} evaluates @address@hidden(list "149" 'default)}}
to get @address@hidden("149" default)}}, the @var{exprval}, and then