GNU logs - #69919, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#69919: Inaccurate api-procedures manual sentence on lambda formal arguments
Resent-From: Richard Sent <richard@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Wed, 20 Mar 2024 18:10:02 +0000
Resent-Message-ID: <handler.69919.B.171095814722319 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 69919 <at> debbugs.gnu.org
From: Richard Sent <richard@HIDDEN>
Date: Wed, 20 Mar 2024 13:40:58 -0400
Message-ID: <87h6h0dcnp.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=136.175.108.8;
 envelope-from=richard@HIDDEN; helo=mail-108-mta8.mxroute.com
X-Spam_score_int: -16
X-Spam_score: -1.7
X-Spam_bar: -
X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, DKIM_INVALID=0.1,
 DKIM_SIGNED=0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001,
 T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.4 (-)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.4 (--)

Hi Guile,

I noticed the following line in the manual on (lambda) in (info "(guile)
Lambda"). Emphasis in **.

> -- syntax: lambda formals body
>     ...
>     =E2=80=98(VARIABLE1 ... VARIABLEN . VARIABLEN+1)=E2=80=99
>          If a space-delimited period precedes the last variable, then
>          the procedure takes N or more variables where N is the number
>          of formal arguments before the period.  *There must be at
>          least one argument before the period.*

That would mean a procedure like

--8<---------------cut here---------------start------------->8---
((lambda ( . args)
  args) 1) ;=3D>(1) runs fine in 3.0.9
--8<---------------cut here---------------end--------------->8---

is invalid because there isn't an argument before the period. I've
encountered Guile code that relies on this behavior before, even in the
Guile repo. For example, in guile/benchmark/measure.scm:

--8<---------------cut here---------------start------------->8---
(define (measure . args)
 ...)
;; should be identical to
(define measure (lambda ( . args) ...))
--8<---------------cut here---------------end--------------->8---

Ergo, I think the sentence

> There must be at least one argument before the period

should be removed. This line seems to be from the R5RS standard [1], but
this sentence is in api-procedures.texi, not the R5RS manual, so I
assume it should reflect Guile's implementation.

[1] https://conservatory.scheme.org/schemers/Documents/Standards/R5RS/HTML/=
r5rs-Z-H-2.html#%_toc_%_sec_4.1.4

--=20
Take it easy,
Richard Sent
Making my computer weirder one commit at a time.

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Richard Sent <richard@HIDDEN>
Subject: bug#69919: Acknowledgement (Inaccurate api-procedures manual
 sentence on lambda formal arguments)
Message-ID: <handler.69919.B.171095814722319.ack <at> debbugs.gnu.org>
References: <87h6h0dcnp.fsf@HIDDEN>
X-Gnu-PR-Message: ack 69919
X-Gnu-PR-Package: guile
Reply-To: 69919 <at> debbugs.gnu.org
Date: Wed, 20 Mar 2024 18:10:03 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 69919 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
69919: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69919
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Last modified: Wed, 20 Mar 2024 18:15:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.