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

Fix dom exercisers in randomly generated function

Browse Source
This commit is contained in:
shhyou 2018-08-28 15:28:55 -05:00 committed by Robby Findler
parent 7faf874000
commit ef5467a9d4
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -176,6 +176,7 @@
(check-exn exn:fail? (λ () ((test-contract-generation (-> char? integer?)) 0))) (check-exn exn:fail? (λ () ((test-contract-generation (-> char? integer?)) 0)))
(check-not-exn (λ () ((test-contract-generation (-> integer? integer?)) 1))) (check-not-exn (λ () ((test-contract-generation (-> integer? integer?)) 1)))
(check-not-exn (λ () ((test-contract-generation (-> any/c (-> any) any)) 0 void)))
(check-not-exn (λ () ((test-contract-generation (-> integer? any)) 1))) (check-not-exn (λ () ((test-contract-generation (-> integer? any)) 1)))
(check-not-exn (λ () ((test-contract-generation (-> integer? (-> integer? any))) 1))) (check-not-exn (λ () ((test-contract-generation (-> integer? (-> integer? any))) 1)))
(check-not-exn (λ () ((test-contract-generation (-> (-> integer? any) integer?)) (check-not-exn (λ () ((test-contract-generation (-> (-> integer? any) integer?))

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

@ -1335,6 +1335,7 @@
(define-values (exer ctcs) ((contract-struct-exercise c) fuel)) (define-values (exer ctcs) ((contract-struct-exercise c) fuel))
(set! dom-exers (cons exer dom-exers)) (set! dom-exers (cons exer dom-exers))
(set! addl-available (append ctcs addl-available))) (set! addl-available (append ctcs addl-available)))
(set! dom-exers (reverse dom-exers))
(define rngs-gens (define rngs-gens
(if (base->-rngs ctc) (if (base->-rngs ctc)
(with-definitely-available-contracts (with-definitely-available-contracts