[Emacs-diffs] fix/bug-31311-pcase-doc 32eee97 2/6: rewrite @item @var{atom}

[Thien-Thi Nguyen]

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

    rewrite @item @var{atom}
    
    - expand to 1 @item + 2 @itemx
    - mention ‘equal’
    - use term "literal"
    - don't mention "Upattern"
    - drop "Note ..." sentence completely
---
 doc/lispref/control.texi | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/doc/lispref/control.texi b/doc/lispref/control.texi
index 9fedc19..492f188 100644
--- a/doc/lispref/control.texi
+++ b/doc/lispref/control.texi
@@ -336,11 +336,12 @@ A UPattern can have the following forms:
 @item '@var{val}
 Matches if the value being matched is @code{equal} to @var{val}.
 
address@hidden @var{atom}
-Matches any @var{atom}, which can be a keyword, a number, or a string.
-(These are self-quoting, so this kind of UPattern is actually a
-shorthand for @code{'@var{atom}}.)  Note that a string or a float
-matches any string or float with the same contents/value.
address@hidden @var{keyword}
address@hidden @var{number}
address@hidden @var{string}
+Matches if the value is @code{equal} to the literal.
+This is a special case of @code{'@var{val}}, above,
+possible because these types are self-quoting.
 
 @item _
 Matches any value.  This is known as @dfn{don't care} or @dfn{wildcard}.