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

Fix the error when a chaperone contract does not return a valid value.

Browse Source
This commit is contained in:
Stevie Strickland 2010-09-16 16:28:40 -04:00
parent afcc7c818d
commit 4080eacfb8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/racket/contract/private/prop.rkt
View File

@ -192,7 +192,7 @@
(λ (v) (λ (v)
(let ([v* (p v)]) (let ([v* (p v)])
(unless (chaperone-of? v* v) (unless (chaperone-of? v* v)
(error "expected a chaperone of ~v, got ~v" v v*)) (error 'prop:chaperone-contract (format "expected a chaperone of ~v, got ~v" v v*)))
v*))))))) v*)))))))
(define build-chaperone-contract-property (define build-chaperone-contract-property