From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.bugs Subject: bug#44330: 26.3; doc string of `cl-some' Date: Sun, 1 Nov 2020 09:45:50 -0800 (PST) Message-ID: <00b77b5b-90eb-442a-84ed-f0e2d835c798@default> References: <0276f23e-6b26-431a-b1fa-25fe5ddb8fe6@default> <87361tdymf.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12954"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 44330@debbugs.gnu.org To: Lars Ingebrigtsen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Nov 01 18:46:12 2020 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kZHQi-0003EG-3H for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 01 Nov 2020 18:46:12 +0100 Original-Received: from localhost ([::1]:32788 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kZHQh-00034e-3T for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 01 Nov 2020 12:46:11 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:52762) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kZHQY-00033R-F7 for bug-gnu-emacs@gnu.org; Sun, 01 Nov 2020 12:46:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:55090) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kZHQX-0006SH-Lt for bug-gnu-emacs@gnu.org; Sun, 01 Nov 2020 12:46:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kZHQX-0003Cg-Kd for bug-gnu-emacs@gnu.org; Sun, 01 Nov 2020 12:46:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Drew Adams Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 01 Nov 2020 17:46:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44330 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: fixed Original-Received: via spool by 44330-submit@debbugs.gnu.org id=B44330.160425276112310 (code B ref 44330); Sun, 01 Nov 2020 17:46:01 +0000 Original-Received: (at 44330) by debbugs.gnu.org; 1 Nov 2020 17:46:01 +0000 Original-Received: from localhost ([127.0.0.1]:38403 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kZHQW-0003CR-Lw for submit@debbugs.gnu.org; Sun, 01 Nov 2020 12:46:01 -0500 Original-Received: from aserp2130.oracle.com ([141.146.126.79]:42646) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kZHQU-0003CB-WE for 44330@debbugs.gnu.org; Sun, 01 Nov 2020 12:45:59 -0500 Original-Received: from pps.filterd (aserp2130.oracle.com [127.0.0.1]) by aserp2130.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 0A1HdQQE093271; Sun, 1 Nov 2020 17:45:53 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=mime-version : message-id : date : from : sender : to : cc : subject : references : in-reply-to : content-type : content-transfer-encoding; s=corp-2020-01-29; bh=IjyVNrbVIvy4VtJsA91mE/V/yCw/DgBq73iMdo/paeg=; b=G+28I47E5JsT2r98D3mnCZUJj3La8JXnIOa2x0f90hhBBfKTN2jZV7jErsrQLvoT3N6K I4UJBMj2OmYfNBOdXclS5b5B3sPKbHggEkWC6Hstc1RDhFEz0H2kjhRZtjwFhuEo9DL+ S9js/ujpD8V+xS4p0yZSriKHuvN8Z8DI00ffYxXIYDKHG3I/pN/F+IMweGaBhmSpOwo1 elTvbiVZMKmCrC84u/RwHcD0aTdXxZgw1yzvMT8HDgQKfzOo/07tKuWOfHTUylr2YPVe lm6daSyavPGSX2eG3LH7yu2bSqULcxi/sFP0qsALH13UfUxsqwhVNWpzPX0edBUMtr0n Vw== Original-Received: from aserp3020.oracle.com (aserp3020.oracle.com [141.146.126.70]) by aserp2130.oracle.com with ESMTP id 34hhb1s9mb-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=FAIL); Sun, 01 Nov 2020 17:45:53 +0000 Original-Received: from pps.filterd (aserp3020.oracle.com [127.0.0.1]) by aserp3020.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 0A1HeIUB122128; Sun, 1 Nov 2020 17:45:52 GMT Original-Received: from userv0122.oracle.com (userv0122.oracle.com [156.151.31.75]) by aserp3020.oracle.com with ESMTP id 34hw0e5br9-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 01 Nov 2020 17:45:52 +0000 Original-Received: from abhmp0008.oracle.com (abhmp0008.oracle.com [141.146.116.14]) by userv0122.oracle.com (8.14.4/8.14.4) with ESMTP id 0A1Hjpcr013060; Sun, 1 Nov 2020 17:45:51 GMT In-Reply-To: <87361tdymf.fsf@gnus.org> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.5056.0 (x86)] X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9792 signatures=668682 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 adultscore=0 bulkscore=0 mlxscore=0 suspectscore=0 spamscore=0 mlxlogscore=999 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2011010146 X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9792 signatures=668682 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 phishscore=0 suspectscore=0 clxscore=1011 mlxlogscore=999 impostorscore=0 malwarescore=0 lowpriorityscore=0 adultscore=0 spamscore=0 priorityscore=1501 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2011010146 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:192423 Archived-At: > > "Return true if PREDICATE is true of any element of SEQ or SEQs. > > If so, return the true (non-nil) value returned by PREDICATE." > > ^^^^^^^^^^^^^^^^^^^^^^^^^^^ > > > > The second sentence is meaningless/underspecified. If the function > > stops as soon as it finds the first element for which PREDICATE is > > true then the doc should say that it returns the value returned by > > PREDICATE _for that element_. > > > > Without specifying, in some way, for which element the application of > > PREDICATE returns non-nil, "the value returned by PREDICATE" has no > > meaning. >=20 > I've now clarified the doc string here in Emacs 28. >=20 > However, the function is not guaranteed to stop at the first non-nil > predicate value, so that's not specified. According to the definition of Common Lisp, it is ABSOLUTELY guaranteed to do just that. https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node143.html `some' returns as soon as any invocation of predicate returns a non-nil value; some returns that value. If the end of a sequence is reached, some returns nil. Thus, considered as a predicate, it is true if some invocation of predicate is true. And read more on that page - more about this guarantee, and more about it applying to ALL of the functions some, every, notany, and notevery.=20 Is this a bug with the implementation of `cl-some'? Or is it a doc bug? Does Emacs `cl-some' pretend to respect the CL definition of `some'? If not, the doc should say that explicitly, and it should spell out just how it deviates from support of the standard. (So far, this bug has, in effect, been declared "won't fix".