record modules loaded by the planet reader via current-reader-guard

svn: r12752
This commit is contained in:
Matthew Flatt 2008-12-09 11:37:57 +00:00
parent 8b3f58c371
commit e004ae390b

View File

@ -29,7 +29,9 @@
`(planet ,(string->symbol (string-append str lang-mod)))
#f))])
(if parsed-spec
(dynamic-require parsed-spec export-sym (mk-fail-thunk spec))
(begin
((current-reader-guard) parsed-spec)
(dynamic-require parsed-spec export-sym (mk-fail-thunk spec)))
(bad (cadr spec) #f))))))
(define (get-info in mod line col pos)