From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jean Abou Samra Newsgroups: gmane.lisp.guile.bugs Subject: bug#52112: Compilation of macro returning record type fails Date: Fri, 26 Nov 2021 20:02:39 +0100 Message-ID: <41883031-68aa-de96-0cd0-504578fbdabe@abou-samra.fr> References: <5a97c5fd-ee56-e636-ae18-679570e2502b@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="9107"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.3.1 To: Taylan Kammer , 52112@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Fri Nov 26 20:03:08 2021 Return-path: Envelope-to: guile-bugs@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 1mqgV2-0002Er-2V for guile-bugs@m.gmane-mx.org; Fri, 26 Nov 2021 20:03:08 +0100 Original-Received: from localhost ([::1]:55322 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mqgV0-0001AM-Vq for guile-bugs@m.gmane-mx.org; Fri, 26 Nov 2021 14:03:07 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:42210) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mqgUw-0001AC-RY for bug-guile@gnu.org; Fri, 26 Nov 2021 14:03:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:49019) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mqgUw-0005sL-Ix for bug-guile@gnu.org; Fri, 26 Nov 2021 14:03:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mqgUw-0000Sh-Gg for bug-guile@gnu.org; Fri, 26 Nov 2021 14:03:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Jean Abou Samra Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Fri, 26 Nov 2021 19:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52112 X-GNU-PR-Package: guile Original-Received: via spool by 52112-submit@debbugs.gnu.org id=B52112.16379533681753 (code B ref 52112); Fri, 26 Nov 2021 19:03:02 +0000 Original-Received: (at 52112) by debbugs.gnu.org; 26 Nov 2021 19:02:48 +0000 Original-Received: from localhost ([127.0.0.1]:60565 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mqgUi-0000SC-KA for submit@debbugs.gnu.org; Fri, 26 Nov 2021 14:02:48 -0500 Original-Received: from mout.kundenserver.de ([212.227.17.13]:40529) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mqgUg-0000Rw-MT for 52112@debbugs.gnu.org; Fri, 26 Nov 2021 14:02:47 -0500 Original-Received: from [10.188.216.67] ([46.193.67.184]) by mrelayeu.kundenserver.de (mreue106 [212.227.15.184]) with ESMTPSA (Nemesis) id 1Mz9IT-1mdyrL09mF-00wGQY; Fri, 26 Nov 2021 20:02:40 +0100 Content-Language: en-US In-Reply-To: <5a97c5fd-ee56-e636-ae18-679570e2502b@gmail.com> X-Provags-ID: V03:K1:AdnAFxSoYibG0SjCSE4WZee/vWRu5V+uZ0L+6RbMncrdrNXPYDi r7g+hf1xJPBs74iGnRUg16zmqpo8etglL5qoltcBj4AfA6BYnH8luELmmIHxOizmEtiCzXx SrmdFAKPmx3OExwEJ8R9iWifF24YPpD4mS/h4rEVeaC/ZBbtCdM5sm5nSh9lwshjNIzofWV 9WDG4zq0Tcc4eVJU1y5Aw== X-UI-Out-Filterresults: notjunk:1;V03:K0:UZUhA48Zu2g=:ZEi3hdRO45vV1yOA4MGB+K Fv/XPozkqp8IcMY0QNV9p85hCSucSNjCQHhls8ifHJdxfHCFsZVIphktSUlZkwelfQ2/ySkbm hcG996QDwFzm96OaxVYwQhp6DrIqJBHnS4PD2+k/GD2h+Ezmf1QM2R4FDMBRklWpQCelaf5M6 XRJCBpY5wtaOUt64O2Glkj++8L/10rvVzHpwSS83icvZZDibgRgJZKuuMMS5Ry77icaMw7Gmh JWdWphViPKPtnqwU/ioQI7XVJDF/u6d0qjA/0l5wcCRCvbHplpW/jtIgdTCRmcHqgS+0hfxym EK++tfWbEN2MN265ckWT+0OweinE2r5ezYWmwmTS7TaTouj/COdV0Oar4QHPvwD6AeGw4QAjR EAtv51WU7MhcabhjipTV3rZF4d0/20dusvP6nFx937M6BqH9OA7VifwCdTpLnWOgsajApaVRd N0/StPnyMNkhGdHlWp+a/j19wMRnMm+2MSGg1/bbUTHyIQ5dHI8dzVFOaalNimK3AJcsBqKiG 8fl+G+knXCLHtcuHGO394HjNlr5LYdv+C09j40jOwx+tbvXnEkt+qSoZOM2efecHMGsnsLBFN 67yGLiu3Qv7TRZZLPFo3Tti/nrIYq8VIXF792RRFGw73w4Z6UUkw4fiGGKcioZjbbc+9/tBYl BaCRuiXFGKkGZM+E5slG1JYNs4KGq+wEODi6IHK9atXims67ehRe5qUCW53HiGFbmAkzOfzxi 0lpLA/GJj/V5x5xp X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Original-Sender: "bug-guile" Xref: news.gmane.io gmane.lisp.guile.bugs:10213 Archived-At: Thanks for your reply. Le 26/11/2021 à 19:54, Taylan Kammer a écrit : > I don't think that's supposed to work. I find it surprising that > record-type objects are self-evaluating, and in any case they can't > be turned into bytecode. > > Your macro could return code that evaluates to a record definition. > Would that solve your use-case? Yes, that is how I solved it in LilyPond (https://gitlab.com/lilypond/lilypond/-/merge_requests/1026). I was also somewhat surprised to see that record types are self-evaluating. I don't know where to check in R6RS what the expected behavior would be. At any rate, it seems that there is an inconsistency between the interpreter and the compiler that would warrant resolving either way.