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

Better error message if argument to `check-property' is not a property.

Browse Source 
svn: r16042
This commit is contained in:
Mike Sperber 2009-09-17 14:32:30 +00:00
parent 027959de52
commit 3af715fe11
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
collects/deinprogramm/DMdA.ss
View File

@ -1008,7 +1008,18 @@
(raise e)))) (raise e))))
(call-with-values (call-with-values
(lambda () (lambda ()
(quickcheck-results (test))) (with-handlers
((exn:assertion-violation?
(lambda (e)
;; minor kludge to produce comprehensible error message
(if (eq? (exn:assertion-violation-who e) 'coerce->result-generator)
(raise (make-exn:fail (string-append "Wert muß Eigenschaft oder boolesch sein: "
((error-value->string-handler)
(car (exn:assertion-violation-irritants e))
100))
(exn-continuation-marks e)))
(raise e)))))
(quickcheck-results (test))))
(lambda (ntest stamps result) (lambda (ntest stamps result)
(if (check-result? result) (if (check-result? result)
(begin (begin