Avoid loading modules in module->path' and known-module'.

This is particularly problematic for `require-reloadable'.

Closes PR 13688.
This commit is contained in:
Eli Barzilay 2013-04-12 01:18:11 -04:00
parent a425ee5207
commit b5771e6ade

View File

@ -79,7 +79,7 @@
[_ (or (with-handlers ([exn:fail? (λ (_) #f)])
(define r
(resolved-module-path-name
((current-module-name-resolver) mod #f #f)))
((current-module-name-resolver) mod #f #f #f)))
(if (not mode)
(and r mod)
;; sanity check that path results exists
@ -89,7 +89,7 @@
;; for symbols, try also 'mod
(and (symbol? mod) (known-top `',mod)))]))
(define (module->path module)
(resolved-module-path-name ((current-module-name-resolver) module #f #f)))
(resolved-module-path-name ((current-module-name-resolver) module #f #f #f)))
(define (mpi->name mpi)
(resolved-module-path-name (module-path-index-resolve mpi)))