diff options
Diffstat (limited to 'blackjack.lisp')
| -rw-r--r-- | blackjack.lisp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/blackjack.lisp b/blackjack.lisp index e21c885..74d7a05 100644 --- a/blackjack.lisp +++ b/blackjack.lisp @@ -8,13 +8,14 @@ (t (+ (car x) (sum (cdr x)))))) (defun rank-natp-filter (x) - (declare (xargs :guard (rank-listp x))) + (declare (xargs :guard (true-listp x))) (cond ((endp x) nil) ((natp (car x)) (cons (car x) (rank-natp-filter (cdr x)))) (t (rank-natp-filter (cdr x))))) (defun rank-facep-filter (x) + (declare (xargs :guard (true-listp x))) (cond ((endp x) nil) ((rank-facep (car x)) (cons (car x) (rank-facep-filter (cdr x)))) @@ -135,6 +136,7 @@ 'NATURAL-BLACKJACK))) (defun no-rank-acep (x) + (declare (xargs :guard (true-listp x))) (if (endp x) t (and (not (rank-acep (car x))) |