/[gcl]/gcl/ansi-tests/random-type-prop-tests-03.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/random-type-prop-tests-03.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by pfdietz, Wed Mar 9 02:26:30 2005 UTC revision 1.2 by pfdietz, Sat Apr 23 14:10:21 2005 UTC
# Line 167  Line 167 
167  (def-type-prop-test float.1 'float '(real) 1)  (def-type-prop-test float.1 'float '(real) 1)
168  (def-type-prop-test float.2 'float '(real float) 2)  (def-type-prop-test float.2 'float '(real float) 2)
169  (def-type-prop-test floatp 'floatp '(t) 1)  (def-type-prop-test floatp 'floatp '(t) 1)
170    
171    (defun has-nonzero-length (x) (> (length x) 0))
172    
173    (def-type-prop-test parse-integer.1 'parse-integer
174      '((and (vector (member #\0 #\1 #\2 #\3 #\4 #\5 #\6 #\7 #\8 #\9))
175             (satisfies has-nonzero-length)))
176      1)
177    
178    (def-type-prop-test parse-integer.2 'parse-integer
179      `((and (vector (member #\0 #\1 #\2 #\3 #\4 #\5 #\6 #\7 #\8 #\9))
180             (satisfies has-nonzero-length))
181        (eql :start)
182        ,#'(lambda (x &rest rest) (declare (ignore rest))
183             `(integer 0 (,(length x)))))
184      3)
185    
186    (def-type-prop-test sxhash 'sxhash '(t) 1)

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26