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

fix random-generation for and/c

Browse Source
This commit is contained in:
Robby Findler 2016-01-05 09:14:15 -06:00
parent 3f4dcb8e87
commit c7726e23ec
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -204,7 +204,8 @@
(define (and/c-check-nonneg ctc pred) (define (and/c-check-nonneg ctc pred)
(define sub-contracts (base-and/c-ctcs ctc)) (define sub-contracts (base-and/c-ctcs ctc))
(cond (cond
[(pairwise-stronger-contracts? (list pred (not/c negative?)) [(pairwise-stronger-contracts?
(list (coerce-contract 'and/c-check-nonneg pred) (not/c negative?))
sub-contracts) sub-contracts)
(define go (hash-ref predicate-generator-table pred)) (define go (hash-ref predicate-generator-table pred))
(λ (fuel) (λ (fuel)