Fixed bug in TYPEREW/EXPR*/UNORDERED/HARD where type information was

being lost because the list had been REVERSE!-ed.

diff --git a/v8/src/compiler/midend/typerew.scm b/v8/src/compiler/midend/typerew.scm
index 6db52c3b4a302db0203d34898a2cd33b8e5ffb0d..c89b7954234f0bb614b1a85bbbbe03565cc51527 100644 (file)
--- a/v8/src/compiler/midend/typerew.scm
+++ b/v8/src/compiler/midend/typerew.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: typerew.scm,v 1.10 1995/11/05 14:26:18 adams Exp $
+$Id: typerew.scm,v 1.11 1996/07/17 20:48:42 adams Exp $
 
 Copyright (c) 1994-1995 Massachusetts Institute of Technology
 
@@ -375,7 +375,8 @@ MIT in each case. |#
       (reduce q-env:glb q-env:top envs))
     (let loop ((Qs '()) (Ts '()) (Es '()) (exprs exprs))
       (if (not (pair? exprs))
-         (receiver (reverse! Qs) (reverse! Ts) (reverse! Es) (glb* Es))
+         (let ((env* (glb* Es)))       ; do before reverse:
+           (receiver (reverse! Qs) (reverse! Ts) (reverse! Es) env*))
          (typerew/expr (car exprs)
                        split-env
                        (lambda (Q T env*)