[Emacs-diffs] fix/bug-31311-pcase-doc e436b49 04/16: for structural / Q-pattern, replace "atom" w/ SYMBOL, INTEGER, STRING

[Thien-Thi Nguyen]

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

    for structural / Q-pattern, replace "atom" w/ SYMBOL, INTEGER, STRING
    
    This suggests a discussion on the different idempotent ways
    to specify the various self-quoting objects:
    
      INTEGER  ≡  'INTEGER  ≡  `INTEGER
      STRING   ≡  'STRING   ≡  `STRING
      KEYWORD  ≡  'KEYWORD  ≡  `KEYWORD
    
    (Maybe.)
---
 doc/lispref/control.texi | 11 ++++++++---
 lisp/emacs-lisp/pcase.el |  6 ++++--
 2 files changed, 12 insertions(+), 5 deletions(-)

diff --git a/doc/lispref/control.texi b/doc/lispref/control.texi
index f6bff52..eb0728e 100644
--- a/doc/lispref/control.texi
+++ b/doc/lispref/control.texi
@@ -534,9 +534,14 @@ Matches if @var{expval} is a vector of length @var{m} whose
 @address@hidden(@var{m}-1)}th elements match @var{qpattern1},
 @var{qpattern2} @dots{} @var{qpatternm}, respectively.
 
address@hidden @var{atom}
-Matches if corresponding element of @var{expval} is
address@hidden to the specified @var{atom}.
address@hidden @var{symbol}
address@hidden @var{keyword}
address@hidden @var{integer}
address@hidden @var{string}
+Matches if the corresponding element of @var{expval} is
address@hidden to the specified object.
+Note that, aside from @var{symbol}, this is the same set of
+self-quoting types that are acceptable as a U-pattern.
 
 @item ,@var{upattern}
 Matches if the corresponding element of @var{expval}
diff --git a/lisp/emacs-lisp/pcase.el b/lisp/emacs-lisp/pcase.el
index 398bc4d..97d503a 100644
--- a/lisp/emacs-lisp/pcase.el
+++ b/lisp/emacs-lisp/pcase.el
@@ -920,8 +920,10 @@ QPAT can take the following forms:
   [QPAT1 QPAT2..QPATn]  matches a vector of length n and QPAT1..QPATn match
                            its 0..(n-1)th elements, respectively.
   ,PAT                  matches if the pcase pattern PAT matches.
-  ATOM                  matches if the object is `equal' to ATOM.
-                          ATOM can be a symbol, an integer, or a string."
+  SYMBOL                matches if the object is `equal' to SYMBOL.
+  KEYWORD               likewise for KEYWORD.
+  INTEGER               likewise for INTEGER.
+  STRING                likewise for STRING."
   (declare (debug (pcase-QPAT)))
   (cond
    ((eq (car-safe qpat) '\,) (cadr qpat))