removed unneeded junk
This commit is contained in:
parent
76e0b52d30
commit
ed5812cf8b
10
main.rkt
10
main.rkt
|
@ -20,11 +20,7 @@
|
|||
#:datum-literals (module)
|
||||
[(~and s (module name:id lang forms ...))
|
||||
(values (syntax-e #'name)
|
||||
(annotate-top #'s (namespace-base-phase ns))
|
||||
#;
|
||||
#`(module name lang
|
||||
#,@(map (lambda (x) (annotate-top stx (namespace-base-phase ns)))
|
||||
(syntax-e #'(forms ...)))))]))
|
||||
(annotate-top #'s (namespace-base-phase ns)))]))
|
||||
(eval-syntax anned ns)
|
||||
(parameterize ([current-namespace ns])
|
||||
(namespace-require `',name)))
|
||||
|
@ -34,7 +30,3 @@
|
|||
(dict-clear! coverage)
|
||||
(set! ns (make-base-empty-namespace))
|
||||
(namespace-attach-module (current-namespace) "coverage.rkt" ns))
|
||||
|
||||
(module+ test
|
||||
(require racket/pretty)
|
||||
(pretty-print (test-files "tests/basic/prog.rkt")))
|
||||
|
|
Loading…
Reference in New Issue
Block a user