diff options
Diffstat (limited to 'src/algebra/strap/NNI.lsp')
| -rw-r--r-- | src/algebra/strap/NNI.lsp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp index 9d034bca..34ec379e 100644 --- a/src/algebra/strap/NNI.lsp +++ b/src/algebra/strap/NNI.lsp @@ -36,7 +36,12 @@ (SEQ (LETT |c| (- |x| |y|) |NNI;subtractIfCan;2$U;3|) (EXIT (COND ((< |c| 0) (CONS 1 "failed")) - ('T (CONS 0 |c|)))))))) + ('T + (CONS 0 + (PROG1 |c| + (|check-subtype| + (COND ((< |c| 0) 'NIL) ('T 'T)) + '(|NonNegativeInteger|) |c|)))))))))) (DEFUN |NonNegativeInteger| () (PROG () |