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

add missing neg-party

Browse Source 
closes PR 14915
This commit is contained in:
Robby Findler 2015-01-01 09:56:00 -06:00
parent 4272f1b18e
commit 44073e31b4
4 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -50,6 +50,12 @@
'neg)
1))
(test/neg-blame
'contract-arrow-values6
'(((contract (-> (-> (listof integer?)) any)
(λ (x) x)
'pos 'neg)
(λ () (values 1 2)))))
(test/pos-blame
'contract-arrow-keyword1

3
racket/collects/racket/contract/private/arrow-higher-order.rkt
View File

@ -169,7 +169,8 @@
post ...
rng-results))]
[args
(arrow:bad-number-of-results blame val rng-len args)]))))
(arrow:bad-number-of-results blame val rng-len args
#:missing-party neg-party)]))))
null)])
(let* ([min-method-arity (length doms)]
[max-method-arity (+ min-method-arity (length opt-doms))]

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

@ -1713,12 +1713,14 @@
[else
passes?]))
(define (bad-number-of-results blame val rng-len args [case-context #f])
(define (bad-number-of-results blame val rng-len args [case-context #f]
#:missing-party [missing-party #f])
(define num-values (length args))
(define blame-case (if case-context
(blame-add-context blame (format "the ~a case of" (n->th (+ case-context 1))))
blame))
(raise-blame-error (blame-add-range-context blame-case)
#:missing-party missing-party
val
"expected ~a value~a, returned ~a value~a"
rng-len (if (= rng-len 1) "" "s")

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

@ -247,7 +247,8 @@
(unless (blame-positive blme)
(raise-argument-error 'default-blame-format
"a blame object with a non-#f positive field"
blme))
0
blme x custom-message))
(define source-message (source-location->string (blame-source blme)))