From f0b6be21e20a76251afe2bc2ae92800fb267da0b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 30 Apr 2010 14:53:30 +0000
Subject: 	* interp/macros.lisp (|check-subtype|): Return coerced value
 if can. 	(|check-union|): Likewise. 	* interp/compiler.boot
 (coerceSuperset): Tidy.  Generate %Retract 	instruction. 	*
 interp/g-opt.boot (optRetract): New.

---
 src/algebra/strap/OUTFORM.lsp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/algebra/strap/OUTFORM.lsp')

diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp
index 2d765749..a8b02a51 100644
--- a/src/algebra/strap/OUTFORM.lsp
+++ b/src/algebra/strap/OUTFORM.lsp
@@ -981,9 +981,8 @@
              ('T
               (SEQ (LETT |r|
                          (SPADCALL
-                             (PROG1 |nn|
-                               (|check-subtype| (> |nn| 0)
-                                   '(|PositiveInteger|) |nn|))
+                             (|check-subtype| (> |nn| 0)
+                                 '(|PositiveInteger|) |nn|)
                              (|getShellEntry| $ 137))
                          |OUTFORM;differentiate;$Nni$;97|)
                    (LETT |s| (SPADCALL |r| (|getShellEntry| $ 138))
-- 
cgit v1.2.3