[Guile-commits] 01/01: Fix eta-reduction of prompts

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 1b98734c82e9b1525a616511d49abf0e89d82b93
Author: Andy Wingo <address@hidden>
Date:   Wed May 8 22:26:35 2019 +0200

    Fix eta-reduction of prompts
    
    * module/language/cps/simplify.scm (eta-reduce): Fix renaming of labels
      referenced by prompts.  Thanks a million to Stefan Israelsson Tampe
      for the report and the fix!  Fixes #33652.
---
 module/language/cps/simplify.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/module/language/cps/simplify.scm b/module/language/cps/simplify.scm
index 3115660..accdbb1 100644
--- a/module/language/cps/simplify.scm
+++ b/module/language/cps/simplify.scm
@@ -1,6 +1,6 @@
 ;;; Continuation-passing style (CPS) intermediate language (IL)
 
-;; Copyright (C) 2013, 2014, 2015, 2017, 2018 Free Software Foundation, Inc.
+;; Copyright (C) 2013-2015, 2017-2019 Free Software Foundation, Inc.
 
 ;;;; This library is free software; you can redistribute it and/or
 ;;;; modify it under the terms of the GNU Lesser General Public
@@ -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 (_)