Add missing properties to contract chaperone.
This commit is contained in:
parent
c5cce7aa7b
commit
cf2030b0b1
|
@ -69,4 +69,13 @@
|
||||||
a
|
a
|
||||||
'pos
|
'pos
|
||||||
'neg)))
|
'neg)))
|
||||||
|
#t)
|
||||||
|
|
||||||
|
(test/spec-passed/result
|
||||||
|
'promise/c7
|
||||||
|
'(and (value-contract (contract (promise/c integer?)
|
||||||
|
(delay y)
|
||||||
|
'pos
|
||||||
|
'neg))
|
||||||
|
#t)
|
||||||
#t))
|
#t))
|
||||||
|
|
|
@ -349,7 +349,9 @@
|
||||||
(values (λ (val) (with-contract-continuation-mark
|
(values (λ (val) (with-contract-continuation-mark
|
||||||
blame+neg-party
|
blame+neg-party
|
||||||
(p-app val neg-party)))
|
(p-app val neg-party)))
|
||||||
promise)))))
|
promise))))
|
||||||
|
impersonator-prop:contracted ctc
|
||||||
|
impersonator-prop:blame blame)
|
||||||
(raise-blame-error
|
(raise-blame-error
|
||||||
blame #:missing-party neg-party
|
blame #:missing-party neg-party
|
||||||
val
|
val
|
||||||
|
|
Loading…
Reference in New Issue
Block a user