[Emacs-diffs] fix/bug-31311-pcase-doc bbee799 5/5: prune address@hidden pcase’

[Thien-Thi Nguyen]

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

    prune address@hidden pcase’
    
    - zonk last para inside @defmac
    - add, after address@hidden defmac’, paras describing ‘quoted’, ‘unquoted’
    - foreshadow ‘pcase-defmacro’ (maybe not necessary?)
---
 doc/lispref/control.texi | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/doc/lispref/control.texi b/doc/lispref/control.texi
index f9347c3..11957f4 100644
--- a/doc/lispref/control.texi
+++ b/doc/lispref/control.texi
@@ -362,13 +362,17 @@ the clause succeeds; @code{pcase} then evaluates its 
@var{body-forms},
 and returns the value of the last of @var{body-forms}.  Any remaining
 @var{clauses} are ignored.  If no clauses match, then the @code{pcase}
 form evaluates to @code{nil}.
address@hidden defmac
 
-The @var{pattern} part of a clause can be of one of two types:
address@hidden, a pattern quoted with a backquote; or a
address@hidden, which is not quoted.  UPatterns are simpler, so we
-describe them first.
+The rest of this subsection describes the builtin @var{pattern}
+forms, and concludes with a another Lisp macro you can use to
+extend the set of builtin @var{pattern} forms.
 
address@hidden defmac
+The builtin set includes two broad categories of @var{pattern}
+forms: ``unquoted'' and ``quoted'', also known as
address@hidden and @dfn{QPattern}, respectively.
+A QPattern begins with a backquote and often builds
+upon one or more simpler UPatterns.
 
 Note: In the description of the patterns below, we use ``the value
 being matched'' to refer to the value of the @var{expression} that is