diff options
| author | colin <colin@cicadas.surf> | 2024-08-17 21:51:51 -0700 |
|---|---|---|
| committer | colin <colin@cicadas.surf> | 2024-08-17 21:51:51 -0700 |
| commit | caace2be47773b22faa03a39336517f73b5c97d0 (patch) | |
| tree | 6f97871ad28c0fe785ec87f6704baa3b10541855 | |
| parent | 81ac5b999f1dae8bc821634dc3c3bc43239d8d65 (diff) | |
Altered list-of and vector-of slightly to support faster failure
| -rw-r--r-- | petty-types.lisp | 4 |
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." |