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

fix random generation environment usage

Browse Source 
closes PR 14484
This commit is contained in:
Robby Findler 2014-05-04 14:34:07 -05:00
parent 2e284cc783
commit 90053d7d40
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/racket-pkgs/racket-test/tests/racket/contract-rand-test.rkt
View File

@ -48,6 +48,9 @@
(check-not-exn (λ () ((test-contract-generation (-> (-> integer? integer?) boolean?)) +)))
(check-not-exn
(λ () ((test-contract-generation (-> some-crazy-predicate? some-crazy-predicate?)) 11)))
(check-not-exn
(λ () (((test-contract-generation (-> (-> (>/c 10) (>/c 10))))) 11)))
(define (cannot-generate-exn? x)
(and (exn:fail? x)
@ -102,3 +105,4 @@
(check-exn cannot-generate-exn? (λ () (test-contract-generation
(-> (listof some-crazy-predicate?)
some-crazy-predicate?))))

2
racket/collects/racket/contract/private/arrow-val-first.rkt
View File

@ -731,8 +731,8 @@
(cond
[(for/and ([rng-gen (in-list rngs-gens)])
rng-gen)
(define env (generate-env))
(λ ()
(define env (generate-env))
(procedure-reduce-arity
(λ args
; stash the arguments for use by other generators