From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.bugs Subject: bug#48098: let/ec compilation bug Date: Thu, 29 Apr 2021 12:48:55 +0200 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="00000000000091dc0705c11a3ed5" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="37151"; mail-complaints-to="usenet@ciao.gmane.io" To: 48098@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Thu Apr 29 12:50:09 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 1lc4FD-0009YK-Iv for guile-bugs@m.gmane-mx.org; Thu, 29 Apr 2021 12:50:07 +0200 Original-Received: from localhost ([::1]:37842 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lc4FC-0005HW-Mn for guile-bugs@m.gmane-mx.org; Thu, 29 Apr 2021 06:50:06 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:50044) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lc4F8-0005HM-Jz for bug-guile@gnu.org; Thu, 29 Apr 2021 06:50:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:43388) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lc4F8-00078D-CP for bug-guile@gnu.org; Thu, 29 Apr 2021 06:50:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lc4F8-0000SE-Ak for bug-guile@gnu.org; Thu, 29 Apr 2021 06:50:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Israelsson Tampe Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Thu, 29 Apr 2021 10:50:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 48098 X-GNU-PR-Package: guile X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.16196933521658 (code B ref -1); Thu, 29 Apr 2021 10:50:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 29 Apr 2021 10:49:12 +0000 Original-Received: from localhost ([127.0.0.1]:54928 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lc4EK-0000Qg-CU for submit@debbugs.gnu.org; Thu, 29 Apr 2021 06:49:12 -0400 Original-Received: from lists.gnu.org ([209.51.188.17]:39432) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lc4EI-0000QZ-WC for submit@debbugs.gnu.org; Thu, 29 Apr 2021 06:49:11 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:49880) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lc4EI-0005Dm-OS for bug-guile@gnu.org; Thu, 29 Apr 2021 06:49:10 -0400 Original-Received: from mail-pg1-x531.google.com ([2607:f8b0:4864:20::531]:42515) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lc4EH-0006Zg-2f for bug-guile@gnu.org; Thu, 29 Apr 2021 06:49:10 -0400 Original-Received: by mail-pg1-x531.google.com with SMTP id m12so6104898pgr.9 for ; Thu, 29 Apr 2021 03:49:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=FvJcHJ4F4Oipt1WXbQsqjzlFouIgPYSvqrvyYg5uLks=; b=Gsmr2WFnBKmO+tRQkpxWSw36C/kQ2FZ2z0GNot/G1HG4Ion3vWXcsJfGV/ZCZYhPrT xrXLcDGM9tT5kBQK+t5BCyQtQyljdDvn/8BXLhDFSI/Lem5gOfIU9pIXIZr4/FUA9TMf g7CElc6qaFJPfJxj+seYm+YfR7dqtnhCNDIC4se3+cnhQDB8e1Rrsi4fzhNOmzXdM3Zr si9y6MNJzy4zArngu+nYIu11qraNylfn8wvtIMgBa23MvHgbRO2pr8GwrlpjhukT9Ev6 Xz0V2nxYG5CqOvVlX6HDYNshuspwsa5CP6zZHfBnODQbLPafMRmeStwoR4cFRzZ+J1dy 2c+g== 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=FvJcHJ4F4Oipt1WXbQsqjzlFouIgPYSvqrvyYg5uLks=; b=euIwo5XbOZf7o7CI3I7Ylh/cBscdIn93BvFfoCxNXJ4KPRTg9SYaxOIsWJTHcLJbXD nF8c04dOR7gXs4BW92X3qH2SyA1KUAO/anhhb9SY1ublr4pyd7SMz5NCsVSKrCxVlpw0 Ft/xN0SyKTIvZw8xhuqxTBa97g+X4yUs5E5X4PvuOAGtmvRN9+J8vU0u+YYFZWpVtrhG n3fLePW2mF619aGgZoj/6ccQABV5OTI4IbrKdq8Pno6pCjQgXNSzcY9sjDSf0fER9Oj4 koFg0Ai3D0QIMBa4pfAiZ7nwwqRyBoJCN//wJNz+lFZ/XECvy8eYq9Fhokmb43Qxk9FS etcA== X-Gm-Message-State: AOAM533ffk3JUBG18MpcuD1ZYsMAdF+kp9qUBLhNANu+hiItaBdjZKKH JHCEhKMuFkaBaIES5KmEK96pQdbKppX7E9liGbRjeyetp2E= X-Google-Smtp-Source: ABdhPJzwqLVzu3M6fdDGwTxQ7Z76VR3+zagcGv+3ji6Zr0Auy/KAYujR+ZlundcLxcl9c+sYqpGbISOHpGVOh7af1lA= X-Received: by 2002:aa7:9837:0:b029:264:b19e:acce with SMTP id q23-20020aa798370000b0290264b19eaccemr32460093pfl.79.1619693346600; Thu, 29 Apr 2021 03:49:06 -0700 (PDT) Received-SPF: pass client-ip=2607:f8b0:4864:20::531; envelope-from=stefan.itampe@gmail.com; helo=mail-pg1-x531.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-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:10021 Archived-At: --00000000000091dc0705c11a3ed5 Content-Type: multipart/alternative; boundary="00000000000091dc0505c11a3ed3" --00000000000091dc0505c11a3ed3 Content-Type: text/plain; charset="UTF-8" Here is an interesting test case that shows that fi we define (define-syntax-rule (letec-m f) (let/ec c (f c))) (define (letec-f f) (let/ec c (f c))) we can get two different behaviors with letec-m compiles wrongly. Obviously a bug! This is important in casy you would like to make a loop macro effectively with a continue directive. --00000000000091dc0505c11a3ed3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Here is an interesting test case that shows that fi we def= ine
(define-syntax-rule (letec-m f) (let/ec c (f c)))
(define= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (lete= c-f f) (let/ec c (f c)))

we can get two differ= ent behaviors with letec-m compiles wrongly. Obviously=C2=A0a bug!

This is important in casy you would like to make a loop ma= cro effectively with a continue directive.
--00000000000091dc0505c11a3ed3-- --00000000000091dc0705c11a3ed5 Content-Type: text/x-scheme; charset="US-ASCII"; name="a.scm" Content-Disposition: attachment; filename="a.scm" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_ko2rl3ek0 KHVzZS1tb2R1bGVzIChpY2UtOSBjb250cm9sKSkKCihkZWZpbmUtc3ludGF4LXJ1bGUgKGxldGVj LW0gZikKICAobGV0L2VjIGMgKGYgYykpKQoKKGRlZmluZSAobGV0ZWMtZiBmKQogIChsZXQvZWMg YyAoZiBjKSkpCgoobGV0ZWMtbSAobGFtYmRhIChicmVhaykgKGxldCBscCAoKGkgMCkpICh3aGVu ICg8IGkgMikgKHBrIDEgaSkgKGxwICgrIGkgMSkpKSkpKQoobGV0ZWMtZiAobGFtYmRhIChicmVh aykgKGxldCBscCAoKGkgMCkpICh3aGVuICg8IGkgMikgKHBrIDIgaSkgKGxwICgrIGkgMSkpKSkp KQoKI3wKT1VUUFVUOgoKOzs7ICgyIDApCjs7OyAoMiAxKQp8Iwo= --00000000000091dc0705c11a3ed5--