Ludovic Courtès <ludo@HIDDEN>
to control <at> debbugs.gnu.org.
Full text available.
Received: (at submit) by debbugs.gnu.org; 17 Dec 2022 23:26:54 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Dec 17 18:26:53 2022
Received: from localhost ([127.0.0.1]:58557 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1p6gZx-0003EP-GE
for submit <at> debbugs.gnu.org; Sat, 17 Dec 2022 18:26:53 -0500
Received: from lists.gnu.org ([209.51.188.17]:38216)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <stefan.itampe@HIDDEN>) id 1p6gZv-0003EJ-JI
for submit <at> debbugs.gnu.org; Sat, 17 Dec 2022 18:26:52 -0500
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 <stefan.itampe@HIDDEN>)
id 1p6gZv-0004xH-8O
for bug-guile@HIDDEN; Sat, 17 Dec 2022 18:26:51 -0500
Received: from mail-ej1-x62d.google.com ([2a00:1450:4864:20::62d])
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
(Exim 4.90_1) (envelope-from <stefan.itampe@HIDDEN>)
id 1p6gZt-0003FL-85
for bug-guile@HIDDEN; Sat, 17 Dec 2022 18:26:50 -0500
Received: by mail-ej1-x62d.google.com with SMTP id tz12so13916055ejc.9
for <bug-guile@HIDDEN>; Sat, 17 Dec 2022 15:26:48 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
h=to:subject:message-id:date:from:mime-version:from:to:cc:subject
:date:message-id:reply-to;
bh=Y7hHLBBCGqKMnqgMFOpSdJm+/wfJ/NMSsjSaae1SDvU=;
b=QuVGdB4lqmN9qxFRRuN707d7RsLyLQ55e3WpkFDQvN+bRuff/s4pd3/UPXXK20NXbC
P+7Pmr7RvT5MnKDcWHLFP0q0is1UtQM0ydWuATisLd9YfHUuwJOZaWKpVxRcFQ+zkXGg
To00FDK5JuHOni6c3eOJwOurRm3hMhCzA3MOTd4AdddISgZkMeYDQk5xCMqGoZRMthgS
jIPBz1e5ea3lrb8SIriBC8rgC4CTz0hkpkRhzq7fnh04vnae4E3GbmPiOTkVzHG2hL2I
o1z3v2mCcxQtQAF0xeSGMtSrqUAx00snbvvKxSR2oewoXEXpJCi8IM2wtYj4meghx7ik
eJlA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20210112;
h=to:subject:message-id:date:from:mime-version:x-gm-message-state
:from:to:cc:subject:date:message-id:reply-to;
bh=Y7hHLBBCGqKMnqgMFOpSdJm+/wfJ/NMSsjSaae1SDvU=;
b=l7ZjHSZcuuce7gVuYQfXPo3DWfky8Ai5gRBqs/i3Nk5d8xmwVPPhkGYGvPIJICTve5
eTGOO03eZX9vGD6/UojAXj2EjsDFGdSgJtdbyE5obuDBE5NO2sCvwu4pKrmeLEwz9+ba
yVmoNxWXv4wBAsRycXPPdwFpHtNYPqhEeD5MMOLjJvt3uS7ehwpeHzXm9vRF/PZRtiTP
QJjk9y9NK+7S07jZSxLYCjQRtMK2KSQN/LM+kn0AWCgBU9Tm/+c4/6HC45HAcAVuFtWx
b8ne9C0adM9S+XeT54/ue3WhfOoXf1Mhkeo3O9P/G+GZuQx0hsc1fVgQ0v4TVT4Sk4bW
hUEw==
X-Gm-Message-State: AFqh2kpH1oSWvzuM0khgkWFcstxsFPPUDpkNBqd7xbYBvArPj1ZjG0ZF
3hnnZwpPf76yU2d520ce1IfeSp5t6pryQ5ltzbVn5PG1V8M=
X-Google-Smtp-Source: AMrXdXuRPJyIwWFhAqNGf4OlQm18iSVS2+kcK4zgaaG/8s2Lf/IC3+X9zrs985qa6h6bQtj/xTD2dGOQjMBXEpgtAj0=
X-Received: by 2002:a17:906:b44:b0:7ff:727f:65db with SMTP id
v4-20020a1709060b4400b007ff727f65dbmr164149ejg.640.1671319606431; Sat, 17 Dec
2022 15:26:46 -0800 (PST)
MIME-Version: 1.0
From: Stefan Israelsson Tampe <stefan.itampe@HIDDEN>
Date: Sun, 18 Dec 2022 00:26:35 +0100
Message-ID: <CAGua6m08iS463+tYeMPvhDaowWHjaWY4FK6MVvRONm0U-6pkDQ@HIDDEN>
Subject:
To: bug-guile@HIDDEN
Content-Type: multipart/alternative; boundary="00000000000072921205f00e6bc1"
Received-SPF: pass client-ip=2a00:1450:4864:20::62d;
envelope-from=stefan.itampe@HIDDEN; helo=mail-ej1-x62d.google.com
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, FREEMAIL_FROM=0.001,
HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.7 (/)
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>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.3 (/)
--00000000000072921205f00e6bc1
Content-Type: text/plain; charset="UTF-8"
Putting this program in q.scm
(lambda ()
(let* ((tag (list 'let/ec)))
(call-with-prompt
tag
(lambda ()
(let lp ()
(call-with-values h
(let ()
(define (g a b)
(let ((kk (nm a u v)))
(cond
((equal? kk _filename)
(let ((tmp (pylist-ref modules a)))
(apply abort tag tmp '())))
((equal? (end kk) _filename)
(let ((tmp (pylist-ref modules a)))
(apply abort tag tmp '())))))
(lp))
(define f
(case-lambda
((a b)
(g a b))
((a b . y)
(g a b))))
f))))
(lambda (xx . results) (apply values results)))))
Results in the warning
forgot to emit definition instructions?
Using the below version of f works without the warning,
with
slusk = (lambda (g . x) (apply g x))
non inlined in:
(define f
(case-lambda
((a b)
(g a b))
((a b . y)
(slusk g a b))))
Tested in v3.0.8 and main dec 18 2022
--00000000000072921205f00e6bc1
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><div><span style=3D"font-family:monospace"><span style=3D"=
color:rgb(0,0,0)">Putting this program in q.scm</span></span></div><div><sp=
an style=3D"font-family:monospace"><span style=3D"color:rgb(0,0,0)"><br></s=
pan></span></div><div><font face=3D"monospace">(lambda ()<br>(let* ((tag (l=
ist 'let/ec)))<br>=C2=A0 (call-with-prompt<br>=C2=A0 =C2=A0tag<br>=C2=
=A0 =C2=A0 (lambda ()<br>=C2=A0 =C2=A0 =C2=A0 (let lp ()<br>=C2=A0 =C2=A0 =
=C2=A0 =C2=A0 (call-with-values h<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (le=
t ()<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (define (g a b)<br>=C2=A0=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (let ((kk (nm a u v)))<br>=C2=A0=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (cond<br>=C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ((equal? kk _filename)<br>=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(let (=
(tmp (pylist-ref modules a)))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (apply abort tag tmp '())))<br>=C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ((equal? (end k=
k) _filename)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0(let ((tmp (pylist-ref modules a)))<br>=C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (apply abort tag tm=
p '())))))<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (=
lp))<br> <br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (define f<br>=C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (case-lambda<br>=C2=A0 =C2=A0=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ((a b)<br>=C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(g a b))<br><br>=C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ((a b . y)<br>=C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(g a b))))<br> <br>=C2=A0 =C2=A0=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 f))))<br><br>=C2=A0 =C2=A0 (lambda (xx . resul=
ts) (apply values results)))))</font><br></div><div><font face=3D"monospace=
"><br></font></div><div><font face=3D"monospace">Results=C2=A0in the warnin=
g</font></div><div><span style=3D"color:rgb(0,0,0);font-family:monospace">f=
orgot to emit definition instructions?</span><font face=3D"monospace"><br><=
/font></div><div><span style=3D"color:rgb(0,0,0);font-family:monospace"><br=
></span></div><div><span style=3D"color:rgb(0,0,0);font-family:monospace">U=
sing the below version of f works without the warning,=C2=A0</span></div><d=
iv><span style=3D"color:rgb(0,0,0);font-family:monospace"><br></span></div>=
<div><span style=3D"color:rgb(0,0,0);font-family:monospace">with</span></di=
v><div><span style=3D"color:rgb(0,0,0);font-family:monospace">=C2=A0 =C2=A0=
slusk =3D=C2=A0</span><span style=3D"color:rgb(0,0,0);font-family:monospace=
">(lambda (g . x) (apply g x))=C2=A0</span></div><div><span style=3D"color:=
rgb(0,0,0);font-family:monospace"><br></span></div><div><span style=3D"colo=
r:rgb(0,0,0);font-family:monospace">non inlined in:</span></div><div><span =
style=3D"font-family:monospace">=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (=
define f</span><br style=3D"font-family:monospace"><span style=3D"font-fami=
ly:monospace">=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (case-lambda=
</span><br style=3D"font-family:monospace"><span style=3D"font-family:monos=
pace">=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ((a b)</span>=
<br style=3D"font-family:monospace"><span style=3D"font-family:monospace">=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(g a b))</spa=
n><br style=3D"font-family:monospace"><br style=3D"font-family:monospace"><=
span style=3D"font-family:monospace">=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 ((a b . y)</span><br style=3D"font-family:monospace"><spa=
n style=3D"font-family:monospace">=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
=C2=A0 =C2=A0 =C2=A0(slusk g a b))))</span><br style=3D"font-family:monosp=
ace"></div><div><span style=3D"font-family:monospace"><br></span></div><div=
><span style=3D"font-family:monospace">Tested in v3.0.8 and main dec 18 202=
2</span></div></div>
--00000000000072921205f00e6bc1--
Stefan Israelsson Tampe <stefan.itampe@HIDDEN>:bug-guile@HIDDEN.
Full text available.bug-guile@HIDDEN:bug#60170; Package guile.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.