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

Have opt/c and ->i put on impersonator-prop:blame.

Browse Source 
To be consistent with other combinators.
This commit is contained in:
Vincent St-Amour 2016-05-20 13:44:03 -05:00
parent d86c69fc21
commit 26663bb2d7
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
racket/collects/racket/contract/private/arr-i.rkt
View File

@ -915,7 +915,7 @@ evaluted left-to-right.)
blame+neg-party blame+neg-party
(apply arg-checker args))))) (apply arg-checker args)))))
impersonator-prop:contracted ctc impersonator-prop:contracted ctc
impersonator-prop:blame blame)))))) impersonator-prop:blame (blame-add-missing-party blame neg-party)))))))
(define-for-syntax (arg/res-to-indy-var indy-arg-vars ordered-args indy-res-vars ordered-ress var) (define-for-syntax (arg/res-to-indy-var indy-arg-vars ordered-args indy-res-vars ordered-ress var)
(define (try vars ordered) (define (try vars ordered)

6
racket/collects/racket/contract/private/opters.rkt
View File

@ -607,7 +607,8 @@
(null? b))) (null? b)))
(chaperone-procedure val exact-proc (chaperone-procedure val exact-proc
impersonator-prop:application-mark impersonator-prop:application-mark
(cons opt->/c-cm-key cont-mark-value)) (cons opt->/c-cm-key cont-mark-value)
impersonator-prop:blame blame)
(handle-non-exact-procedure val dom-len blame exact-proc)))) (handle-non-exact-procedure val dom-len blame exact-proc))))
(append lifts-doms lifts-rngs) (append lifts-doms lifts-rngs)
(append superlifts-doms superlifts-rngs) (append superlifts-doms superlifts-rngs)
@ -678,7 +679,8 @@
(case-lambda (case-lambda
[(dom-arg ...) (values next-dom ...)] [(dom-arg ...) (values next-dom ...)]
[args [args
(bad-number-of-arguments blame val args dom-len)])))) (bad-number-of-arguments blame val args dom-len)])
impersonator-prop:blame blame)))
(if all-anys? (if all-anys?
#`(if (procedure-arity-exactly/no-kwds val #,(length doms)) #`(if (procedure-arity-exactly/no-kwds val #,(length doms))
val val