From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Maxime Devos Newsgroups: gmane.lisp.guile.devel Subject: RE: Removing program-arities export Date: Sun, 5 Jan 2025 19:07:25 +0100 Message-ID: <20250105190726.xW7S2D00948vBLV06W7S96@albert.telenet-ops.be> References: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="_04B92AE4-3DFE-4FC0-AB64-DA866C6FA306_" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="25216"; mail-complaints-to="usenet@ciao.gmane.io" To: Skyler , "guile-devel@gnu.org" Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Sun Jan 05 19:13:03 2025 Return-path: Envelope-to: guile-devel@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 1tUV7W-0006Qq-UC for guile-devel@m.gmane-mx.org; Sun, 05 Jan 2025 19:13:02 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tUV7B-0002Aw-S6; Sun, 05 Jan 2025 13:12:41 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tUV7A-0002Am-Mq for guile-devel@gnu.org; Sun, 05 Jan 2025 13:12:40 -0500 Original-Received: from albert.telenet-ops.be ([2a02:1800:110:4::f00:1a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tUV78-0002EB-GZ for guile-devel@gnu.org; Sun, 05 Jan 2025 13:12:40 -0500 Original-Received: from [IPv6:2a02:1811:8c0e:ef00:5d22:7e47:2297:dfff] ([IPv6:2a02:1811:8c0e:ef00:5d22:7e47:2297:dfff]) by albert.telenet-ops.be with cmsmtp id xW7S2D00948vBLV06W7S96; Sun, 05 Jan 2025 19:07:26 +0100 Importance: normal X-Priority: 3 In-Reply-To: DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r24; t=1736100446; bh=tXYY7Xm1/D5rWDkkxzafCaRxdX+24K49HudGXVVZKrc=; h=Message-ID:MIME-Version:To:From:Subject:Date:In-Reply-To: References:Content-Type:From; b=EDWmG0pqEvt3cD9Kxg1igOzFkw7N7sQq1w2KsFrWNTuAEn8DrgowDlT94QsDzroDH NpZBhyU6Aaf7rgOPePnc3fXbinCetFruepGzKUMN8od7+rz8A+JC4YGZq+FfA+T4J+ EjiGMPXh6moCRhzwzzHNEKkcu+ko/iDbCFeYkwRLWNN6+clglFfjyGLduWp5xciGxD bjpXj9kCWOBrSQVTuJ9vMXtgP1vIMEPo9V8Bb8vXuhv73EwCrjg0fPBZO7OqMtppVb B/wU+pEat4ZGPQX2XPb6cFXSRslGLgdXMqQEUdFW2J+86upxNs6IIAVhgDBJLuVN0g Gls3lhNxI+/JA== Received-SPF: pass client-ip=2a02:1800:110:4::f00:1a; envelope-from=maximedevos@telenet.be; helo=albert.telenet-ops.be X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.devel:22862 Archived-At: --_04B92AE4-3DFE-4FC0-AB64-DA866C6FA306_ Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" >It is only used in the `program-arity function`, which is not called anywh= ere in the Guile repository (and calling it with valid inputs results in an= error due to the `program-arities` being undefined). This is untrue, it (i.e. program-arities) is also used in the manual. >Removing those functions is simple, but the `arity:` accessors have more u= sers, [=E2=80=A6] It shouldn=E2=80=99t be removed, rather a replacement should be provided so= mewhere. Regardless of the changes to the VM, compiled procedures still exist, and b= y definition that=E2=80=99s what a =E2=80=98program=E2=80=99 is, so =E2=80= =98programs=E2=80=99 still exist, and hence many of the procedures in that = module still make sense, including program-arities. In particular, arity i= nformation is still recorded (in .guile.arities), so it should be made / ke= pt accessible somewhere. Best regards, Maxime Devos --_04B92AE4-3DFE-4FC0-AB64-DA866C6FA306_ Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="utf-8"

>It is only used in the `program= -arity function`, which is not called anywhere in the Guile repository (and= calling it with valid inputs results in an error due to the `program-ariti= es` being undefined).

 

This is untrue, it (i.e. program-arities) is also used in the = manual.

 

<= span lang=3DEN-GB>>Removing those functions is simple, but the `arity:` = accessors have more users, [=E2=80=A6]

 

<= span lang=3DEN-GB>It shouldn=E2=80=99t be removed, rather a replacement sho= uld be provided somewhere.

Regardless of the changes to the VM, compiled procedures still= exist, and by definition that=E2=80=99s what a =E2=80=98program=E2=80=99 i= s, so =E2=80=98programs=E2=80=99 still exist, and hence many of the procedu= res in that module still make sense, including=C2=A0 program-arities. In pa= rticular, arity information is still recorded (in .guile.arities), so it sh= ould be made / kept accessible somewhere.

 

Best regards,
Maxime Devos

 

= --_04B92AE4-3DFE-4FC0-AB64-DA866C6FA306_--