This commit is contained in:
Sam Tobin-Hochstadt 2010-05-04 17:56:28 -04:00
parent 087c5129e3
commit 27a8ac62f6

View File

@ -175,7 +175,7 @@
(define-syntax define-binary-check (define-syntax define-binary-check
(syntax-rules () (syntax-rules ()
((_ (name expr1 expr2) expr ...) [(_ (name expr1 expr2) expr ...)
(define-check (name expr1 expr2) (define-check (name expr1 expr2)
(with-check-info* (with-check-info*
(list (make-check-actual expr1) (list (make-check-actual expr1)
@ -184,8 +184,8 @@
(let ((result (begin expr ...))) (let ((result (begin expr ...)))
(if result (if result
result result
(fail-check))))))) (fail-check))))))]
((_ (name pred expr1 expr2)) [(_ (name pred expr1 expr2))
(define-check (name expr1 expr2) (define-check (name expr1 expr2)
(with-check-info* (with-check-info*
(list (make-check-actual expr1) (list (make-check-actual expr1)
@ -193,7 +193,7 @@
(lambda () (lambda ()
(if (pred expr1 expr2) (if (pred expr1 expr2)
#t #t
(fail-check)))))))) (fail-check)))))]))
(define-check (check-exn pred thunk) (define-check (check-exn pred thunk)
(let/ec succeed (let/ec succeed