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

fix a bug introduced in 35ce47d97

Browse Source
This commit is contained in:
Robby Findler 2016-01-16 12:37:42 -06:00
parent f317f906d8
commit 738529c7de
2 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkgs/racket-test/tests/racket/contract/arrow.rkt
View File

@ -488,4 +488,22 @@
'((contract (dynamic->* #:range-contracts #f) (λ () 1) 'pos 'neg)) '((contract (dynamic->* #:range-contracts #f) (λ () 1) 'pos 'neg))
1) 1)
(test/spec-passed
'dynamic->*9
'(begin
((contract (dynamic->* #:range-contracts (list (or/c 1 2) (or/c 3 4)))
(λ () (values 1 3))
'pos
'neg))
(void)))
(test/pos-blame
'dynamic->*10
'(begin
((contract (dynamic->* #:range-contracts (list (or/c 1 2) (or/c 3 4)))
(λ () (values #f #f))
'pos
'neg))
(void)))
) )

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

@ -450,7 +450,8 @@
[(matches-arity-exactly? val min-arity max-arity req-kwd opt-kwd) [(matches-arity-exactly? val min-arity max-arity req-kwd opt-kwd)
(if (and (null? req-kwd) (null? opt-kwd)) (if (and (null? req-kwd) (null? opt-kwd))
(cond (cond
[(and basic-unsafe-lambda/result-values-assumed [(and basic-unsafe-lambda
basic-unsafe-lambda/result-values-assumed
(equal? contract-result-val-count (equal? contract-result-val-count
(procedure-result-arity val))) (procedure-result-arity val)))
(values basic-unsafe-lambda/result-values-assumed #t)] (values basic-unsafe-lambda/result-values-assumed #t)]