From 23cea748e36bee5dc9c8e2be5c6d1bfdecabaa14 Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Mon, 14 Mar 2005 03:46:46 +0000 Subject: [PATCH] Add rule for NOT types to make-random-element-of-type --- ansi-tests/random-int-form.lsp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ansi-tests/random-int-form.lsp b/ansi-tests/random-int-form.lsp index 5f9cc192..b6962659 100644 --- a/ansi-tests/random-int-form.lsp +++ b/ansi-tests/random-int-form.lsp @@ -1134,6 +1134,10 @@ when (typep x (cons 'and (cddr type))) return x finally (error "Cannot generate random element of ~A" type))) + (not + (assert (cdr type)) + (assert (not (cddr type))) + (make-random-element-of-type `(and t ,type))) (integer (let ((lo (let ((lo (cadr type))) (cond -- GitLab