diff options
author | dos-reis <gdr@axiomatics.org> | 2010-04-30 14:53:30 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-04-30 14:53:30 +0000 |
commit | f0b6be21e20a76251afe2bc2ae92800fb267da0b (patch) | |
tree | 738bf6386eb25b036815808639ae1dd5e78d8cc9 /src/ChangeLog | |
parent | 95a8891a808572509f7449aa32022df42f8b7ab8 (diff) | |
download | open-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/ChangeLog | 8 |
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 |