From a2c818d8b1f34888e4f8c1fcf58fedf36b3138f5 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 11 Dec 2008 00:59:26 +0000 Subject: [PATCH] minor svn: r12772 --- collects/handin-server/checker.ss | 12 ++++++------ collects/handin-server/scribblings/checker.scrbl | 1 - 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/collects/handin-server/checker.ss b/collects/handin-server/checker.ss index ed589110e2..cff230911c 100644 --- a/collects/handin-server/checker.ss +++ b/collects/handin-server/checker.ss @@ -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) diff --git a/collects/handin-server/scribblings/checker.scrbl b/collects/handin-server/scribblings/checker.scrbl index bd4d0e7d34..2d732ef102 100644 --- a/collects/handin-server/scribblings/checker.scrbl +++ b/collects/handin-server/scribblings/checker.scrbl @@ -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