From: Guillermo J. Rozas <edu/mit/csail/zurich/gjr>
Date: Sun, 1 Apr 1990 22:18:32 +0000 (+0000)
Subject: It's OK for a non-trivial closure to become trivial, not the other way
X-Git-Tag: 20090517-FFI~11482
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=df2ccae30d65df3e3d9fdcdd44d81a8966803617;p=mit-scheme.git

It's OK for a non-trivial closure to become trivial, not the other way
around.  The previous error is now split into a warning (in the
unexpected but bad case), and an error (in the bad case).
---

diff --git a/v7/src/compiler/fgopt/blktyp.scm b/v7/src/compiler/fgopt/blktyp.scm
index d6f3b5c0e..f398b35a1 100644
--- a/v7/src/compiler/fgopt/blktyp.scm
+++ b/v7/src/compiler/fgopt/blktyp.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/fgopt/blktyp.scm,v 4.13 1989/10/26 07:36:36 cph Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/fgopt/blktyp.scm,v 4.14 1990/04/01 22:18:32 jinx Exp $
 
 Copyright (c) 1987, 1988, 1989 Massachusetts Institute of Technology
 
@@ -97,11 +97,11 @@ MIT in each case. |#
 	(lambda (closure-frame-block size)
 	  (set-block-parent! block closure-frame-block)
 	  (set-procedure-closure-size! procedure size)))
-      (if (if previously-trivial?
-	      (not (procedure/trivial-closure? procedure))
-	      (procedure/trivial-closure? procedure))
-	  (error "trivial procedure becoming non-trivial or vice-versa"
-		 procedure))
+      (if previously-trivial?
+	  (if (not (procedure/trivial-closure? procedure))
+	      (error "trivial procedure becoming non-trivial" procedure))
+	  (if (procedure/trivial-closure? procedure)
+	      (warn "non-trivial procedure becoming trivial" procedure)))
       (set-block-children! parent (delq! block (block-children parent)))
       (if (eq? parent original-parent)
 	  (set-block-disowned-children!