refine QPAT table

- do ‘s/backquoted pattern/backquote-style pattern/g’
- use singular in intro blurb
- do ‘s/qpattern/qpat/g’
- do ‘s/backquoted lists/lists/’ (DWR: "backquote" overload!)
- use "literal object"
- mention @var{pattern} as unrestricted kind
- add inline example (‘second-elem’ as SYMBOL)
- add post-table para to define "corresponding element"
- add inline example (again ‘second-elem’)

1 files changed, 22 insertions, 12 deletions

diff --git a/doc/lispref/control.texi b/doc/lispref/control.texi
index fe01531e7f5..febbe19aabc 100644
--- a/doc/lispref/control.texi
+++ b/doc/lispref/control.texi
@@ -933,36 +933,46 @@ and avoids binding @code{ls}:
 `("first" ,second-elem)
 @end example
 
-Backquoted patterns have the form @code{`@var{qpattern}} where
-@var{qpattern} can have the following forms:
+A backquote-style pattern has the form @code{`@var{qpat}} where
+@var{qpat} can have the following forms:
 
 @table @code
 
-@item (@var{qpattern1} . @var{qpattern2})
+@item (@var{qpat1} . @var{qpat2})
 Matches if @var{expval} is a cons cell whose @code{car}
-matches @var{qpattern1} and whose @code{cdr} matches @var{qpattern2}.
-This readily generalizes to backquoted lists as in
-@w{@code{(@var{qpattern1} @var{qpattern2} @dots{})}}.
+matches @var{qpat1} and whose @code{cdr} matches @var{qpat2}.
+This readily generalizes to lists as in
+@w{@code{(@var{qpat1} @var{qpat2} @dots{})}}.
 
-@item [@var{qpattern1} @var{qpattern2} @dots{} @var{qpatternm}]
+@item [@var{qpat1} @var{qpat2} @dots{} @var{qpatm}]
 Matches if @var{expval} is a vector of length @var{m} whose
-@code{0}..@code{(@var{m}-1)}th elements match @var{qpattern1},
-@var{qpattern2} @dots{} @var{qpatternm}, respectively.
+@code{0}..@code{(@var{m}-1)}th elements match @var{qpat1},
+@var{qpat2} @dots{} @var{qpatm}, respectively.
 
 @item @var{symbol}
 @itemx @var{keyword}
 @itemx @var{integer}
 @itemx @var{string}
 Matches if the corresponding element of @var{expval} is
-@code{equal} to the specified object.
+@code{equal} to the specified literal object.
 Note that, aside from @var{symbol}, this is the same set of
-self-quoting types that are acceptable as a core pattern.
+self-quoting literal objects that are acceptable as a core pattern.
 
 @item ,@var{pattern}
 Matches if the corresponding element of @var{expval}
-matches the @var{pattern}.
+matches @var{pattern}.
+Note that @var{pattern} is any kind that @code{pcase} supports.
+(In the example above, @code{second-elem} is a @var{symbol}
+core pattern; it therefore matches anything,
+and let-binds @code{second-elem}.)
 @end table
 
+The @dfn{corresponding element} is the portion of @var{expval}
+that is in the same structural position as the structural position
+of @var{qpat} in the backquote-style pattern.
+(In the example above, the corresponding element of
+@code{second-elem} is the second element of @var{expval}.)
+
 Note that uses of Q-patterns can be expressed using only core
 patterns, as Q-patterns are implemented on top of core patterns using
 @code{pcase-defmacro}, described below.  However, using Q-patterns will