From 6ab90bed806e13e44336be48bbc0467f69bdf685 Mon Sep 17 00:00:00 2001 From: John Clements Date: Wed, 10 Dec 2008 19:41:03 +0000 Subject: [PATCH] fix for intermediate lang, added test/exn docs svn: r12770 --- collects/handin-server/scribblings/checker.scrbl | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/collects/handin-server/scribblings/checker.scrbl b/collects/handin-server/scribblings/checker.scrbl index ea11d2bb44..bd4d0e7d34 100644 --- a/collects/handin-server/scribblings/checker.scrbl +++ b/collects/handin-server/scribblings/checker.scrbl @@ -16,7 +16,7 @@ language module---a typical checker that uses it looks like this: @schemeblock[ (module checker (lib "checker.ss" "handin-server") - (check: :language 'intermediate + (check: :language '(special intermediate) :users pairs-or-singles-with-warning :coverage? #t (!procedure Fahrenheit->Celsius 1) @@ -350,17 +350,21 @@ code.} integers.} @defform*[((!test expr) + (!test/exn expr) (!test expr result) (!test expr result equal?))]{ The first form checks that the given expression evaluates to a non-@scheme[#f] value in the submission context, throwing an error - otherwise. The second form compares the result of evaluation, - requiring it to be equal to @scheme[result]. The third allows + otherwise. The second form checks that the given expression throws + an @scheme[exn:fail?] error, throwing an error otherwise. + The third form compares the result of evaluation, + requiring it to be equal to @scheme[result]. The fourth allows specifying an equality procedure. Note that the @scheme[result] and @scheme[equal?] forms are @italic{not} evaluated in the submission context.} + @defform[(!eval expr)]{ Evaluate an arbitrary expession in the submission context. This is