<div dir="ltr"><div><br></div>I'm trying to create a simple sandbox evaluator (to load in programs in *SL). I have the following code:<div><br></div><div><div>#lang racket</div><div>(require racket/sandbox)<br></div><div>(define E <br></div><div>  (parameterize ([sandbox-path-permissions</div><div>                  '([write "/var/folders"]</div><div>                    [exists "/"]</div><div>                    [read "/"])]</div><div>                 )</div><div>    (make-module-evaluator (string->path "test-file.rkt"))))</div><div>  </div></div><div><br></div><div>This works fine as long as test-file.rkt does *not* contain a comment box. If the file contains a comment box, then the following error occurs:</div><div><div><br></div><div>/Applications/Racket v6.1.1/share/pkgs/snip-lib/racket/snip/private/load-one.rkt:21:2: dynamic-require: unknown module</div><div>  module name: #<resolved-module-path:"/Applications/Racket v6.1.1/share/pkgs/gui-lib/framework/main.rkt"></div><br></div><div><br></div><div><br></div><div>I thought maybe parameterizing sandbox-namespace-specs with 'framework might do something:</div><div><br></div><div>(require racket/sandbox racket/gui)<br></div><div><div>(define E </div><div>  (parameterize ([sandbox-path-permissions</div><div>                  '([write "/var/folders"]</div><div>                    [exists "/"]</div><div>                    [read "/"])]</div><div>                 [sandbox-namespace-specs</div><div>                  (list make-gui-namespace 'framework)] </div><div>                 )</div><div>    (make-module-evaluator (string->path "lab01-insulin.rkt"))))</div></div><div><br></div><div>But it results in:</div><div><div>   namespace-attach-module: a different instance of the same module is already in the destination namespace</div><div>  module name: "/Applications/Racket v6.1.1/collects/racket/stxparam-exptime.rkt"</div></div><div><br></div><div><br></div><div>Any suggestions? </div><div><br></div><div>Thanks!</div><div><br></div><div>--- nadeem</div><div><br></div><div><br></div><div><br></div><div><br></div></div>