From 3f0e3dd5f24782c8b29e5a3a46ff4ea2ab4b927c Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Sat, 23 Apr 2005 14:10:21 +0000 Subject: [PATCH] Add tests for parse-integer, sxhash --- ansi-tests/random-type-prop-tests-03.lsp | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/ansi-tests/random-type-prop-tests-03.lsp b/ansi-tests/random-type-prop-tests-03.lsp index c34b0f1c..dfc9a2e3 100644 --- a/ansi-tests/random-type-prop-tests-03.lsp +++ b/ansi-tests/random-type-prop-tests-03.lsp @@ -167,3 +167,20 @@ (def-type-prop-test float.1 'float '(real) 1) (def-type-prop-test float.2 'float '(real float) 2) (def-type-prop-test floatp 'floatp '(t) 1) + +(defun has-nonzero-length (x) (> (length x) 0)) + +(def-type-prop-test parse-integer.1 'parse-integer + '((and (vector (member #\0 #\1 #\2 #\3 #\4 #\5 #\6 #\7 #\8 #\9)) + (satisfies has-nonzero-length))) + 1) + +(def-type-prop-test parse-integer.2 'parse-integer + `((and (vector (member #\0 #\1 #\2 #\3 #\4 #\5 #\6 #\7 #\8 #\9)) + (satisfies has-nonzero-length)) + (eql :start) + ,#'(lambda (x &rest rest) (declare (ignore rest)) + `(integer 0 (,(length x))))) + 3) + +(def-type-prop-test sxhash 'sxhash '(t) 1) -- GitLab