diff options
Diffstat (limited to 'src/algebra/strap/NNI.lsp')
-rw-r--r-- | src/algebra/strap/NNI.lsp | 33 |
1 files changed, 15 insertions, 18 deletions
diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp index 357b3954..9490e64c 100644 --- a/src/algebra/strap/NNI.lsp +++ b/src/algebra/strap/NNI.lsp @@ -42,25 +42,22 @@ '(|NonNegativeInteger|) |c|))))))))) (DEFUN |NonNegativeInteger| () - (PROG () + (PROG (#0=#:G1409) (RETURN - (PROG (#0=#:G1409) - (RETURN - (COND - ((LETT #0# (HGET |$ConstructorCache| '|NonNegativeInteger|) - |NonNegativeInteger|) - (|CDRwithIncrement| (CDAR #0#))) - ('T - (UNWIND-PROTECT - (PROG1 (CDDAR (HPUT |$ConstructorCache| - '|NonNegativeInteger| - (LIST - (CONS NIL - (CONS 1 (|NonNegativeInteger;|)))))) - (LETT #0# T |NonNegativeInteger|)) - (COND - ((NOT #0#) - (HREM |$ConstructorCache| '|NonNegativeInteger|))))))))))) + (COND + ((LETT #0# (HGET |$ConstructorCache| '|NonNegativeInteger|) + |NonNegativeInteger|) + (|CDRwithIncrement| (CDAR #0#))) + ('T + (UNWIND-PROTECT + (PROG1 (CDDAR (HPUT |$ConstructorCache| + '|NonNegativeInteger| + (LIST (CONS NIL + (CONS 1 (|NonNegativeInteger;|)))))) + (LETT #0# T |NonNegativeInteger|)) + (COND + ((NOT #0#) + (HREM |$ConstructorCache| '|NonNegativeInteger|))))))))) (DEFUN |NonNegativeInteger;| () (LET ((|dv$| (LIST '|NonNegativeInteger|)) ($ (|newShell| 22)) |