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/ChangeLog | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 7e3ce76e..4e605776 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,11 @@
+2010-04-30  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* 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. 
+
 2010-04-25  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/carten.spad.pamphlet (CartesianTensor): Satisfy
-- 
cgit v1.2.3