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/FPS-.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/FPS-.lsp')
-rw-r--r-- | src/algebra/strap/FPS-.lsp | 21 |
1 files changed, 9 insertions, 12 deletions
diff --git a/src/algebra/strap/FPS-.lsp b/src/algebra/strap/FPS-.lsp index 98012446..def89ef7 100644 --- a/src/algebra/strap/FPS-.lsp +++ b/src/algebra/strap/FPS-.lsp @@ -12,18 +12,15 @@ (|getShellEntry| $ 10))) (DEFUN |FPS-;digits;Pi;2| ($) - (PROG (#0=#:G1400) - (RETURN - (PROG1 (LETT #0# - (MAX 1 - (QUOTIENT2 - (SPADCALL 4004 - (- (SPADCALL (|getShellEntry| $ 14)) 1) - (|getShellEntry| $ 16)) - 13301)) - |FPS-;digits;Pi;2|) - (|check-subtype| (AND (>= #0# 0) (> #0# 0)) - '(|PositiveInteger|) #0#))))) + (LET ((#0=#:G1401 + (MAX 1 + (QUOTIENT2 + (SPADCALL 4004 + (- (SPADCALL (|getShellEntry| $ 14)) 1) + (|getShellEntry| $ 16)) + 13301)))) + (|check-subtype| (AND (>= #0# 0) (> #0# 0)) '(|PositiveInteger|) + #0#))) (DEFUN |FloatingPointSystem&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) |