doc clarifications

svn: r11961
This commit is contained in:
Eli Barzilay 2008-10-07 14:14:23 +00:00
parent 0899471d32
commit 9f3161cf24
2 changed files with 14 additions and 8 deletions

View File

@ -65,13 +65,16 @@ Keywords for configuring @scheme[check:]:
evaluating submissions, same as the @scheme[_language] argument for evaluating submissions, same as the @scheme[_language] argument for
@scheme[make-evaluator] (see @schememodname[handin-server/sandbox]). @scheme[make-evaluator] (see @schememodname[handin-server/sandbox]).
There is no default for this, so it must be set or an error is There is no default for this, so it must be set or an error is
raised.} raised. (See @scheme[call-with-evaluator/submission] for further
details.)}
@item{@indexed-scheme[:requires]---paths for additional libraries to @item{@indexed-scheme[:requires]---paths for additional libraries to
require for evaluating the submission, same as the require for evaluating the submission, same as the
@scheme[_requires] argument for @scheme[make-evaluator] (see @scheme[_requires] argument for @scheme[make-evaluator] (see
@schememodname[handin-server/sandbox]). This defaults to null---no @schememodname[handin-server/sandbox]). This defaults to null---no
teachpacks.} teachpacks. Note: if a module language is used (See
@scheme[call-with-evaluator/submission] for further details), it is
passed as the @scheme[_allow-read] argument.}
@item{@indexed-scheme[:teachpacks]---an alternative name for @item{@indexed-scheme[:teachpacks]---an alternative name for
@scheme[:requires], kept for legacy checkers.} @scheme[:requires], kept for legacy checkers.}

View File

@ -36,7 +36,10 @@
list that begins with @scheme['module]. In this case, list that begins with @scheme['module]. In this case,
@scheme[make-module-language] is used to create an evaluator, and @scheme[make-module-language] is used to create an evaluator, and
the module code must be using the the specified language in its the module code must be using the the specified language in its
language position.} language position. In this case, the @scheme[requires-paths]
argument is used only for paths that are allowed to be accessed (the
@scheme[_allow-read] argument to @scheme[make-evaluator], since the
submission is expected to be a complete submission.)}
@defproc[(call-with-evaluator @defproc[(call-with-evaluator
[language (or/c module-path? [language (or/c module-path?
@ -58,11 +61,11 @@
submission error. See @scheme[make-evaluator/submission] for submission error. See @scheme[make-evaluator/submission] for
further details.} further details.}
@defproc[(call-with-evaluator/submission [language @defproc[(call-with-evaluator/submission
(or/c module-path? [language (or/c module-path?
(list/c (one-of/c 'special) symbol?) (list/c (one-of/c 'special) symbol?)
(list/c (one-of/c 'module) module-path?) (list/c (one-of/c 'module) module-path?)
(cons/c (one-of/c 'begin) list?))] (cons/c (one-of/c 'begin) list?))]
[require-paths (listof path-string?)] [require-paths (listof path-string?)]
[submission bytes?] [submission bytes?]
[proc (any/c . -> . any)]) [proc (any/c . -> . any)])