adding comment to see what modules are being included
This commit is contained in:
parent
ff796e9ff0
commit
bb08cf1140
|
@ -237,6 +237,8 @@ MACHINE.modules[~s] =
|
|||
;; Record the use of resources on source module visitation...
|
||||
(set! resources (set-union resources
|
||||
(list->set (source-resources src))))
|
||||
|
||||
(fprintf op "\n// ** Visiting ~a\n" (source-name src))
|
||||
(cond
|
||||
[(UninterpretedSource? src)
|
||||
(fprintf op "~a" (UninterpretedSource-datum src))]
|
||||
|
|
|
@ -31,6 +31,23 @@
|
|||
|
||||
|
||||
|
||||
(: source-name (Source -> String))
|
||||
(define (source-name a-source)
|
||||
(cond
|
||||
[(StatementsSource? a-source)
|
||||
"<StatementsSource>"]
|
||||
[(UninterpretedSource? a-source)
|
||||
"<UninterpretedSource>"]
|
||||
[(MainModuleSource? a-source)
|
||||
"<MainModuleSource>"]
|
||||
[(SexpSource? a-source)
|
||||
"<SexpSource>"]
|
||||
[(ModuleSource? a-source)
|
||||
(format "<ModuleSource ~a>"
|
||||
(ModuleSource-path a-source))]))
|
||||
|
||||
|
||||
|
||||
(define-struct: Configuration
|
||||
([wrap-source : (Source -> Source)]
|
||||
[should-follow-children? : (Source -> Boolean)]
|
||||
|
|
|
@ -34,20 +34,6 @@
|
|||
(make-parameter (lambda: ([s : Source]) s)))
|
||||
|
||||
|
||||
(: source-name (Source -> String))
|
||||
(define (source-name a-source)
|
||||
(cond
|
||||
[(StatementsSource? a-source)
|
||||
"<StatementsSource>"]
|
||||
[(UninterpretedSource? a-source)
|
||||
"<UninterpretedSource>"]
|
||||
[(MainModuleSource? a-source)
|
||||
"<MainModuleSource>"]
|
||||
[(SexpSource? a-source)
|
||||
"<SexpSource>"]
|
||||
[(ModuleSource? a-source)
|
||||
(format "<ModuleSource ~a>"
|
||||
(ModuleSource-path a-source))]))
|
||||
|
||||
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user