svn: r12358

This commit is contained in:
Matthias Felleisen 2008-11-08 20:35:23 +00:00
parent 1490cd1c4d
commit 0dcf6dc0ee

View File

@ -55,7 +55,7 @@
(define (check-result pname pred? expected given . other-given)
(if (pred? given)
given
(tp-error pname "result of type <~a> expected, given: ~a" expected
(tp-error pname "result of type <~a> expected, your function produced ~a" expected
(if (pair? other-given)
(car other-given)
given))))
@ -63,7 +63,7 @@
;; check-arg : sym bool str str TST -> void
(define (check-arg pname condition expected arg-posn given)
(unless condition
(tp-error pname "expected <~a> as ~a argument, given: ~e"
(tp-error pname "expected <~a> as ~a argument, given: ~a"
expected arg-posn given)))
;; check-arity : sym num (list-of TST) -> void