diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-22 18:21:14 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-22 18:21:14 +0900 |
| commit | 410a46f64b96c779fa8c96bc6f4448b69b319a27 (patch) | |
| tree | 446c9406941e7bfd7a879e045ea97757e0f3e02c /blackjack.lisp | |
| parent | f91fec3cc4c7ccc581f08401b7768f44b5f335ad (diff) | |
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))) |