use #%plain-app to avoid possible problems with code injected into the teaching languages

Follow ae37e186e7 for DMdA.
This commit is contained in:
Mike Sperber 2010-10-20 12:37:05 +02:00
parent 70898379c5
commit 594c72167e

View File

@ -173,6 +173,7 @@
((current-module-name-resolver) '(lib "deinprogramm/signature/signature.ss") #f #f)])
(run-in-user-thread
(lambda ()
(when (getenv "PLTDRHTDPNOCOMPILED") (use-compiled-file-paths '()))
(read-accept-quasiquote (get-accept-quasiquote?))
(ensure-drscheme-secrets-declared drs-namespace)
(namespace-attach-module drs-namespace ''drscheme-secrets)
@ -773,14 +774,14 @@
(cond
[start?
(set! start? #f)
#'(reset-tests)]
#'(#%plain-app reset-tests)]
[done? eof]
[else
(let ([ans (reader (object-name port) port)])
(cond
[(eof-object? ans)
(set! done? #t)
#`(test)]
#`(#%plain-app test)]
[else
ans]))]))))