From unknown Fri Jun 20 07:11:19 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#62053 <62053@debbugs.gnu.org> To: bug#62053 <62053@debbugs.gnu.org> Subject: Status: Guile compiler is unable to compile tiny program Reply-To: bug#62053 <62053@debbugs.gnu.org> Date: Fri, 20 Jun 2025 14:11:19 +0000 retitle 62053 Guile compiler is unable to compile tiny program reassign 62053 guile submitter 62053 =D0=92=D0=BB=D0=B0=D0=B4=D0=B8=D0=BC=D0=B8=D1=80 =D0=92=D0= =9D=D0=98=D0=98=D0=90=D0=AD=D0=A1 severity 62053 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 08 10:38:40 2023 Received: (at submit) by debbugs.gnu.org; 8 Mar 2023 15:38:40 +0000 Received: from localhost ([127.0.0.1]:49975 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pZvsF-0007qj-Lk for submit@debbugs.gnu.org; Wed, 08 Mar 2023 10:38:40 -0500 Received: from lists.gnu.org ([209.51.188.17]:33824) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pZreS-0005r7-TR for submit@debbugs.gnu.org; Wed, 08 Mar 2023 06:08:09 -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 ) id 1pZreS-0008Ui-9E for bug-guile@gnu.org; Wed, 08 Mar 2023 06:08:08 -0500 Received: from f141.i.mail.ru ([45.84.128.50]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pZreP-0003s6-Rw for bug-guile@gnu.org; Wed, 08 Mar 2023 06:08:07 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mail.ru; s=mail4; h=Content-Type:Message-ID:Reply-To:Date:MIME-Version:Subject:To:From:From:Subject:Content-Type:Content-Transfer-Encoding:To:Cc; bh=Gcpg3UhD7DO/3ACzBbMhPNomCL3lS6TQXUOdpC1f+zg=; t=1678273685;x=1678363685; b=lFU2tKil1Zb+bHelcHowoJvQ3gnrn0GCVw7IJrZ+xWiSI6K+6sKOhaqQJC0oxDX10d1fWOsKnFiXZq9KQpMWPMcgF+nQlMjXivQAdUqhgyJyonYE3FM13AGR5ubFUvJCJogPmv4Ly5zYKobQG1KB8xCp7lVnbyYB4Hfui2Ts0GL+UCkcAuP1W3meH89N4/3Qn+KFG7QSo8xypEE0//tHyc8v7tT/q/mVKu7nUKydRq4giBDplsNMA66dLukyoxmAyC7v5I3LiBkQAv0wR9u6RxFOTufcXc6swBSoxYXwB89X3GCyxWZYX1HUMMoFOTTOc0y5gOE8hPrOlOkMU1LIdQ==; Received: by f141.i.mail.ru with local (envelope-from ) id 1pZreG-0004P1-UV for bug-guile@gnu.org; Wed, 08 Mar 2023 14:07:57 +0300 Received: by e.mail.ru with HTTP; Wed, 08 Mar 2023 14:07:56 +0300 From: =?UTF-8?B?0JLQu9Cw0LTQuNC80LjRgCDQktCd0JjQmNCQ0K3QoQ==?= To: bug-guile@gnu.org Subject: =?UTF-8?B?R3VpbGUgY29tcGlsZXIgaXMgdW5hYmxlIHRvIGNvbXBpbGUgdGlueSBwcm9n?= =?UTF-8?B?cmFt?= MIME-Version: 1.0 X-Mailer: Mail.Ru Mailer 1.0 X-SenderField-Remind: 0 Date: Wed, 08 Mar 2023 14:07:56 +0300 X-Priority: 3 (Normal) Message-ID: <1678273676.721226645@f141.i.mail.ru> Content-Type: multipart/alternative; boundary="--ALT--48b3D3a8948857BA8d98033a2E6594aB1678273676" Authentication-Results: f141.i.mail.ru; auth=pass smtp.auth=var-vniiaes@mail.ru smtp.mailfrom=var-vniiaes@mail.ru X-7564579A: B8F34718100C35BD X-77F55803: 119C1F4DF6A9251CCCD15B701D9134D1523D507ED8348A93761F87758C3F808CABF6EAE57C0FACE99DBDF8B5CB6340B78F54ED5A10C623F5D5FB8BD5E258CB9D616BE8D460342E8D X-7FA49CB5: 70AAF3C13DB7016878DA827A17800CE7AB81F9F22B33E710D82A6BABE6F325ACACBFF42033827DA7BCF491FFA38154B613377AFFFEAFD2690E30A4C9C8E338DA0B8ADF238913687CB287FD4696A6DC2FA8DF7F3B2552694A4E2F5AFA99E116B42401471946AA11AF176DF2183F8FC7C0AE28AD3C7270E4528F08D7030A58E5AD1A62830130A00468AEEEE3FBA3A834EE7353EFBB5533756627F66108632755535F80D01FFBC80D74BFE3652A351B03F71DF9E95F17B0083B26EA987F6312C9EC9647ADFADE5905B1618001F51B5FD3F9D2E47CDBA5A96583C09775C1D3CA48CF3C056C6FCE5AFF8E117882F4460429724CE54428C33FAD30A8DF7F3B2552694AC26CFBAC0749D213D2E47CDBA5A9658378DA827A17800CE74CF195F1528592878941B15DA834481F9449624AB7ADAF372E808ACE2090B5E14AD6D5ED66289B5259CC434672EE63711DD303D21008E298D5E8D9A59859A8B6B372FE9A2E580EFC725E5C173C3A84C33E10B8FB1984732735872C767BF85DA2F004C90652538430E4A6367B16DE6309 X-C8649E89: 4E36BF7865823D7055A7F0CF078B5EC49A30900B95165D347D10A9FCB2A62DFEE5B5F7C2AA572A9CAC166755FD4B10E69E86550305D94FF3CB4F91E2E6D4CC431D7E09C32AA3244C8F18C1F25FF2F704F4828E5764FBB1C6F2F5F14F68F1805B3EB3F6AD6EA9203E X-D57D3AED: 3ZO7eAau8CL7WIMRKs4sN3D3tLDjz0dLbV79QFUyzQ2Ujvy7cMT6pYYqY16iZVKkSc3dCLJ7zSJH7+u4VD18S7Vl4ZUrpaVfd2+vE6kuoey4m4VkSEu530nj6fImhcD4MUrOEAnl0W826KZ9Q+tr5+wYjsrrSY/u8Y3PrTqANeitKFiSd6Yd7yPpbiiZ/d5BsxIjK0jGQgCHUM3Ry2Lt2G3MDkMauH3h0dBdQGj+BB/iPzQYh7XS3xyn40EmMxrmzGyQ9/nTnF0cdGBx3M703pzUdJfQ/bjz X-Mailru-MI: 800 X-Mailru-Sender: E08AC62E989233AF1FD0D1950945AEC6A4DE17D7BD2A65FA4C0351F9B29C50D8ABD9C0EF06404E8F8C271DA8FA9C476DA2BFD6D8330F0C2D6FE3C0E52A090D5BDFE00E52EA05636B6E3DE700C7C863EC6255A70CFCE5B97E7F07C65543FC9167F0F64A81A405186BB4A721A3011E896F X-Mras: Ok X-Spam: undefined Received-SPF: pass client-ip=45.84.128.50; envelope-from=var-vniiaes@mail.ru; helo=f141.i.mail.ru 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_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Wed, 08 Mar 2023 10:38:37 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: =?UTF-8?B?0JLQu9Cw0LTQuNC80LjRgCDQktCd0JjQmNCQ0K3QoQ==?= Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) ----ALT--48b3D3a8948857BA8d98033a2E6594aB1678273676 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 Ckd1aWxlIGNvbXBpbGVyIGlzIHVuYWJsZSB0byBjb21waWxlIHRpbnkgcHJvZ3JhbToKwqAKKGRl ZmluZSAoZm4gbCkKwqDCoMKgIChkZWZpbmUgKG9rIGwpCsKgwqDCoMKgwqDCoCAob3IgKGFuZCAo cGFpcj8gbCkgbCkKwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGVycm9yICJsaXN0IGlzIGVtcHR5Iikp KQrCoMKgwqAgKGNvbnMgKHJldmVyc2UgKGNhciBsKSkgKG9rIGwpKSkKwqAKYW1heWFAcGljYXNz bzp+L3RtcC9ndWlsZS0zLjAuOQokIC4uL3ByZWZpeC9iaW4vZ3VpbGUgfi90bXAvZ3VpbGUtY29t cGlsZXItYnVnLnNjbQo7Ozsgbm90ZTogYXV0by1jb21waWxhdGlvbiBpcyBlbmFibGVkLCBzZXQg R1VJTEVfQVVUT19DT01QSUxFPTAKOzs7wqDCoMKgwqDCoMKgIG9yIHBhc3MgdGhlIC0tbm8tYXV0 by1jb21waWxlIGFyZ3VtZW50IHRvIGRpc2FibGUuCjs7OyBjb21waWxpbmcgL2hvbWUvYW1heWEv dG1wL2d1aWxlLWNvbXBpbGVyLWJ1Zy5zY20KOzs7IFdBUk5JTkc6IGNvbXBpbGF0aW9uIG9mIC9o b21lL2FtYXlhL3RtcC9ndWlsZS1jb21waWxlci1idWcuc2NtIGZhaWxlZDoKOzs7IG5vdCBmb3Vu ZCAyMgrCoApDb21waWxlciByZXBvcnRzIGNvbmZ1c2luZyBtZXNzYWdlIGhlcmU6IGBub3QgZm91 bmQgMjLigJkuwqDCoMKg ----ALT--48b3D3a8948857BA8d98033a2E6594aB1678273676 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 CjxIVE1MPjxCT0RZPjxkaXY+PGRpdj48ZGl2Pkd1aWxlIGNvbXBpbGVyIGlzIHVuYWJsZSB0byBj b21waWxlIHRpbnkgcHJvZ3JhbTo8L2Rpdj48ZGl2PiZuYnNwOzwvZGl2PjxkaXY+KGRlZmluZSAo Zm4gbCk8L2Rpdj48ZGl2PiZuYnNwOyZuYnNwOyZuYnNwOyAoZGVmaW5lIChvayBsKTwvZGl2Pjxk aXY+Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7IChvciAoYW5kIChwYWlyPyBs KSBsKTwvZGl2PjxkaXY+Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7 Jm5ic3A7Jm5ic3A7Jm5ic3A7IChlcnJvciAibGlzdCBpcyBlbXB0eSIpKSk8L2Rpdj48ZGl2PiZu YnNwOyZuYnNwOyZuYnNwOyAoY29ucyAocmV2ZXJzZSAoY2FyIGwpKSAob2sgbCkpKTwvZGl2Pjxk aXY+Jm5ic3A7PC9kaXY+PGRpdj48ZGl2PjxkaXY+PGRpdj5hbWF5YUBwaWNhc3NvOn4vdG1wL2d1 aWxlLTMuMC45PC9kaXY+PGRpdj4kIC4uL3ByZWZpeC9iaW4vZ3VpbGUgfi90bXAvZ3VpbGUtY29t cGlsZXItYnVnLnNjbTwvZGl2PjxkaXY+Ozs7IG5vdGU6IGF1dG8tY29tcGlsYXRpb24gaXMgZW5h YmxlZCwgc2V0IEdVSUxFX0FVVE9fQ09NUElMRT0wPC9kaXY+PGRpdj47OzsmbmJzcDsmbmJzcDsm bmJzcDsmbmJzcDsmbmJzcDsmbmJzcDsgb3IgcGFzcyB0aGUgLS1uby1hdXRvLWNvbXBpbGUgYXJn dW1lbnQgdG8gZGlzYWJsZS48L2Rpdj48ZGl2Pjs7OyBjb21waWxpbmcgL2hvbWUvYW1heWEvdG1w L2d1aWxlLWNvbXBpbGVyLWJ1Zy5zY208L2Rpdj48ZGl2Pjs7OyBXQVJOSU5HOiBjb21waWxhdGlv biBvZiAvaG9tZS9hbWF5YS90bXAvZ3VpbGUtY29tcGlsZXItYnVnLnNjbSBmYWlsZWQ6PC9kaXY+ PGRpdj47Ozsgbm90IGZvdW5kIDIyPC9kaXY+PGRpdj4mbmJzcDs8L2Rpdj48L2Rpdj48L2Rpdj48 L2Rpdj48L2Rpdj48L2Rpdj48ZGl2PkNvbXBpbGVyIHJlcG9ydHMgY29uZnVzaW5nIG1lc3NhZ2Ug aGVyZTogYG5vdCBmb3VuZCAyMuKAmS4mbmJzcDsmbmJzcDsmbmJzcDs8L2Rpdj48L0JPRFk+PC9I VE1MPgo= ----ALT--48b3D3a8948857BA8d98033a2E6594aB1678273676-- From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 08 11:41:29 2023 Received: (at submit) by debbugs.gnu.org; 8 Mar 2023 16:41:29 +0000 Received: from localhost ([127.0.0.1]:50065 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pZwr2-00017n-LX for submit@debbugs.gnu.org; Wed, 08 Mar 2023 11:41:28 -0500 Received: from lists.gnu.org ([209.51.188.17]:48154) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pZwr0-00017f-Uu for submit@debbugs.gnu.org; Wed, 08 Mar 2023 11:41:27 -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 ) id 1pZwr0-00072J-35 for bug-guile@gnu.org; Wed, 08 Mar 2023 11:41:26 -0500 Received: from mail.tuxteam.de ([5.199.139.25]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pZwqw-0007dW-Ks for bug-guile@gnu.org; Wed, 08 Mar 2023 11:41:25 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tuxteam.de; s=mail; h=From:In-Reply-To:Content-Type:MIME-Version:References:Message-ID: Subject:To:Date:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=SJBuIrmby4Gwm1ZDnWY/D8lyoqkOCIesN5cQF7yaHss=; b=R3ZJ/WFKpptzEwuJEeZCIRKqqW ObuC4pX4NX8U6Rjyeq9OqS4ilHoMNpIGrvgqTfkkGn4FJg+RpNfBNvzg8gTFMOoA7L+/gjJYutBSe 7u9Dv9Kr1kJqBfWzbZmAV7kBQpD8qioCiRjcYwIDnY7bNAIjN8ldrpU/4Q20wTEwuCHmaxOzQ6HhQ EzoF0u5+OZq0P3CAa4Vx4yvIGGUcIrg6ysPOYuh6iuVG2Yh9QAr+GvQsDf/n89nQD2cMsRfAhKdgm a20aZywnk7jFMW5ELj+ItNoJeE7/bYq5uLdMGVrqaeONBEScQGJbm87pu6DA0tM5Hlbq32eXAOQ8u dQwXXKFg==; Received: from tomas by mail.tuxteam.de with local (Exim 4.94.2) (envelope-from ) id 1pZwqt-0007vT-CQ for bug-guile@gnu.org; Wed, 08 Mar 2023 17:41:19 +0100 Date: Wed, 8 Mar 2023 17:41:19 +0100 To: bug-guile@gnu.org Subject: Re: bug#62053: Guile compiler is unable to compile tiny program Message-ID: References: <1678273676.721226645@f141.i.mail.ru> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="NzZulUVSabaZv/rR" Content-Disposition: inline In-Reply-To: <1678273676.721226645@f141.i.mail.ru> From: Received-SPF: pass client-ip=5.199.139.25; envelope-from=tomas@tuxteam.de; helo=mail.tuxteam.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, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) --NzZulUVSabaZv/rR Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Mar 08, 2023 at 02:07:56PM +0300, var-vniiaes--- via Bug reports fo= r GUILE, GNU's Ubiquitous Extension Language wrote: >=20 > Guile compiler is unable to compile tiny program: > =C2=A0 > (define (fn l) > =C2=A0=C2=A0=C2=A0 (define (ok l) > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (or (and (pair? l) l) > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (error "list= is empty"))) > =C2=A0=C2=A0=C2=A0 (cons (reverse (car l)) (ok l))) > =C2=A0 > amaya@picasso:~/tmp/guile-3.0.9 > $ ../prefix/bin/guile ~/tmp/guile-compiler-bug.scm > ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=3D0 > ;;;=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 or pass the --no-auto-compile arg= ument to disable. > ;;; compiling /home/amaya/tmp/guile-compiler-bug.scm > ;;; WARNING: compilation of /home/amaya/tmp/guile-compiler-bug.scm failed: > ;;; not found 22 > =C2=A0 > Compiler reports confusing message here: `not found 22=E2=80=99.=C2=A0=C2= =A0=C2=A0 Bizarre. Can confirm=20 tomas@trotzki:~/foo$ vim buggy.scm tomas@trotzki:~/foo$ guile buggy.scm=20 ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=3D0 ;;; or pass the --no-auto-compile argument to disable. ;;; compiling /home/tomas/foo/buggy.scm ;;; /home/tomas/foo/buggy.scm:2:0: warning: possibly unbound variable `#{= =C2=A0=C2=A0=C2=A0}#' ;;; /home/tomas/foo/buggy.scm:3:0: warning: possibly unbound variable `#{= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0}#' ;;; /home/tomas/foo/buggy.scm:4:0: warning: possibly unbound variable `#{= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0}#' ;;; WARNING: compilation of /home/tomas/foo/buggy.scm failed: ;;; not found 25 tomas@trotzki:~/foo$ guile --version guile (GNU Guile) 3.0.8.57-bc3b1 Copyright (C) 2022 Free Software Foundation, Inc. License LGPLv3+: GNU LGPL 3 or later . This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. (so in my case it's 25 instead of 22). Interestingly, my version also produces warnings about possibly unbound variables). If I enter the code line by line into a repl, I also get a "not found 22". Interestingly, if I add a call to fn to the end of that snippet (e.g. (fn '(a b))), the "not found" disappears. The unbound var warnings stay. Cheers --=20 t --NzZulUVSabaZv/rR Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iF0EABECAB0WIQRp53liolZD6iXhAoIFyCz1etHaRgUCZAi6qAAKCRAFyCz1etHa RjzDAJ43hVUIaJJwDwWq19T7qDYGUNgCpwCfb57K09FDPG50NzJnzTIHohMQPSs= =Dnvi -----END PGP SIGNATURE----- --NzZulUVSabaZv/rR-- From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 08 12:44:22 2023 Received: (at submit) by debbugs.gnu.org; 8 Mar 2023 17:44:23 +0000 Received: from localhost ([127.0.0.1]:50122 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pZxpu-0002sW-GV for submit@debbugs.gnu.org; Wed, 08 Mar 2023 12:44:22 -0500 Received: from lists.gnu.org ([209.51.188.17]:43540) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pZxps-0002sL-UQ for submit@debbugs.gnu.org; Wed, 08 Mar 2023 12:44:21 -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 ) id 1pZxps-0007IT-OB for bug-guile@gnu.org; Wed, 08 Mar 2023 12:44:20 -0500 Received: from mout.web.de ([212.227.15.3]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pZxpq-0008PT-Qi for bug-guile@gnu.org; Wed, 08 Mar 2023 12:44:20 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1678297449; i=arne_bab@web.de; bh=PuMhCj6N3y+e4EwIG3JAoRL5oO3iobaA8EpSeHezrrE=; h=X-UI-Sender-Class:References:From:To:Cc:Subject:Date:In-reply-to; b=oZsjfoyuRqZHvhFQhkrpAzJoB0xBtHb/ZeiOTJN0JEf3yYV1MnHy90/Q3ywbvGl6c TUHlpPoFmesb1B7ZWPk879rqpytc7SXG3WxAS5kPm9ETpTEYdKarogBXkGcVvQ6dUc cHzuqXKLtQZ9oQ3ZjdZb68htwjMQ53rp1G3NPxUcdyPMb3VdKCgEYF3mhXtMzVJLQs B/esbjbe2QNNHop/FTBvUlOP1hxQLhISlhZhed+C4iDUf7QvH0pTBHQJAfwjBla3aB OxjkmGSu7JcUNUT3XisbfQMWffocSdo6x33yXAJMM8QgvC6gwaCChe9YJFrP95ySzZ BVs8XDL43ourA== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from fluss ([84.149.95.143]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1MHmlu-1pos4F3AoA-00Es2v; Wed, 08 Mar 2023 18:44:09 +0100 References: <1678273676.721226645@f141.i.mail.ru> User-agent: mu4e 1.8.13; emacs 28.1 From: "Dr. Arne Babenhauserheide" To: tomas@tuxteam.de Subject: Re: bug#62053: Guile compiler is unable to compile tiny program Date: Wed, 08 Mar 2023 18:38:10 +0100 In-reply-to: Message-ID: <87bkl36suw.fsf@web.de> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Provags-ID: V03:K1:VwqIS+Ah/gKj8PQE9USq8ITld7tvjSrxziqtgJuSnXdkTuZiO2d S6J3s2tOS+n8eADal/CKH1HyhdmGIJUomGVJv4JOOxhHhrhGejcY0YvjeWK1FPCM7B3GWTo B1F6y4nQBpulkAicZLNBtkW9HlKz6vmhWOg6MtZb4DTLi/7ugRKqIP95cfwQsR6+MWLWHoj ec/tzztiPZasZrg5iE17A== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:NgISLuog8RM=;sJi1j10EsVgv2X0aE/txK05N0Si NUxLsLQ4qpa9pd0txVaXcqoolgzL9709frceflR1u4eSMCdlekFupH399VRasrgMA2th2yPUf x6M227nNACZ2VffDjwIgFsxjxQOe/uVwZG551vzs1Zs18hFrCGUXyererdfu0BGukuB516oXB jFKfzuAQkeTpKXUlG0RNECOLbRB15YaOIXzVSVPQT7WFuwkqUUmfDVNKo8vQg7bJF/zJ6rlG/ YkJSEMHqvOt/FanoOOnN6Rr+c2xQmQVe2Udv7E9Lbrnj8xxP8SH9w1SEyc9UaBiGJ8tT4Hh+L inroXJidsMYxqekVZAajXStbWHwkHXz6nMlcQbF3PD7ou2A/cp0qwj8hP1GUzvyj7M8F6EKFF c6bfyPefV8Q9v6B4/mzGscPxfKtSySOLQ4OZzo3r4/IL5ic3rDAV0nDidnb/r47msNlxH7uJq sYSYBgJJSA/xq3x75ObfrhaiCLqerb9qMCCxScw5/OUalaOqrKNFQx4lX+nd0JskOvSizIvCs 2IW9ysZO2i6R45UsyjFULETxlbIAt1cwVtRghAKP+irGFNyGlxg/ebyBWepdT/8MeMp0yJ5MJ OgUo6zDYRMscPEe4yu9+fNWGi1OLb99Df+/CGFB2wDPfTVWRk9QY1D4O7i+1Up7Cfr0ba9UKy BsVxtKh56rFhxhRdTKmxP9XtKM7ouBIj+LQQs3DIMoQYPungXmPKKm04l01hmpgxxBU8JgHYU uvq39fIpmYQSQei+0Kz0/gO7+T0F93TeEBhUJGY16CMBd98yCd62wsdMa9B/sCKKyLCyNtLeU +jQ9P5x5ffplgmAdVp2fuQhZdaFde0DNgkQFpWG5I5HvWbjHnyg06423yDZaOw89Wl871pXJa JXSZpR+JyZTNBibr4D80S3WlbLWKAd1zT16VjePmo4jktng9+exRnqMRem+MA6668fnm9YREd 1kAEuQ== Received-SPF: pass client-ip=212.227.15.3; envelope-from=arne_bab@web.de; helo=mout.web.de 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, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: bug-guile@gnu.org, 62053@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable writes: >> (define (fn l) >> =C2=A0=C2=A0=C2=A0 (define (ok l) >> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (or (and (pair? l) l) >> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (error "lis= t is empty"))) >> =C2=A0=C2=A0=C2=A0 (cons (reverse (car l)) (ok l))) > (so in my case it's 25 instead of 22). Interestingly, my version also > produces warnings about possibly unbound variables). If I enter the > code line by line into a repl, I also get a "not found 22". > > Interestingly, if I add a call to fn to the end of that snippet > (e.g. (fn '(a b))), the "not found" disappears. The unbound var > warnings stay. Also interesting: I can primitive-eval the code: (define code '(define (fn l) (define (ok l) (or (and (pair? l) l) (error "list is empty"))) (cons (reverse (car l)) (ok l)))) (primitive-eval code) (fn '((1 2))) ;; =3D> ((2 1) (1 2)) What might be happening here is control flow analysis discarding impossible branches: (car l) will throw an error when l is not a pair. Since arguments are evaluated in order, (ok l) will always succeed. This means (ok l) can be replaced by l. To look into details: (compile code) ;; =3D> throws an error: not found 22 ;; use ,bt to get: ,bt In system/base/compile.scm: 352:28 17 (compile _ #:from _ #:to _ #:env _ #:optimization-level _ #:wa= rning-level _ #:opts _) 265:44 16 (_ _ _) 265:44 15 (_ _ _) 261:33 14 (_ # #) In language/cps/optimize.scm: 130:12 13 (_ _ _) 102:3 12 (optimize-higher-order-cps _ _) In language/cps/type-fold.scm: 775:16 11 (type-fold _) In language/cps/renumber.scm: 170:36 10 (renumber # _) 166:30 9 (compute-renaming _ _) 144:7 8 (visit-fun _ _ _) 160:19 7 (visit-fun 12 # #) In language/cps/utils.scm: 245:39 6 (compute-predecessors # _ #:labels _) 107:3 5 (compute-function-body _ _) 129:30 4 (visit-cont _ _) 129:30 3 (visit-cont _ _) 112:9 2 (visit-cont 22 _) In language/cps/intmap.scm: 397:51 1 (_ _) In ice-9/boot-9.scm: 1685:16 0 (raise-exception _ #:continuable? _) I=E2=80=99ll leave further steps to folks who are more experienced with optimize-higher-order-cps (or want to become more experienced with it). 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+sFAmQIyWgQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD66EZEADTj4uEOxB+H75X9GlwHg7eAVZ8mLl29tTl +7BZwCH920mgxU9hD52vjMojBE9DkLFOAbNe4w/xvmBdmR4/Tthri77l0HlcRpfI ymeP6Fc55Dz8dNK9BIeF/JXCtrnYNl4giVQ16isF9UPqD95rbvLZDkqQBlNrm7OF snJXvBVa+WSQGdoUVLN4/71GOg4I0JI4W24OD3SAB/uYfSC1yCs+6lPSyPsQO/kV t0eFEyAzsLsDJMwYLW2/66fjog0NjqMu/TpDL+MEVGOprcKCf2EWwRhG/ox/6RM0 l2RM/pXyqslrHcKZrmNHD9rndGBa037GF1NewBHzu4ljzWVNKIKgbVEH2c4JlA8f ZKtmAJSliFAqXoNFGrgP5LdJ/nGpvdRqBUrnNuqo2YPMhJz9+Wf3QBbLZdWJHW9C HeJ5J83yaslXb+aoUO9bBE/qRaI9lhvsR5L2MwH01l2dVkPQqRkbpsmINLMEN/5y GKiu43Tk/90S+o3IhUW5Yui7SohT+dlchEz/vAO0fUe9RAJXvlzPai0NHkhfMdhn F+JXiPTUDCEeO7nuseZzEZ7TTiw30gQ98HjUQuRs/P0CsOnHPNRRNYVIjnUvbJ3+ PUZPxhEyLyBFha9VM9JPlCI0ESPOeN+v3ihR5IympQItferyMikMt3ueEPREG5fL +NbLRK77IojEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmQIyWgQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSNp4A/4pdyJsEdXeuYLCWk7wFXhwghGf x51OBeiVsdBJkcuP3zCfJuOIiOa+I4lCsQGyfs7qqA11Bd/Ms9yO8B/qQQq2NMyY oavBvDhqIujhKElIzf7RL0smIJt553VPjZC25Sw0Wt5EhjDa74HlY5xPGRWi/UYB /atZaeIC9Etbi8HSHg== =i1Le -----END PGP SIGNATURE----- --=-=-=--