X-Loop: help-debbugs@HIDDEN
Subject: bug#40294: Documentation for arity procedures doesn't match behavior
Resent-From: John Cowan <cowan@HIDDEN>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Mon, 30 Mar 2020 02:36:07 +0000
Resent-Message-ID: <handler.40294.B.158553573317355 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 40294
X-GNU-PR-Package: guile
X-GNU-PR-Keywords:
To: 40294 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-guile@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.158553573317355
(code B ref -1); Mon, 30 Mar 2020 02:36:07 +0000
Received: (at submit) by debbugs.gnu.org; 30 Mar 2020 02:35:33 +0000
Received: from lists.gnu.org ([209.51.188.17]:51453)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <cowan@HIDDEN>) id 1jIJDz-0000Nw-Vd
for submit <at> debbugs.gnu.org; Sat, 28 Mar 2020 17:42:40 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:33243)
by lists.gnu.org with esmtp (Exim 4.90_1)
(envelope-from <cowan@HIDDEN>) id 1jIJDy-0002LG-LI
for bug-guile@HIDDEN; Sat, 28 Mar 2020 17:42:39 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level:
X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,HTML_MESSAGE
autolearn=disabled version=3.3.2
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
(envelope-from <cowan@HIDDEN>) id 1jIJDx-0001pH-FD
for bug-guile@HIDDEN; Sat, 28 Mar 2020 17:42:38 -0400
Received: from mail-qt1-x830.google.com ([2607:f8b0:4864:20::830]:34038)
by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
(Exim 4.71) (envelope-from <cowan@HIDDEN>) id 1jIJDx-0001o6-2B
for bug-guile@HIDDEN; Sat, 28 Mar 2020 17:42:37 -0400
Received: by mail-qt1-x830.google.com with SMTP id 10so11899807qtp.1
for <bug-guile@HIDDEN>; Sat, 28 Mar 2020 14:42:36 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=ccil-org.20150623.gappssmtp.com; s=20150623;
h=mime-version:from:date:message-id:subject:to;
bh=tc2WgLkWhiOd2Da6oGGNq266lYDZJO4Qvh1o9bgNUOs=;
b=2SzH77+75ZxBWvn+Dsf2wnYY9el7X+xAPcjKzxUe2HJupEommT6YtJ9HPzoqcgfPhY
BBFFl4Exlvzr8dXBPIf4zQXz4qONI2mrtCGSEseNmNGAYoEiVRZzhXF08DfI036Tynh3
jNjFXW6qTCjj7W8aZZxc73nPJWFrRzA0Zsi/fr3NNuNK7bBFFLAnc27nyLX4Evl9tM5s
8BuF/EQLgqVmDrIQXdIMqTd27+WNaDGAa6Rz5m41eo/kDvi2KcHC2tXGWNoCkFv2EalM
M+D9mrXez1EOR+aL/6fvcACyGnyKBouN59TumczlM7sTlL5VCpHh2A4KYnkw3XE1tO3J
cbhg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
bh=tc2WgLkWhiOd2Da6oGGNq266lYDZJO4Qvh1o9bgNUOs=;
b=n9WXfMg/BkOpmebipCB8LJlQItKx8kkOcS4YN9t7x+JW0sTRyveDc4UM97KlmL9VLk
Z8D/QxZoR/nrAU9Ky5Rw4sr4bxMRk8Fa6gA7uGF7hoHLPB+T/XYEJwRit1STVmN8hmTo
iEu3IiSqAgwVdkXh9H4928EdI3I+qVfWSDUeBNau5583hCBB9pVvRfxtY84XdWtGWnI8
oCfogqhMqs0gbX3urP05fbTAu8/exWv2nRScyJl/sbSdLPCIFJcOlTnJptxEWXPQy1PR
GlOjdkbi13QbDUoOdSivasPkq8k3+R7Mh6QcZVizTLGTg+Ci++rw+bzyOPfFLe0aNFIo
pcyQ==
X-Gm-Message-State: ANhLgQ0jhzcszp1J2X/ZAEPMAwV62phT5HerlXlG2/DvuO4xd2b/YUt6
GgnBktXm6P0x8FANOdloeXngtEisiQMCfHx1S10RhmSqSqVQMQ==
X-Google-Smtp-Source: ADFU+vvF6EoVSClKFZQ/kapPnE0C4B0BIXtgY0sn4FtoaP7+ggbgYIA4aRmyn5y6fY9Ldr/SBxZ29+qvwg5awfXiPXQ=
X-Received: by 2002:aed:3c10:: with SMTP id t16mr5508440qte.45.1585431756091;
Sat, 28 Mar 2020 14:42:36 -0700 (PDT)
MIME-Version: 1.0
From: John Cowan <cowan@HIDDEN>
Date: Sat, 28 Mar 2020 17:42:25 -0400
Message-ID: <CAD2gp_QD9aBPeHAykqiD6agkYndrQFtqZMzY07VufcLZnH1PiQ@HIDDEN>
Content-Type: multipart/alternative; boundary="000000000000a3450a05a1f118f9"
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
recognized.
X-Received-From: 2607:f8b0:4864:20::830
X-Spam-Score: 0.3 (/)
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>
X-List-Received-Date: Sat, 28 Mar 2020 21:42:40 -0000
--000000000000a3450a05a1f118f9
Content-Type: text/plain; charset="UTF-8"
Interaction showing the problem
$ guile
GNU Guile 2.2.6
Copyright (C) 1995-2019 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)> (use-modules (system vm program))
scheme@(guile-user)> program-arities
ERROR: Unbound variable: program-arities. ; should be defined
Entering a new prompt. Type `,bt' for a backtrace or `,q' to continue.
scheme@(guile-user)> (arity:nreq +) ; 0 arguments required, correct
$1 = 0
scheme@(guile-user)> (arity:rest? +) ; rest argument, correct
$2 = #f
scheme@(guile-user)> (arity:nreq car) ; 1 argument required, bad
$3 = 0
scheme@(guile-user)> (program-arguments-alist car) ; correct
$4 = ((required _) (optional) (keyword) (allow-other-keys? . #f) (rest .
#f))
scheme@(guile-user)>
The same thing happens in Guile 3, and on both Mac and Linux.
--000000000000a3450a05a1f118f9
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr">
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">Interaction showing the problem=
</span></p><p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:n=
ormal;font-variant-east-asian:normal;font-stretch:normal;font-size:16px;lin=
e-height:normal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1=
" style=3D"font-variant-ligatures:no-common-ligatures"><br></span></p><p cl=
ass=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-varia=
nt-east-asian:normal;font-stretch:normal;font-size:16px;line-height:normal;=
font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"font-=
variant-ligatures:no-common-ligatures">$ guile</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">GNU Guile 2.2.6</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">Copyright (C) 1995-2019 Free So=
ftware Foundation, Inc.</span></p>
<p class=3D"gmail-p2" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0);min-height:19px"><span class=3D"gma=
il-s1" style=3D"font-variant-ligatures:no-common-ligatures"></span><br></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">Guile comes with ABSOLUTELY NO =
WARRANTY; for details type `,show w'.</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">This program is free software, =
and you are welcome to redistribute it</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">under certain conditions; type =
`,show c' for details.</span></p>
<p class=3D"gmail-p2" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0);min-height:19px"><span class=3D"gma=
il-s1" style=3D"font-variant-ligatures:no-common-ligatures"></span><br></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">Enter `,help' for help.</sp=
an></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">scheme@(guile-user)> (use-mo=
dules (system vm program))</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">scheme@(guile-user)> program=
-arities</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">ERROR: Unbound variable: progra=
m-arities. ; should be defined</span></p>
<p class=3D"gmail-p2" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0);min-height:19px"><span class=3D"gma=
il-s1" style=3D"font-variant-ligatures:no-common-ligatures"></span><br></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">Entering a new prompt.<span cla=
ss=3D"gmail-Apple-converted-space">=C2=A0 </span>Type `,bt' for a backt=
race or `,q' to continue.</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span style=3D"font-variant-ligatu=
res:no-common-ligatures">scheme@(guile-user)> (arity:nreq +) ; 0 argumen=
ts required, correct</span><br></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">$1 =3D 0</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">scheme@(guile-user)> (arity:=
rest? +) ; rest argument, correct</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">$2 =3D #f</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">scheme@(guile-user)> (arity:=
nreq car) ; 1 argument required, bad</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">$3 =3D 0</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">scheme@(guile-user)> (progra=
m-arguments-alist car) ; correct</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">$4 =3D ((required _) (optional)=
(keyword) (allow-other-keys? . #f) (rest . #f))</span></p>
<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height:no=
rmal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"=
font-variant-ligatures:no-common-ligatures">scheme@(guile-user)></span><=
/p><p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;fo=
nt-variant-east-asian:normal;font-stretch:normal;font-size:16px;line-height=
:normal;font-family:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=
=3D"font-variant-ligatures:no-common-ligatures"><br></span></p><p class=3D"=
gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-variant-east=
-asian:normal;font-stretch:normal;font-size:16px;line-height:normal;font-fa=
mily:Menlo;color:rgb(0,0,0)"><span class=3D"gmail-s1" style=3D"font-variant=
-ligatures:no-common-ligatures">The same thing happens in Guile 3, and on b=
oth Mac and Linux.</span></p></div>
--000000000000a3450a05a1f118f9--
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: John Cowan <cowan@HIDDEN> Subject: bug#40294: Acknowledgement (Documentation for arity procedures doesn't match behavior) Message-ID: <handler.40294.B.158553573317355.ack <at> debbugs.gnu.org> References: <CAD2gp_QD9aBPeHAykqiD6agkYndrQFtqZMzY07VufcLZnH1PiQ@HIDDEN> X-Gnu-PR-Message: ack 40294 X-Gnu-PR-Package: guile Reply-To: 40294 <at> debbugs.gnu.org Date: Mon, 30 Mar 2020 02:36:07 +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 40294 <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 40294: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D40294 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.