GNU logs - #72347, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#72347: Mismatch between documentation and real implementation of list-index
Resent-From: Marius <mariusgr@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Mon, 29 Jul 2024 06:30:02 +0000
Resent-Message-ID: <handler.72347.B.17222345946144 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 72347 <at> debbugs.gnu.org
Date: Mon, 29 Jul 2024 00:34:14 +0000
From: Marius <mariusgr@HIDDEN>
Message-ID: <18A0D20D-B19C-44AF-8BE7-486CE2DF6844@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/alternative;
 boundary=----9M2U8DRVWE37VAXSQZ14Y0B1PTDAJQ
Content-Transfer-Encoding: 7bit
Autocrypt: addr=mariusgr@HIDDEN; keydata=
 mQINBGS1j68BEADba422smkwUlrzTfPMzt5Ac0k/9s6yRpREK/08LK1kMSq0Q+f5We95sQltvoK+
 oF9OJEllemyj4HK5Boj3N+IyGzSQwMyneM+BFAOHysU0Tmo0Kpu0Vro0plTV3xakyfi+wEkVwxVq
 3Jg9SyxzzNpFk0kOP3vzzZPtlic23vcBIzmOd/EFmxvPJ6QWAPC473neiqrEaIE1hJ6adOVP6vtt
 758zzgesSY3yOlBgc/GsOStGkNrNaujnx9vo9tXBDYyh0gqTwZRkUs7QFf1gVCs36V1kbKR8XqIU
 tpiJ/MrGuYQZ/Yz+MDEvLwv4BLKI/p+yFT+u6ORFYU4iYee1Iu3FKylK3f4OthxeJ3SPlVC6TR5Y
 O2GaFONesxCWf6phey05MbxwVmYLfLAly9KKsFww2+KFUReycBnx9l3Q8hBScWN7CoTN6rKbaQCM
 /ob6HRwvPnmXS0t6R1YJEptyW9gf0NkUBRa6dusQA8PwuvLIKmhYJSGwvxIY5+b0mnhuq9Dn8vLi
 lt0qH9lZVgB56j5mhSrjIbk2k3tBUjxYUj0m0JVRFtOdQbUp7RzZY9jTxzhyRNZ/nQHnbtJiF4VE
 PqMb5NMKKXfqk4RpilIKLUlsjIrJk6YbuDYn0BirbwICGuG7NXtoG2rcHjAY0yrZlNXbgjKo08Dx
 ZFwkUpB4rj5Q9wARAQABtDhNYXJpdXMgR3V0acOpcnJleiBSb2NhIChQZXJzb25hbCkgPG1hcml1
 c2dyQGRpc3Jvb3Qub3JnPokCTgQTAQoAOBYhBHsR+KwpKiDzXNvVZmB6oLBP/om2BQJkta3BAhsD
 BQsJCAcDBRUKCQgLBRYCAwEAAh4BAheAAAoJEGB6oLBP/om2jtIP/3XvD0pK2kDayb94G69c1GWC
 Anati6uYMbqf3YZxtuXkjIAt9r2FOX2BXdyIc4IOlLt9YR54cccuf7ZQllcYEfiK47peXp+ybt/D
 FEkaFE27dOR6uQZlFPdIjz4ZhfWATgVeh0Pi9A6CeNM7Ugc2+bTddoFYvqh/MKC82ChRWvdLJt1K
 l6Jc5ain0X8CM1K51mug6i6c8pXfHKQUOkm9q0F9gqPjvyQ95/imu1gZhTnWhrwXpyO+pQ+PjrLm
 o3VWbihzhPeOlq5cX8LiGCMKmA4HFcc3cgK99pUUjWH9y0oOJ29320A5RskHXFMl4fGL4H0I7pTe
 IbdW5VEQRFTwl1Wx8kesHI/UIj8Qu3hYIzgd1ICKw38AfDMxmsuFf8XzvyQGqi/yR1MHSplx5LMt
 H2REJ/nHONNlA5w6F9cloOv92HSTx2xY5iS6ychYgwsXRDvprgYFOZ1lBx0CGgqNi4Z2M61whrJs
 JJ5rrPuvEL7wPD5jgQQIB7LQBRQ2gomyTZa5b2eT+BsAcVIEErz8TzF02D4TxzrGpM1zqHRvl7YR
 ndvCWE8RfDrHgBrr69VkvDGQhIPD/MVGe2tMsxJY/pT+EXkNLuqNzZJ12vNARAvvA8q1tt7eIkZg
 r2p3akOtLqkDQPfQKFlfK1rYRSx/Gb3JSpjPvd7rr+DsvByJv7n0uQINBGS1sf0BEAC0zgDmG7xd
 e6T2psVeGqnGJdWwmhEc06JjeBLm6IcGQdmZzziUb0WZAU+0DTTyNrpRF5JVuHeZZIlB579MMHcy
 k7nSg5KjbOCtK9mC34ufIHcx4WJiFmBcqzgmOW++zBkaXVrlzCQJ7jhVeGL0S7lAUqq1fvzhYCOn
 tcQsYo75MntHRB+OopK00uHKmyx55fSaxW9wAmKvd2jT1/YkFWQ1lIDr+JQut+AO5JwgZtLhLREd
 OL3GAOki4Eoqh9bO/fFXTb9gRlv1Ku5pTyhpHZCLfur+rnpYKnCy2YhCK0rHahMe5ayG6WQgxqrT
 uWi2Pn82G24sNVHxDFuca90WJJrZpa5mHBDHHjc2qEeCRQP0NenbXHcreLslU5n/ASCfN00DSFAj
 hkotkhmX+/R+/Cwj7wN4kVfc/h1s6ajoULgqP+QR488tnyteiYlNslUesVkhcu1pFX7q425KH9wW
 Mm9Jc+zo0zFKQfhpKI1wegpIpYSEqUrdYXifCAChnJ8iYRaFb28MCJAzxkec1byTUtdQx44vcSnf
 9t4gvI3qhE+oxl0JB29HlBoawqvHQkPTcsyjB0VLXJZbF8+EN7xRlhQKojsw5LFk+twcze+2xPFW
 WCvIfrdAote0uLGK8PNN4q4C8VT52/pRiTsoTAwEIxobo27hhOxkykAUqQ4N8cRFXQARAQABiQI8
 BBgBCgAmFiEEexH4rCkqIPNc29VmYHqgsE/+ibYFAmS1sf0CGwwFCQeEzgAACgkQYHqgsE/+ibZ6
 aBAAvAW0RMzpi5nPkpn0ypqlxu/4hi2ZH2gOrczK1pZJCWWaPjeyUjaCn8uLS9T5dDrccRQje6sR
 JRDWusGb2j/svzy4WnxtdLWVoIwopGnbJ+jjShLxV0cm/LDA6v1/4eD3gdAjxCpY1B9T9PckYevO
 LM/2ZZqcqR6FSBhC0aK8RytKgtC809Ivr4C0bQsbbb6UKo+nPECJH281xaOuzjOqxogz1lq6qfIw
 43OxXK0H43zOf2hl0Wd48xAuqtWzN5tvNq+BbkLZETUusqKNOVjX8C+DxgdYrtYwnQj8Oe05jYZS
 UF7ovOMmleoTCcfKgc1e2KkQ2n/E+8ihzZuW1TRboVLiNZi9AVHP2SQjZe+crVrixmNjhwfCruaf
 1vWfBn18b+OzR6JTPy6D/IzUDcty4xzL4Ixi9+OnMFLORh6hHkObe6u68OLq1ybNVcu1lgzTycEE
 Ouq9S+kVdnbp7dUmIbucSVE1Rp0aCc9Xvk8PZlg3RwGcIh54T66T8LKGwN/TbMUoXqjpgpaNGi4S
 kcjfHfMUn6QOZzc8+7xqiif8o05BHtTgK4aDHeh2HJD6BodiU6C9RD51JnHVZNjsXMSP/loY2XpS
 DtCHXiNq+Zho1Ckw7aOXzevuF1WMR/1kcsLboly3BNVem/57B39YKg7u2IhdJSTrOgGVxnZfZub0
 h34=
Received-SPF: pass client-ip=178.21.23.139; envelope-from=mariusgr@HIDDEN;
 helo=layka.disroot.org
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001,
 SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.4 (-)
X-Mailman-Approved-At: Mon, 29 Jul 2024 02:29:49 -0400
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 (--)

------9M2U8DRVWE37VAXSQZ14Y0B1PTDAJQ
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

Good evening,

I don't know if this is actually a Guile bug or a documentation bug, but I=
'm currently learning Guile from the "Guile reference manual" and I've foun=
d a mismatch between what the documentation says and what "my" guile does=
=2E I use Guile 3=2E0=2E9=2E

In my Guile instance (from what I can deduce), last-index is a procedure t=
hat returns the index of the first element of a list that matches with a s-=
expresion=2E

For example:

(list-index '(1 2 3) 3) -> 2
(list-index '(height width) 'width) -> 1

But the documentation says otherwise (<https://www=2Egnu=2Eorg/software/gu=
ile//manual/guile=2Ehtml#SRFI_002d1-Filtering-and-Partitioning>):

list-index pred lst1 lst2 =2E=2E=2E

Returns the index of the first set of elements, one from each of lst1 lst2=
 =2E=2E=2E, which satisfies pred=2E


If I try to run list-index examples (from the documentation) I get an erro=
r because it doesn't know how to deal with a procedure as the first argumen=
t=2E


I'm missing something? I understand that list-index it's defined in SRFI-1=
 and maybe a Guile definition is shadowing the SRFI-1 definition=2E But whe=
re is the Guile documentation for this shadowing list-index? In the Guile R=
eference Manual list-index it's only described inside SRFI-1 module=2E



Thank you for your help=2E

Forgive me for any inconvenience,
Marius=2E



------9M2U8DRVWE37VAXSQZ14Y0B1PTDAJQ
Content-Type: text/html;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html><html><body><div dir=3D"auto">Good evening,<br><br>I don't k=
now if this is actually a Guile bug or a documentation bug, but I'm current=
ly learning Guile from the "Guile reference manual" and I've found a mismat=
ch between what the documentation says and what "my" guile does=2E I use Gu=
ile 3=2E0=2E9=2E<br><br>In my Guile instance (from what I can deduce), last=
-index is a procedure that returns the index of the first element of a list=
 that matches with a s-expresion=2E<br><br>For example:<br><br>(list-index =
'(1 2 3) 3) -&gt; 2<br>(list-index '(height width) 'width) -&gt; 1<br><br>B=
ut the documentation says otherwise (&lt;<a href=3D"https://www=2Egnu=2Eorg=
/software/guile//manual/guile=2Ehtml#SRFI_002d1-Filtering-and-Partitioning"=
>https://www=2Egnu=2Eorg/software/guile//manual/guile=2Ehtml#SRFI_002d1-Fil=
tering-and-Partitioning</a>&gt;):<br><br>list-index pred lst1 lst2 =2E=2E=
=2E<br><br>Returns the index of the first set of elements, one from each of=
 lst1 lst2 =2E=2E=2E, which satisfies pred=2E<br><br><br>If I try to run li=
st-index examples (from the documentation) I get an error because it doesn'=
t know how to deal with a procedure as the first argument=2E<br><br><br>I'm=
 missing something? I understand that list-index it's defined in SRFI-1 and=
 maybe a Guile definition is shadowing the SRFI-1 definition=2E But where i=
s the Guile documentation for this shadowing list-index? In the Guile Refer=
ence Manual list-index it's only described inside SRFI-1 module=2E<br><br><=
br><br>Thank you for your help=2E<br><br>Forgive me for any inconvenience,<=
br>Marius=2E<br><br><br></div></body></html>
------9M2U8DRVWE37VAXSQZ14Y0B1PTDAJQ--

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: Marius <mariusgr@HIDDEN>
Subject: bug#72347: Acknowledgement (Mismatch between documentation and
 real implementation of list-index)
Message-ID: <handler.72347.B.17222345946144.ack <at> debbugs.gnu.org>
References: <18A0D20D-B19C-44AF-8BE7-486CE2DF6844@HIDDEN>
X-Gnu-PR-Message: ack 72347
X-Gnu-PR-Package: guile
Reply-To: 72347 <at> debbugs.gnu.org
Date: Mon, 29 Jul 2024 06:30:02 +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 72347 <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
72347: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D72347
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#72347: Mismatch between documentation and real implementation of list-index
Resent-From: Tomas Volf <~@wolfsden.cz>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Mon, 29 Jul 2024 10:29:02 +0000
Resent-Message-ID: <handler.72347.B72347.172224890730109 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Marius <mariusgr@HIDDEN>
Cc: 72347 <at> debbugs.gnu.org
Date: Mon, 29 Jul 2024 12:28:00 +0200
From: Tomas Volf <~@wolfsden.cz>
Message-ID: <ZqdusIZbWvs6NeH2@ws>
References: <18A0D20D-B19C-44AF-8BE7-486CE2DF6844@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha512;
 protocol="application/pgp-signature"; boundary="E3OzkoWqjR5K6Z1S"
Content-Disposition: inline
In-Reply-To: <18A0D20D-B19C-44AF-8BE7-486CE2DF6844@HIDDEN>
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>


--E3OzkoWqjR5K6Z1S
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

Hello,

On 2024-07-29 00:34:14 +0000, Marius via Bug reports for GUILE, GNU's Ubiquitous Extension Language wrote:
> Good evening,
>
> I don't know if this is actually a Guile bug or a documentation bug, but I'm currently learning Guile from the "Guile reference manual" and I've found a mismatch between what the documentation says and what "my" guile does. I use Guile 3.0.9.
>
> In my Guile instance (from what I can deduce), last-index is a procedure that returns the index of the first element of a list that matches with a s-expresion.
>
> For example:
>
> (list-index '(1 2 3) 3) -> 2
> (list-index '(height width) 'width) -> 1
>
> But the documentation says otherwise (<https://www.gnu.org/software/guile//manual/guile.html#SRFI_002d1-Filtering-and-Partitioning>):
>
> list-index pred lst1 lst2 ...
>
> Returns the index of the first set of elements, one from each of lst1 lst2 ..., which satisfies pred.

This is documentation for SRFI-1, and that is not available by default (at least
not fully), you need to (use-modules) it.  See below.

>
>
> If I try to run list-index examples (from the documentation) I get an error because it doesn't know how to deal with a procedure as the first argument.
>
>
> I'm missing something? I understand that list-index it's defined in SRFI-1 and maybe a Guile definition is shadowing the SRFI-1 definition. But where is the Guile documentation for this shadowing list-index? In the Guile Reference Manual list-index it's only described inside SRFI-1 module.

It seems that Guile provides 2 different list-index procedures.  One defined in
the ice-9/boot-9.scm, and one in the srfi-1 module.  By default the boot-9's one
is available.

    $ guile -q
    GNU Guile 3.0.9
    Copyright (C) 1995-2023 Free Software Foundation, Inc.

    Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
    This program is free software, and you are welcome to redistribute it
    under certain conditions; type `,show c' for details.

    Enter `,help' for help.
    scheme@(guile-user)> list-index
    $1 = #<procedure list-index (l k)>
    scheme@(guile-user)> ,use (srfi srfi-1)
    scheme@(guile-user)> list-index
    $2 = #<procedure list-index (pred clist1 . rest)>

Notice that by importing srfi-1 the list-index changes to the documented one.

You are right that the "default" list-index indeed does not seem to be
documented.  It also uses `eq?' for comparisons and does not allow changing
that.

I hope this sheds some light on the problem.

Tomas

--
There are only two hard things in Computer Science:
cache invalidation, naming things and off-by-one errors.

--E3OzkoWqjR5K6Z1S
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEt4NJs4wUfTYpiGikL7/ufbZ/wakFAmanbrAACgkQL7/ufbZ/
wakj7RAAkiu1XLillP0+NAJQ4tBVUErWI/zTs9O1ohZ0fl4l8oQK8lRGWkSLeaSn
PWnQFYfnFJpmbp/HCd+DE2bgxLWLm8gw0B6PtP9UUv9Vzx+j335inSIF3658SM7o
8KDxh3Wv1WhbQSDGanerOp5YqLoJ8owiOqXvQ3Fz6lNF2y7uvBt7EdL2FCzlVkID
w6SoKOd6FdUwU2GgLHpvEoUy/C1rRBQlDm8lU8fk95KL/Y5r7X7eLWc10uscp1Qr
mH6dMT12NhmrZurepyBkjmLPEI+rnuBupchbCzZV+MfwQbL1qdmIx8jlNa8fCgeT
0wMs8ebI2DoMgvwRngpyuLIeX5P6DjDoQJNPmvQtXcKA6sosY8cSZI/4/GiBfo5x
4rmUhUAvdCLOilWeLtZ20a82TcOhYJ1PBMRdtkfIPzsUfOJjkTHbUR42wC+ieRr5
oUAraJxpStXvLCewJ6+Sak+uMxLZ/sxzROMhGhiu/tgmBQ3rWCfK9zPCDnqNRVOW
/E2458ip+mombAbHAzFPzI1zceX/sn2IP6lMnx/zqiIPLP+wGPgY6HadermJnr/y
RbyYggKpdHviPfRuZ9Zy6kuMb4MRkaA8VsDRBrPk1cXgETBzsKZDG9UjZjaFE/hE
nH6yYmX+JIsTjLjtk4rH6WVg2FJPeWeySnVh+rk3gWPM8kX/QMg=
=Wj++
-----END PGP SIGNATURE-----

--E3OzkoWqjR5K6Z1S--

Message sent to bug-guile@HIDDEN:

Subject: bug#72347: Mismatch between documentation and real implementation of list-index
Resent-From: Marius <mariusgr@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Mon, 29 Jul 2024 13:28:02 +0000
Resent-Message-ID: <handler.72347.B72347.172225962915198 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Tomas Volf <~@wolfsden.cz>
Cc: 72347 <at> debbugs.gnu.org
Date: Mon, 29 Jul 2024 13:26:44 +0000
From: Marius <mariusgr@HIDDEN>
In-Reply-To: <ZqdusIZbWvs6NeH2@ws>
References: <18A0D20D-B19C-44AF-8BE7-486CE2DF6844@HIDDEN>
 <ZqdusIZbWvs6NeH2@ws>
Message-ID: <04C1F491-4AE7-46F4-88FC-B20ECF0752EB@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable
Autocrypt: addr=mariusgr@HIDDEN; keydata=
 mQINBGS1j68BEADba422smkwUlrzTfPMzt5Ac0k/9s6yRpREK/08LK1kMSq0Q+f5We95sQltvoK+
 oF9OJEllemyj4HK5Boj3N+IyGzSQwMyneM+BFAOHysU0Tmo0Kpu0Vro0plTV3xakyfi+wEkVwxVq
 3Jg9SyxzzNpFk0kOP3vzzZPtlic23vcBIzmOd/EFmxvPJ6QWAPC473neiqrEaIE1hJ6adOVP6vtt
 758zzgesSY3yOlBgc/GsOStGkNrNaujnx9vo9tXBDYyh0gqTwZRkUs7QFf1gVCs36V1kbKR8XqIU
 tpiJ/MrGuYQZ/Yz+MDEvLwv4BLKI/p+yFT+u6ORFYU4iYee1Iu3FKylK3f4OthxeJ3SPlVC6TR5Y
 O2GaFONesxCWf6phey05MbxwVmYLfLAly9KKsFww2+KFUReycBnx9l3Q8hBScWN7CoTN6rKbaQCM
 /ob6HRwvPnmXS0t6R1YJEptyW9gf0NkUBRa6dusQA8PwuvLIKmhYJSGwvxIY5+b0mnhuq9Dn8vLi
 lt0qH9lZVgB56j5mhSrjIbk2k3tBUjxYUj0m0JVRFtOdQbUp7RzZY9jTxzhyRNZ/nQHnbtJiF4VE
 PqMb5NMKKXfqk4RpilIKLUlsjIrJk6YbuDYn0BirbwICGuG7NXtoG2rcHjAY0yrZlNXbgjKo08Dx
 ZFwkUpB4rj5Q9wARAQABtDhNYXJpdXMgR3V0acOpcnJleiBSb2NhIChQZXJzb25hbCkgPG1hcml1
 c2dyQGRpc3Jvb3Qub3JnPokCTgQTAQoAOBYhBHsR+KwpKiDzXNvVZmB6oLBP/om2BQJkta3BAhsD
 BQsJCAcDBRUKCQgLBRYCAwEAAh4BAheAAAoJEGB6oLBP/om2jtIP/3XvD0pK2kDayb94G69c1GWC
 Anati6uYMbqf3YZxtuXkjIAt9r2FOX2BXdyIc4IOlLt9YR54cccuf7ZQllcYEfiK47peXp+ybt/D
 FEkaFE27dOR6uQZlFPdIjz4ZhfWATgVeh0Pi9A6CeNM7Ugc2+bTddoFYvqh/MKC82ChRWvdLJt1K
 l6Jc5ain0X8CM1K51mug6i6c8pXfHKQUOkm9q0F9gqPjvyQ95/imu1gZhTnWhrwXpyO+pQ+PjrLm
 o3VWbihzhPeOlq5cX8LiGCMKmA4HFcc3cgK99pUUjWH9y0oOJ29320A5RskHXFMl4fGL4H0I7pTe
 IbdW5VEQRFTwl1Wx8kesHI/UIj8Qu3hYIzgd1ICKw38AfDMxmsuFf8XzvyQGqi/yR1MHSplx5LMt
 H2REJ/nHONNlA5w6F9cloOv92HSTx2xY5iS6ychYgwsXRDvprgYFOZ1lBx0CGgqNi4Z2M61whrJs
 JJ5rrPuvEL7wPD5jgQQIB7LQBRQ2gomyTZa5b2eT+BsAcVIEErz8TzF02D4TxzrGpM1zqHRvl7YR
 ndvCWE8RfDrHgBrr69VkvDGQhIPD/MVGe2tMsxJY/pT+EXkNLuqNzZJ12vNARAvvA8q1tt7eIkZg
 r2p3akOtLqkDQPfQKFlfK1rYRSx/Gb3JSpjPvd7rr+DsvByJv7n0uQINBGS1sf0BEAC0zgDmG7xd
 e6T2psVeGqnGJdWwmhEc06JjeBLm6IcGQdmZzziUb0WZAU+0DTTyNrpRF5JVuHeZZIlB579MMHcy
 k7nSg5KjbOCtK9mC34ufIHcx4WJiFmBcqzgmOW++zBkaXVrlzCQJ7jhVeGL0S7lAUqq1fvzhYCOn
 tcQsYo75MntHRB+OopK00uHKmyx55fSaxW9wAmKvd2jT1/YkFWQ1lIDr+JQut+AO5JwgZtLhLREd
 OL3GAOki4Eoqh9bO/fFXTb9gRlv1Ku5pTyhpHZCLfur+rnpYKnCy2YhCK0rHahMe5ayG6WQgxqrT
 uWi2Pn82G24sNVHxDFuca90WJJrZpa5mHBDHHjc2qEeCRQP0NenbXHcreLslU5n/ASCfN00DSFAj
 hkotkhmX+/R+/Cwj7wN4kVfc/h1s6ajoULgqP+QR488tnyteiYlNslUesVkhcu1pFX7q425KH9wW
 Mm9Jc+zo0zFKQfhpKI1wegpIpYSEqUrdYXifCAChnJ8iYRaFb28MCJAzxkec1byTUtdQx44vcSnf
 9t4gvI3qhE+oxl0JB29HlBoawqvHQkPTcsyjB0VLXJZbF8+EN7xRlhQKojsw5LFk+twcze+2xPFW
 WCvIfrdAote0uLGK8PNN4q4C8VT52/pRiTsoTAwEIxobo27hhOxkykAUqQ4N8cRFXQARAQABiQI8
 BBgBCgAmFiEEexH4rCkqIPNc29VmYHqgsE/+ibYFAmS1sf0CGwwFCQeEzgAACgkQYHqgsE/+ibZ6
 aBAAvAW0RMzpi5nPkpn0ypqlxu/4hi2ZH2gOrczK1pZJCWWaPjeyUjaCn8uLS9T5dDrccRQje6sR
 JRDWusGb2j/svzy4WnxtdLWVoIwopGnbJ+jjShLxV0cm/LDA6v1/4eD3gdAjxCpY1B9T9PckYevO
 LM/2ZZqcqR6FSBhC0aK8RytKgtC809Ivr4C0bQsbbb6UKo+nPECJH281xaOuzjOqxogz1lq6qfIw
 43OxXK0H43zOf2hl0Wd48xAuqtWzN5tvNq+BbkLZETUusqKNOVjX8C+DxgdYrtYwnQj8Oe05jYZS
 UF7ovOMmleoTCcfKgc1e2KkQ2n/E+8ihzZuW1TRboVLiNZi9AVHP2SQjZe+crVrixmNjhwfCruaf
 1vWfBn18b+OzR6JTPy6D/IzUDcty4xzL4Ixi9+OnMFLORh6hHkObe6u68OLq1ybNVcu1lgzTycEE
 Ouq9S+kVdnbp7dUmIbucSVE1Rp0aCc9Xvk8PZlg3RwGcIh54T66T8LKGwN/TbMUoXqjpgpaNGi4S
 kcjfHfMUn6QOZzc8+7xqiif8o05BHtTgK4aDHeh2HJD6BodiU6C9RD51JnHVZNjsXMSP/loY2XpS
 DtCHXiNq+Zho1Ckw7aOXzevuF1WMR/1kcsLboly3BNVem/57B39YKg7u2IhdJSTrOgGVxnZfZub0
 h34=
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Thank you for the quick response,

El 29 de julio de 2024 10:28:00 UTC, Tomas Volf <~@wolfsden=2Ecz> escribi=
=C3=B3:
>Hello,
>
>On 2024-07-29 00:34:14 +0000, Marius via Bug reports for GUILE, GNU's Ubi=
quitous Extension Language wrote:
>> Good evening,
>>
>> I don't know if this is actually a Guile bug or a documentation bug, bu=
t I'm currently learning Guile from the "Guile reference manual" and I've f=
ound a mismatch between what the documentation says and what "my" guile doe=
s=2E I use Guile 3=2E0=2E9=2E
>>
>> In my Guile instance (from what I can deduce), last-index is a procedur=
e that returns the index of the first element of a list that matches with a=
 s-expresion=2E
>>
>> For example:
>>
>> (list-index '(1 2 3) 3) -> 2
>> (list-index '(height width) 'width) -> 1
>>
>> But the documentation says otherwise (<https://www=2Egnu=2Eorg/software=
/guile//manual/guile=2Ehtml#SRFI_002d1-Filtering-and-Partitioning>):
>>
>> list-index pred lst1 lst2 =2E=2E=2E
>>
>> Returns the index of the first set of elements, one from each of lst1 l=
st2 =2E=2E=2E, which satisfies pred=2E
>
>This is documentation for SRFI-1, and that is not available by default (a=
t least
>not fully), you need to (use-modules) it=2E  See below=2E
>
>>
>>
>> If I try to run list-index examples (from the documentation) I get an e=
rror because it doesn't know how to deal with a procedure as the first argu=
ment=2E
>>
>>
>> I'm missing something? I understand that list-index it's defined in SRF=
I-1 and maybe a Guile definition is shadowing the SRFI-1 definition=2E But =
where is the Guile documentation for this shadowing list-index? In the Guil=
e Reference Manual list-index it's only described inside SRFI-1 module=2E
>
>It seems that Guile provides 2 different list-index procedures=2E  One de=
fined in
>the ice-9/boot-9=2Escm, and one in the srfi-1 module=2E  By default the b=
oot-9's one
>is available=2E
>
>    $ guile -q
>    GNU Guile 3=2E0=2E9
>    Copyright (C) 1995-2023 Free Software Foundation, Inc=2E
>
>    Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'=
=2E
>    This program is free software, and you are welcome to redistribute it
>    under certain conditions; type `,show c' for details=2E
>
>    Enter `,help' for help=2E
>    scheme@(guile-user)> list-index
>    $1 =3D #<procedure list-index (l k)>
>    scheme@(guile-user)> ,use (srfi srfi-1)
>    scheme@(guile-user)> list-index
>    $2 =3D #<procedure list-index (pred clist1 =2E rest)>
>
>Notice that by importing srfi-1 the list-index changes to the documented =
one=2E
>
>You are right that the "default" list-index indeed does not seem to be
>documented=2E  It also uses `eq?' for comparisons and does not allow chan=
ging
>that=2E
>
>I hope this sheds some light on the problem=2E
>
>Tomas

Yes, that makes sense=2E But this arises another question=2E The Guile man=
ual states that some SRFI procedures are native to Guile by default (I imag=
ine that that means that they are defined in ice-9/boot=2Escm)=2E This is e=
xplained in <https://www=2Egnu=2Eorg/software/guile/manual/guile=2Ehtml#Abo=
ut-SRFI-Usage> (section 7=2E5=2E1 in the manual)=2E All of this is in regar=
ds documentation:

In the manual there are procedures that are both explained in the their AP=
I reference section and in the SRFI section=2E When that is the case, it me=
ans that the guile default implementation (ice-9) differs from the SRFI (mo=
st of the time it's because of the order of arguments)=2E But if the proced=
ure it's ONLY present in the SRFI documentation part then it should mean th=
at it's implemented following the SRFI standard only, no?

The problem is that it seems like there are some procedures (named as in S=
RFI) that are implemented by default in guile (via ice-9 module) but aren't=
 documented in API reference section of the manual=2E Instead they are only=
 documented in the SRFI section of the manual=2E This is very confusing for=
 anyone using the Guile reference manual as a "reference manual" because yo=
u suddenly get procedures that do not follow the behavior that the manual i=
s telling you that should follow=2E

Again from the manual it's understood that if a procedure from SRFI is def=
ined in the default Guile (ice-9) then it's implemented following the SRFI =
standard (cite: "The second reason is that some features defined in SRFIs h=
ad been implemented in Guile before the developers started to add SRFI impl=
ementations as modules")=2E That's true unless in the API reference section=
 of the manual the procedure is defined in another way=2E

Since list-index is only documented in SRFI section but the default list-i=
ndex (ice-9) does not follow the SRFI convention then I still think this is=
 a bug=2E A documentation bug=2E Adding list-index inside the API documenta=
tion (list section) would solve this=2E Then it would be clear that the def=
ault list-index implementation differs from the SRFI=2E
>
>--
>There are only two hard things in Computer Science:
>cache invalidation, naming things and off-by-one errors=2E


Thank you,
Marius

Last modified: Sun, 12 Jan 2025 05:45:02 UTC

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