suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

generalize any/c's random generator to generate some of the built-in structured values

Browse Source
This commit is contained in:
Robby Findler 2018-08-24 15:55:39 -05:00
parent 176f09a7ad
commit a1b9fd0965
1 changed files with 20 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
racket/collects/racket/contract/private/misc.rkt
View File

@ -592,18 +592,36 @@
(cond
[(zero? (hash-count env-hash))
(rand-choice
[1/3 (any/c-simple-value)]
[1/3 (any/c-structured-value)]
[1/3 (any/c-procedure env-hash fuel)]
[else (any/c-from-predicate-generator env-hash fuel)])]
[else
(rand-choice
[1/4 (oneof (hash-ref env-hash (oneof (hash-keys env-hash))))]
[1/4 (any/c-simple-value)]
[1/4 (any/c-structured-value)]
[1/4 (any/c-procedure env-hash fuel)]
[else (any/c-from-predicate-generator env-hash fuel)])]))
(define (any/c-structured-value)
(let loop ([depth 3])
(cond
[(zero? depth) (any/c-simple-value)]
[else
(rand-choice
[1/10 (cons (loop (- depth 1)) (loop (- depth 1)))]
[1/10 (make-vector (random 10) (λ (_) (loop (- depth 1))))]
[1/10 (make-hash (for/list ([i (in-range (random 10))])
(cons (loop (- depth 1))
(loop (- depth 1)))))]
[1/10 (make-immutable-hash (for/list ([i (in-range (random 10))])
(cons (loop (- depth 1))
(loop (- depth 1)))))]
[1/10 (box (loop (- depth 1)))]
[else (any/c-simple-value)])])))
(define (any/c-simple-value)
(oneof '(0 #f "" () #() -1 1 #t elephant)))
(define (any/c-from-predicate-generator env fuel)
((hash-ref predicate-generator-table
(oneof (hash-keys predicate-generator-table)))