svn: r12772
This commit is contained in:
Eli Barzilay 2008-12-11 00:59:26 +00:00
parent 6ab90bed80
commit a2c818d8b1
2 changed files with 6 additions and 7 deletions

View File

@ -1,6 +1,7 @@
#lang scheme/base
(require (for-syntax scheme/base) "utils.ss" scheme/file scheme/list scheme/class mred)
(require (for-syntax scheme/base) "utils.ss"
scheme/file scheme/list scheme/class mred)
(provide (except-out (all-from-out scheme/base) #%module-begin)
(all-from-out "utils.ss"))
@ -726,11 +727,10 @@
(define-syntax (!test/exn stx)
(syntax-case stx ()
[(_ test-exp)
#`(unless
(with-handlers ([exn:fail? (lambda (exn) #t)])
((submission-eval) `test-exp)
#f)
(error* "expected exception on test expression: ~v"
#`(unless (with-handlers ([exn:fail? (lambda (exn) #t)])
((submission-eval) `test-exp)
#f)
(error* "expected exception on test expression: ~v"
(->disp 'test-exp)))]))
(provide !all-covered)

View File

@ -364,7 +364,6 @@ code.}
@scheme[equal?] forms are @italic{not} evaluated in the submission
context.}
@defform[(!eval expr)]{
Evaluate an arbitrary expession in the submission context. This is