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/algebra/strap/OUTFORM.lsp | |
| 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/algebra/strap/OUTFORM.lsp')
| -rw-r--r-- | src/algebra/strap/OUTFORM.lsp | 5 |
1 files changed, 2 insertions, 3 deletions
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)) |