GNU bug report logs - #33652
let/ec bug

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 33652 in the body.
You can then email your comments to 33652 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Stefan Israelsson Tampe <stefan.itampe <at> gmail.com>
To: bug-guile <at> gnu.org
Subject: let/ec bug
Date: Thu, 6 Dec 2018 23:34:53 +0100

[Message part 1 (text/plain, inline)]

The following code does not compile on guile-2.9:

--------------------------------------------
(define-module (r)
  #:use-module (ice-9 control)
  #:export ())

(define ramanujan
  (lambda ()
  (let/ec break-ret
    (let lp ()
      (break-ret)
      (lp)))))
----------------------------------------------

The error report
;; WARNING: compilation of /home/stis/src/python-on-guile/modules/langua
ge/python/module/r.scm failed:
;;; not found 37

Regards
Stefan

[Message part 2 (text/html, inline)]

Message #8 received at 33652 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Israelsson Tampe <stefan.itampe <at> gmail.com>
To: 33652 <at> debbugs.gnu.org
Subject: The optimization that fails
Date: Tue, 11 Dec 2018 22:03:32 +0100

[Message part 1 (text/plain, inline)]

(define f
  (compile
    '(lambda ()
       (let/ec b
         (let lp ()
            (b)
            (lp))))
      #:env (current-module) #:opts '(#:contify? #f)))

compiles so the issue is in the contify section of the optimizer.

[Message part 2 (text/html, inline)]

Message #11 received at 33652 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Israelsson Tampe <stefan.itampe <at> gmail.com>
To: 33652 <at> debbugs.gnu.org
Subject: Possible fix
Date: Wed, 12 Dec 2018 22:45:49 +0100

[Message part 1 (text/plain, inline)]

When I apply this to head master:

diff --git a/module/language/cps/simplify.scm b/module/language/cps/simpl
ify.scm
index 311566043..b6fcffcd1 100644
--- a/module/language/cps/simplify.scm
+++ b/module/language/cps/simplify.scm
@@ -149,6 +149,9 @@
              (($ $kargs names syms ($ $branch kf kt src op param args))
               ($kargs names syms
                 ($branch (subst kf) (subst kt) src op param args)))
+              (($ $kargs names syms ($ $prompt k kh src escape? tag))
+               ($kargs names syms
+                 ($prompt (subst k) (subst kh) src escape? tag)))
              (($ $kargs names syms ($ $continue k src ($ $const val)))
               ,(match (intmap-ref conts k)
                  (($ $kargs (_)

Things compiles just fine

Regards
Stefan

[Message part 2 (text/html, inline)]

Message #14 received at 33652 <at> debbugs.gnu.org (full text, mbox):

From: Andy Wingo <wingo <at> pobox.com>
To: 33652 <at> debbugs.gnu.org
Subject: close thanks
Date: Wed, 08 May 2019 22:32:30 +0200

close
thanks

Fixed in master.  Thanks very much for the report and patch!

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.