mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 11:40:18 +02:00
Code Activity

Fix eta-reduction of prompts

Browse source 
* 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.
This commit is contained in:
Andy Wingo 2019-05-08 22:26:35 +02:00
parent 638846dc61
commit 1b98734c82
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
module/language/cps/simplify.scm
View file

@ -1,6 +1,6 @@
;;; Continuation-passing style (CPS) intermediate language (IL) ;;; 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 ;;;; This library is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Lesser General Public ;;;; 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 kf kt src op param args))
($kargs names syms ($kargs names syms
($branch (subst kf) (subst kt) src op param args))) ($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))) (($ $kargs names syms ($ $continue k src ($ $const val)))
,(match (intmap-ref conts k) ,(match (intmap-ref conts k)
(($ $kargs (_) (($ $kargs (_)