GNU bug report logs - #40294
Documentation for arity procedures doesn't match behavior

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Package: guile; Severity: minor; Reported by: John Cowan <cowan@HIDDEN>; dated Mon, 30 Mar 2020 02:36:07 UTC; Maintainer for guile is bug-guile@HIDDEN.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 30 Mar 2020 02:35:33 +0000
From cowan@HIDDEN Sat Mar 28 17:42:40 2020
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>
Subject: Documentation for arity procedures doesn't match behavior
To: bug-guile@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-Debbugs-Envelope-To: submit
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&#39;.</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&#39; 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&#39; 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)&gt; (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)&gt; 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&#39; for a backt=
race or `,q&#39; 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)&gt; (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)&gt; (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)&gt; (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)&gt; (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)&gt;</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--
Acknowledgement sent to John Cowan <cowan@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-guile@HIDDEN. Full text available.
Report forwarded to bug-guile@HIDDEN:
bug#40294; Package guile. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Mon, 30 Mar 2020 02:45:01 UTC

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