diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-06 05:36:53 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-06 05:36:53 +0000 |
commit | 4348e69c730e4e3faa7b993ac0dac5ec426a374c (patch) | |
tree | 093aafc4e19ce9661a0aee78ecad4aab58c46e38 /src/algebra/strap/PI.lsp | |
parent | f39c8c2ab9bf4ab06fefc09d75bcc95124d0acc1 (diff) | |
download | open-axiom-4348e69c730e4e3faa7b993ac0dac5ec426a374c.tar.gz |
* interp/c-util.boot (needPROGS?): New.
(transformToBackendCode): Use it. Don't add unneeded PROG/RETURN.
Diffstat (limited to 'src/algebra/strap/PI.lsp')
-rw-r--r-- | src/algebra/strap/PI.lsp | 31 |
1 files changed, 13 insertions, 18 deletions
diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp index d40bdae0..c7fd8a31 100644 --- a/src/algebra/strap/PI.lsp +++ b/src/algebra/strap/PI.lsp @@ -5,25 +5,20 @@ '(|%igt| |#1| 0)) (DEFUN |PositiveInteger| () - (PROG () + (PROG (#0=#:G1401) (RETURN - (PROG (#0=#:G1401) - (RETURN - (COND - ((LETT #0# (HGET |$ConstructorCache| '|PositiveInteger|) - |PositiveInteger|) - (|CDRwithIncrement| (CDAR #0#))) - ('T - (UNWIND-PROTECT - (PROG1 (CDDAR (HPUT |$ConstructorCache| - '|PositiveInteger| - (LIST - (CONS NIL - (CONS 1 (|PositiveInteger;|)))))) - (LETT #0# T |PositiveInteger|)) - (COND - ((NOT #0#) - (HREM |$ConstructorCache| '|PositiveInteger|))))))))))) + (COND + ((LETT #0# (HGET |$ConstructorCache| '|PositiveInteger|) + |PositiveInteger|) + (|CDRwithIncrement| (CDAR #0#))) + ('T + (UNWIND-PROTECT + (PROG1 (CDDAR (HPUT |$ConstructorCache| '|PositiveInteger| + (LIST (CONS NIL + (CONS 1 (|PositiveInteger;|)))))) + (LETT #0# T |PositiveInteger|)) + (COND + ((NOT #0#) (HREM |$ConstructorCache| '|PositiveInteger|))))))))) (DEFUN |PositiveInteger;| () (LET ((|dv$| (LIST '|PositiveInteger|)) ($ (|newShell| 16)) |