From 1b98734c82e9b1525a616511d49abf0e89d82b93 Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Wed, 8 May 2019 22:26:35 +0200 Subject: [PATCH] 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 311566043..accdbb17c 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 (_)