suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

misc

Browse Source 
svn: r5359
This commit is contained in:
Eli Barzilay 2007-01-16 04:28:32 +00:00
parent cf67b9672a
commit f0a958e45b
2 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/handin-server/checker.ss
View File

@ -689,8 +689,7 @@
[(_ expr result equal?)
(let ([val ((submission-eval) `expr)])
(unless (equal? result val)
(error*
"your code failed a test: ~a evaluated to ~a, expecting ~a"
(error* "your code failed a test: ~a evaluated to ~a, expecting ~a"
(->disp 'expr) (->disp val) (->disp result))))]))
(provide !all-covered)

13
collects/handin-server/doc.txt
View File

@ -705,13 +705,14 @@ _utils.ss_
submission byte string. The byte string is opened for reading, with
line-counting enabled.
> (call-with-evaluator language teachpack-paths program-port proc)
> (call-with-evaluator language teachpack-paths input-program proc)
Calls `proc' with an evaluator for the given language, teachpack
paths, and initial definition content as supplied by a port. It
also sets the current error-value print handler to print values in a
way suitable for `lang', it initializes `current-run-status' with
"executing your code", and it catches all exceptions to re-raise
them in a form suitable as a submission error.
paths, and initial definition content as supplied by input-program
(see `make-evaluator'). It also sets the current error-value print
handler to print values in a way suitable for `lang', it initializes
`current-run-status' with "executing your code", and it catches all
exceptions to re-raise them in a form suitable as a submission
error.
> (call-with-evaluator/submission language teachpack-paths bytes proc)
Like `call-with-evaluator', but the definitions content is supplied