From 594c72167e8551c7baf8d9ab409973430cae81b9 Mon Sep 17 00:00:00 2001
From: Mike Sperber <sperber@deinprogramm.de>
Date: Wed, 20 Oct 2010 12:37:05 +0200
Subject: [PATCH] use #%plain-app to avoid possible problems with code injected
 into the teaching languages

Follow ae37e186e727d6c293e28433011c176110d42161 for DMdA.
---
 collects/deinprogramm/deinprogramm-langs.rkt | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/collects/deinprogramm/deinprogramm-langs.rkt b/collects/deinprogramm/deinprogramm-langs.rkt
index d3c653b435..bb7e4508d2 100644
--- a/collects/deinprogramm/deinprogramm-langs.rkt
+++ b/collects/deinprogramm/deinprogramm-langs.rkt
@@ -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]))]))))