From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Dr. Arne Babenhauserheide" Newsgroups: gmane.lisp.guile.devel Subject: Inconsistency with expressions between definitions Date: Sun, 24 Sep 2023 09:09:39 +0200 Message-ID: <87o7hsujrk.fsf@web.de> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22978"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: mu4e 1.10.7; emacs 29.0.92 To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Sun Sep 24 09:13:15 2023 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 1qkJIp-0005pY-7e for guile-devel@m.gmane-mx.org; Sun, 24 Sep 2023 09:13:15 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qkJIc-0006sX-1S; Sun, 24 Sep 2023 03:13:02 -0400 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 1qkJIa-0006rs-47 for guile-devel@gnu.org; Sun, 24 Sep 2023 03:13:00 -0400 Original-Received: from mout.web.de ([212.227.17.11]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qkJIR-0002cf-M8 for guile-devel@gnu.org; Sun, 24 Sep 2023 03:12:59 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1695539568; x=1696144368; i=arne_bab@web.de; bh=yMoHU/Po94IAnvJqFjkpzwVLmUAdpUxhASupGqs3kQ0=; h=X-UI-Sender-Class:From:To:Subject:Date; b=OwYg3eWCdmOjcGE/q9kC0fbk26uL7jXVmixO9dS6LCIqM2R/kpz0lnh7tSY98BXi+FdIyEJJxTH zA0O7iJZyd6Caqa2KK43SBi0vFYS0RJHFBg3nrBaeKxAZMKklEDkQP3y296q7Kb/JBXZ8iR9EDXK1 yFX+Hu/IYM/4/tS7ednaZy4qiBwIYwjs/1HVFwFIl7k03eme8UekISfnPBiOpjBhf56HXBghPc8et 3Bp5+eyswagPU+svoeM8HkqrHgKXqDM3SJttnii8pzakWYfkoqitslSWKVZBqYDgffZFuZzw9KioZ YQ3cDfiOEQiHA1/u4RPkAG+MPw7A0DOW53ZA== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from fluss ([80.136.25.224]) by smtp.web.de (mrweb105 [213.165.67.124]) with ESMTPSA (Nemesis) id 1N6K1b-1rlcDJ3B7p-016jGu; Sun, 24 Sep 2023 09:12:48 +0200 X-Provags-ID: V03:K1:hwlXacWYFBagxFRuip1kfskeyRB1JBw5NLqVH9afyZ0QtGiFjmU EncnfxJa1JtmKQkkgOKpwvTcNemhx2gIQHZqIJTy5Gc79AtKyLTA5GNM0S1SFm3qD1j2Gbs lxCMHnFHttU7Rhs6zJ0Tekjt7gH+NpvKcKiUaBViiCEjmTADsUM43ugyad5wCHnLmkYdS1I vjz/vuALTTGhMCjGkLlFw== UI-OutboundReport: notjunk:1;M01:P0:xg8FDvRb284=;bI1Z7HVoMLfy9x/vkKuANC13jvv ow7JWWjYKxCPUsrXOqZKCBlUQeTaVKUIINu1P+tXDOKOlqT3j4KGqdEaP64Vz2NG/wg9mvfyj tZ4/LcCcZg3mibipDEvXHUaRVHKltxzZOrE1jN3mEdeIZHT2CxKQ1tBYl3lfElwTNSYpfF44i tggGaXFcLuqRtCSWXFQ8p7MEXFngjE0CQ0lO+7QWCkiNYmn1CxFtvT16tXPwhujE75D3EmTm5 Dk+ZaUcZ4wQwbA6UlXlTR5bUVUh3GW0qcpOBXlhmG3bBip3eOtTXijG4bDqmdX1EdzIwNIaD8 HqBO59sQOuOnbzH8tVdETM0cQ5KKVf0qSqnP9XbW2CRWWTzfFlQGDgG3RDOJc+0tLyjpCDV50 JqfhaExjg2PFxkzsfcIX6wRqg/+3SwK3oQbfWMcAz3mYBV6iHULBH2zLl/GBWCm2D3+FVkvG7 V3qaOWEbXr+s4RayOPI92f3tvyv6aC+ApUR/ftazfd/R8AEZtPJjy+PH/6uUx9lNsY4GKnD4A B3d9hn3IHPVjZbKPJ5huYoWLVovDaqBxjZs+qe9UeeWJHppfruU4H2yHD9H0ViGX5phrEosnu gIgaT8qtpABUbchMJSMbYO8M0IqYXIInBAUg5G9Pa4A5p7GOs6OCNsh13owAf3yB2GSHtXIis s+m77xJrtnsDuHXGNvcLjonCO/zQNUekSlsng0CQtkYELln4wf4kohZJXM9MjaY3uyHFZA0+r GdBjAa3+gDVMbD9YM7LvvJszsfImbLc2N5+MUwBM6V6snjuLyCzj3eBN/9FxJcOXoTXJRrBC Received-SPF: pass client-ip=212.227.17.11; envelope-from=arne_bab@web.de; helo=mout.web.de 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, SPF_HELO_NONE=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:21972 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi, while writing a comment to SRFI-245 I think I found an inconsistency in the Implementation in Guile. This works: (define (using-later-variable) (define x y) (define y #t) x) (using-later-variable) ;; =3D> #t This still works: (define (using-later-variable) (define x y) (newline) (define y #t) x) (using-later-variable) ;; =3D> (newline output) ;; =3D> #t This fails: (define (using-later-variable) (define x y) (display x) (newline) (define y #t) x) (using-later-variable) ;; =3D> # Best wishes, Arne =2D-=20 Unpolitisch sein hei=C3=9Ft politisch sein, ohne es zu merken. draketo.de --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE801qEjXQSQPNItXAE++NRSQDw+sFAmUP4XAQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD60F5EADMBJdsgUd4ZlOGAh/G3kZtpj/B/Pko0PjG bW/6vPvJih5Sr+e7Ni0U+DRRXhmsS4h2CXEWuYNnlxl5z4S3iIUI/DSyzadCuJMo tx39evUeQecWUp+WAfk/mgMrUzgfuUdZ2ulwVhq5OMx4qk+40hZUv4fxk8A7fSv+ F5ZKY2XqauRY13oBSaZprmIKhUddgpMVnVOgF0a4i/oORE47EbQ8qpLDMjZScCAe cGl5edT+K70DcUFQkDUloeURKQsA8i0/aUDbs3jdtCxDHU3JNHyenDlLgG9J1ZAY 2WNon0MYkN/qJC4EiiLMfrse5YSgyM3Fm9ar6S6q0mw0rc50AcQrx0ZeIdiO8mNH ZYMMOgjkqZU75RUmWI5U4p+2NkGZ/whEqpI3KOW6OTxCGoDgAPTabGUfbEPlGe2X XgJ4k9cgA/ET1f8AG+mFaf3HE2FySGp/blWuiGm3V4fOWKFkL9JixtMFsT0dWfZJ nudm9VyMBlstsTDcTrC/jwZmn3OOYdyJX/wvIk2UkduofNrqxafyXxnoQdLCAofP XSqq9ytzhsWXqFZ+aFEhSoBKCqMEh2cjois55ALhMTmvMcfAZFBq2MdOc7eh5Z8y 3HMJoFrSfRM6ytX2qV8XcvmRZbplPU2G5il5rPNtBxzmjX9nvDfcrvpgrsJJMuM3 hjIW6cHLpojEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmUP4XAQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSN2SA/9m4XvfrOkBOptVZZfQQwwDwAfM oMDiUyQ3SivE05wGsxsycw+W0dy0GQb27rT/11QcWRFIiROj00+32Kp9jbmr7Lxn XLZLVi2K+fdzo2q+UKkxt+PACRHckdHXojB1Hb7DFkLpvrb+KMv8+HKAAkqrXbnr W+rlpzOlJ08bCNL70Q== =6Qzy -----END PGP SIGNATURE----- --=-=-=--