From caace2be47773b22faa03a39336517f73b5c97d0 Mon Sep 17 00:00:00 2001 From: colin Date: Sat, 17 Aug 2024 21:51:51 -0700 Subject: Altered list-of and vector-of slightly to support faster failure --- petty-types.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/petty-types.lisp b/petty-types.lisp index 994f2e9..060f29d 100644 --- a/petty-types.lisp +++ b/petty-types.lisp @@ -35,11 +35,11 @@ (deftype list-of (type &optional len) "Type specifier for lists all of the same TYPE." - `(satisfies ,(sequence-of-predicate-for 'list type len))) + `(and list (satisfies ,(sequence-of-predicate-for 'list type len)))) (deftype vector-of (type &optional len) "Type specifier for vectors all of the same TYPE." - `(satisfies ,(sequence-of-predicate-for 'vector type len))) + `(and vector (satisfies ,(sequence-of-predicate-for 'vector type len)))) (deftype optional (type) "Type specifier for an optional type." -- cgit v1.2.3