From e004ae390b5582621805b4d08cc695684a830c40 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 9 Dec 2008 11:37:57 +0000 Subject: [PATCH] record modules loaded by the planet reader via current-reader-guard svn: r12752 --- collects/planet/lang/reader.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/planet/lang/reader.ss b/collects/planet/lang/reader.ss index ad73079c83..ade1f83ed8 100644 --- a/collects/planet/lang/reader.ss +++ b/collects/planet/lang/reader.ss @@ -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)