port xml contracts to late-neg
This commit is contained in:
parent
3b1e535049
commit
bd4b243963
|
@ -43,13 +43,14 @@
|
|||
(define permissive/c
|
||||
(make-contract
|
||||
#:name 'permissive/c
|
||||
#:projection
|
||||
#:late-neg-projection
|
||||
(lambda (blame)
|
||||
(lambda (v)
|
||||
(lambda (v neg-party)
|
||||
(if (permissive-xexprs)
|
||||
v
|
||||
(raise-blame-error
|
||||
blame v "not in permissive mode"))))
|
||||
blame #:missing-party neg-party
|
||||
v "not in permissive mode"))))
|
||||
#:first-order
|
||||
(lambda (v) #t)))
|
||||
|
||||
|
|
|
@ -42,14 +42,14 @@
|
|||
|
||||
(define xexpr/c
|
||||
(make-flat-contract
|
||||
#:name 'xexpr?
|
||||
#:projection
|
||||
#:name 'xexpr/c
|
||||
#:late-neg-projection
|
||||
(lambda (blame)
|
||||
(lambda (val)
|
||||
(lambda (val neg-party)
|
||||
(with-handlers ([exn:invalid-xexpr?
|
||||
(lambda (exn)
|
||||
(raise-blame-error
|
||||
blame
|
||||
blame #:missing-party neg-party
|
||||
val
|
||||
"Not an Xexpr. ~a\n\nContext:\n~a"
|
||||
(exn-message exn)
|
||||
|
|
Loading…
Reference in New Issue
Block a user