From 3af715fe11814ab400b0d215fee38e8eb7c659fe Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Thu, 17 Sep 2009 14:32:30 +0000 Subject: [PATCH] Better error message if argument to `check-property' is not a property. svn: r16042 --- collects/deinprogramm/DMdA.ss | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/collects/deinprogramm/DMdA.ss b/collects/deinprogramm/DMdA.ss index f215fba71a..93741241c8 100644 --- a/collects/deinprogramm/DMdA.ss +++ b/collects/deinprogramm/DMdA.ss @@ -1008,7 +1008,18 @@ (raise e)))) (call-with-values (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) (if (check-result? result) (begin