From 410a46f64b96c779fa8c96bc6f4448b69b319a27 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sun, 22 Aug 2021 18:21:14 +0900 Subject: Update guards. --- blackjack.lisp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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))) -- cgit v1.2.3