if-let*/when-let*/and-let*: Don't recommend (VALUEFORM) form

* doc/lispref/control.texi (Conditionals):
* lisp/subr.el (if-let*): Document '(_ VALUEFORM)' instead of
'(VALUEFORM)'.

1 files changed, 10 insertions, 11 deletions

diff --git a/doc/lispref/control.texi b/doc/lispref/control.texi
index 689e7324d43..8f1f144e765 100644
--- a/doc/lispref/control.texi
+++ b/doc/lispref/control.texi
@@ -317,7 +317,7 @@ following way instead:
   (do-something result2))
 @end example
 
-There's a number of variations on this theme, and they're briefly
+There are a number of variations on this theme, and they're briefly
 described below.
 
 @defmac if-let* varlist then-form else-forms...
@@ -328,10 +328,9 @@ Evaluate each binding in @var{varlist}, stopping if a binding value is
 Each element of @code{varlist} has the form @w{@code{(@var{symbol}
 @var{value-form})}}: @var{value-form} is evaluated and @var{symbol} is
 locally bound to the result.  Bindings are sequential, as in @code{let*}
-(@pxref{Local Variables}).  As a special case, @var{symbol} can be
-omitted if only the test result of @var{value-form} is of interest:
-@var{value-form} is evaluated and checked for @code{nil}, but its value
-is not bound.
+(@pxref{Local Variables}).  If only the test result of @var{value-form}
+is of interest, use @code{_} for @var{symbol}.  Then @var{value-form} is
+evaluated and checked for @code{nil}, but its value is not bound.
 @end defmac
 
 @defmac when-let* varlist then-forms...
@@ -343,8 +342,8 @@ form in @var{then-forms}.
 @code{varlist} has the form @w{@code{(@var{symbol} @var{value-form})}},
 in which @var{value-form} is evaluated and @var{symbol} is locally bound
 to the result.  Bindings are sequential, as in @code{let*} (@pxref{Local
-Variables}).  As a special case, @var{symbol} can be omitted if only the
-test result of @var{value-form} is of interest: @var{value-form} is
+Variables}).  If only the test result of @var{value-form}
+is of interest, use @code{_} for @var{symbol}.  Then @var{value-form} is
 evaluated and checked for @code{nil}, but its value is not bound.
 @end defmac
 
@@ -358,8 +357,8 @@ the value of the last binding.
 @code{varlist} has the form @w{@code{(@var{symbol} @var{value-form})}},
 in which @var{value-form} is evaluated and @var{symbol} is locally bound
 to the result.  Bindings are sequential, as in @code{let*} (@pxref{Local
-Variables}).  As a special case, @var{symbol} can be omitted if only the
-test result of @var{value-form} is of interest: @var{value-form} is
+Variables}).  If only the test result of @var{value-form} is of
+interest, use @code{_} for @var{symbol}.  Then @var{value-form} is
 evaluated and checked for @code{nil}, but its value is not bound.
 @end defmac
 
@@ -382,8 +381,8 @@ established anew.
 @code{varlist} has the form @w{@code{(@var{symbol} @var{value-form})}},
 in which @var{value-form} is evaluated and @var{symbol} is locally bound
 to the result.  Bindings are sequential, as in @code{let*} (@pxref{Local
-Variables}).  As a special case, @var{symbol} can be omitted if only the
-test result of @var{value-form} is of interest: @var{value-form} is
+Variables}).  If only the test result of @var{value-form} is of
+interest, use @code{_} for @var{symbol}.  Then @var{value-form} is
 evaluated and checked for @code{nil}, but its value is not bound.
 
 The return value of @code{while-let} is always @code{nil}.