v5.0.99.2: proxy' ->
impersonator'
original commit: 7f67b6569c780f554bfeb8b9641ec59005c775c4
This commit is contained in:
parent
ea1269a0c2
commit
f5c7a9f7a5
|
@ -50,7 +50,7 @@
|
|||
(apply values res-checker kwd-vals args))
|
||||
(λ args
|
||||
(apply values res-checker args)))
|
||||
proxy-prop:contracted ctc)
|
||||
impersonator-prop:contracted ctc)
|
||||
(raise-blame-error blame val "expected a procedure"))))))
|
||||
(define ctc
|
||||
(if (and (chaperone-contract? rngs-x) ...)
|
||||
|
@ -60,7 +60,7 @@
|
|||
#:first-order procedure?)
|
||||
(make-contract
|
||||
#:name name
|
||||
#:projection (proj proxy-procedure)
|
||||
#:projection (proj impersonate-procedure)
|
||||
#:first-order procedure?)))
|
||||
ctc)))]))
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user