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/SINT.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/SINT.lsp')
-rw-r--r-- | src/algebra/strap/SINT.lsp | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index fc221547..6f8e2a64 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -491,11 +491,8 @@ (+ (- |$ShortMaximum| |$ShortMinimum|) 1)) (DEFUN |SINT;index;Pi$;55| (|i| $) - (PROG (#0=#:G1459) - (RETURN - (PROG1 (LETT #0# (- (+ |i| |$ShortMinimum|) 1) - |SINT;index;Pi$;55|) - (|check-subtype| (SMINTP #0#) '(|SingleInteger|) #0#))))) + (LET ((#0=#:G1460 (- (+ |i| |$ShortMinimum|) 1))) + (|check-subtype| (SMINTP #0#) '(|SingleInteger|) #0#))) (DEFUN |SINT;lookup;$Pi;56| (|x| $) (DECLARE (IGNORE $)) @@ -518,7 +515,7 @@ ('T |r|))))))) (DEFUN |SINT;coerce;I$;59| (|x| $) - (PROG1 |x| (|check-subtype| (SMINTP |x|) '(|SingleInteger|) |x|))) + (|check-subtype| (SMINTP |x|) '(|SingleInteger|) |x|)) (DEFUN |SINT;random;$;60| ($) (SEQ (|setShellEntry| $ 6 |