aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-08-22 18:21:14 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-08-22 18:21:14 +0900
commit410a46f64b96c779fa8c96bc6f4448b69b319a27 (patch)
tree446c9406941e7bfd7a879e045ea97757e0f3e02c
parentf91fec3cc4c7ccc581f08401b7768f44b5f335ad (diff)
Update guards.HEADmaster
-rw-r--r--blackjack.lisp4
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)))