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/CHAR.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/CHAR.lsp')
-rw-r--r-- | src/algebra/strap/CHAR.lsp | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/src/algebra/strap/CHAR.lsp b/src/algebra/strap/CHAR.lsp index e1d85545..e8bfbd0f 100644 --- a/src/algebra/strap/CHAR.lsp +++ b/src/algebra/strap/CHAR.lsp @@ -123,17 +123,13 @@ (DEFUN |CHAR;size;Nni;6| ($) (DECLARE (IGNORE $)) 256) (DEFUN |CHAR;index;Pi$;7| (|n| $) - (PROG (#0=#:G1403) - (RETURN - (CODE-CHAR - (PROG1 (LETT #0# (- |n| 1) |CHAR;index;Pi$;7|) - (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)))))) + (CODE-CHAR + (LET ((#0=#:G1404 (- |n| 1))) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)))) (DEFUN |CHAR;lookup;$Pi;8| (|c| $) - (PROG (#0=#:G1405) - (RETURN - (PROG1 (LETT #0# (+ 1 (CHAR-CODE |c|)) |CHAR;lookup;$Pi;8|) - (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#))))) + (LET ((#0=#:G1406 (+ 1 (CHAR-CODE |c|)))) + (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#))) (DEFUN |CHAR;char;Nni$;9| (|n| $) (DECLARE (IGNORE $)) |