some filename tweaks for windows

svn: r5891 original commit: 4cf75fbb65d01e78d110c4fa3f04b3bad73317a0
2007-04-08 21:39:12 +00:00 · 2007-04-08 21:39:12 +00:00 · cfdc482cb8
commit cfdc482cb8
parent ed9b437481
1 changed files with 6 additions and 2 deletions
--- a/collects/mzlib/sandbox.ss
+++ b/collects/mzlib/sandbox.ss
@ -509,8 +509,12 @@
             [reqs (cond [(not requires) '()]
                         [(not (list? requires))
                          (error 'make-evaluator "bad requires: ~e" requires)]
-                         [else (map (lambda (r) (if (pair? r) r `(file ,r)))
-                                    requires)])])
+                         [else
+                          (map (lambda (r)
+                                 (if (or (pair? r) (symbol? r))
+                                   r
+                                   `(file ,(path->string (simplify-path* r)))))
+                               requires)])])
         (make-evaluator* (init-for-language lang)
                          (require-perms lang reqs)
                          (lambda () (build-program lang reqs input-program))))]