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

fix default proc for contract generation

Browse Source 
closes racket/typed-racket#751
This commit is contained in:
Robby Findler 2018-07-02 07:10:48 -10:00
parent a2f1f11f9b
commit ffc5720b51
2 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/racket-test/tests/racket/contract/random-generate.rkt
View File

@ -412,3 +412,9 @@
(check-not-exn (λ () (test-contract-generation even-list/c/generate)))
(check-exercise 2 void? even-list/c)
(check-exercise 2 void? even-list/c/generate))
(check-false
(contract-random-generate
(make-chaperone-contract
#:late-neg-projection
(λ (b) (λ (f v np) v)))))

4
racket/collects/racket/contract/private/prop.rkt
View File

@ -298,7 +298,7 @@
#:late-neg-projection [get-late-neg-projection #f]
#:stronger [stronger #f]
#:equivalent [equivalent #f]
#:generate [generate (λ (ctc) (λ (fuel) #f))]
#:generate [generate (λ (ctc) (λ () #f))]
#:exercise [exercise (λ (ctc) (λ (fuel) (values void '())))]
#:list-contract? [list-contract? (λ (c) #f)])
(unless (or get-first-order
@ -476,7 +476,7 @@
#:late-neg-projection [late-neg-projection #f]
#:stronger [stronger #f]
#:equivalent [equivalent #f]
#:generate [generate (λ (ctc) (λ (fuel) #f))]
#:generate [generate (λ (ctc) (λ () #f))]
#:exercise [exercise (λ (ctc) (λ (fuel) (values void '())))]
#:list-contract? [list-contract? #f])