From 0324f99d2ec8e4386e4855d3270b31276a70e138 Mon Sep 17 00:00:00 2001
From: ram <ram>
Date: Tue, 24 Jul 1990 22:08:40 +0000
Subject: [PATCH] In PROPAGATE-LET-ARGS, propagate the arg type to the refs
 before substituting rather than after, since after substituting, there are no
 refs to propagate to.

---
 compiler/ir1opt.lisp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/ir1opt.lisp b/compiler/ir1opt.lisp
index fd7ba982f..3dd36eb8b 100644
--- a/compiler/ir1opt.lisp
+++ b/compiler/ir1opt.lisp
@@ -1054,8 +1054,8 @@
 				 (values-subtypep
 				  (node-derived-type use)
 				  (continuation-asserted-type arg)))
-			(substitute-leaf leaf var)
 			(propagate-to-refs var (continuation-type arg))
+			(substitute-leaf leaf var)
 			t)))))
 	       ((and (null (rest (leaf-refs var)))
 		     (substitute-single-use-continuation arg var)))
-- 
GitLab