aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-04-30 14:53:30 +0000
committerdos-reis <gdr@axiomatics.org>2010-04-30 14:53:30 +0000
commitf0b6be21e20a76251afe2bc2ae92800fb267da0b (patch)
tree738bf6386eb25b036815808639ae1dd5e78d8cc9 /src/ChangeLog
parent95a8891a808572509f7449aa32022df42f8b7ab8 (diff)
downloadopen-axiom-f0b6be21e20a76251afe2bc2ae92800fb267da0b.tar.gz
* 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.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog8
1 files changed, 8 insertions, 0 deletions
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