aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--petty-types.lisp4
1 files 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."