suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix problem with `raco exe' and cross-phase persistent modules

Browse Source 
Relevant test is "teaching-lang-executable-creation.rkt" iin
"tests/drracket".
This commit is contained in:
Matthew Flatt 2013-02-27 08:42:38 -07:00
parent abf44f8b49
commit f8c30338db
1 changed files with 20 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
collects/compiler/embed-unit.rkt
View File

@ -433,20 +433,26 @@
[extra-paths
(map symbol-to-lib-form (get-extra-imports actual-filename code))])
(let* ([runtime-paths
(parameterize ([current-namespace expand-namespace])
(eval code)
(let ([module-path
(if (path? module-path)
(path->complete-path module-path)
module-path)])
(syntax-case (expand `(,#'module m mzscheme
(require (only ,module-path)
mzlib/runtime-path)
(runtime-paths ,module-path))) (quote)
[(_ m mz (#%mb rfs req (quote (spec ...))))
(syntax->datum #'(spec ...))]
[_else (error 'create-empbedding-executable
"expansion mismatch when getting external paths")])))]
(if (module-compiled-cross-phase-persistent? code)
;; avoid potentially trying to redeclare cross-phase persistent modules,
;; since redeclaration isn't allowed:
null
;; check for run-time paths by visinting the module in a fresh
;; namespace:
(parameterize ([current-namespace expand-namespace])
(eval code)
(let ([module-path
(if (path? module-path)
(path->complete-path module-path)
module-path)])
(syntax-case (expand `(,#'module m mzscheme
(require (only ,module-path)
mzlib/runtime-path)
(runtime-paths ,module-path))) (quote)
[(_ m mz (#%mb rfs req (quote (spec ...))))
(syntax->datum #'(spec ...))]
[_else (error 'create-empbedding-executable
"expansion mismatch when getting external paths")]))))]
[extra-runtime-paths (filter
values