fixed order-of-annotator error
This commit is contained in:
parent
55d72fc5d6
commit
a5fe5a42df
10
strace.rkt
10
strace.rkt
|
@ -85,6 +85,13 @@
|
||||||
#'(m name lang
|
#'(m name lang
|
||||||
(#%module-begin add ... body ...)))
|
(#%module-begin add ... body ...)))
|
||||||
(rebuild-syntax stx disarmed expr))]))]
|
(rebuild-syntax stx disarmed expr))]))]
|
||||||
|
[(b a ...)
|
||||||
|
(eq? 'begin (syntax-e #'b))
|
||||||
|
(let ()
|
||||||
|
(define/with-syntax (body ...)
|
||||||
|
(map (lambda (e) (loop e #f))
|
||||||
|
(syntax->list #'(a ...))))
|
||||||
|
#'(b body ...))]
|
||||||
[_ (if top #f expr)])))
|
[_ (if top #f expr)])))
|
||||||
|
|
||||||
(define inspector (variable-reference->module-declaration-inspector
|
(define inspector (variable-reference->module-declaration-inspector
|
||||||
|
@ -151,10 +158,9 @@
|
||||||
|
|
||||||
(define (rebuild-syntax stx disarmed armed)
|
(define (rebuild-syntax stx disarmed armed)
|
||||||
(syntax-rearm
|
(syntax-rearm
|
||||||
(namespace-syntax-introduce
|
|
||||||
(datum->syntax
|
(datum->syntax
|
||||||
disarmed
|
disarmed
|
||||||
(syntax-e stx)
|
(syntax-e stx)
|
||||||
disarmed
|
disarmed
|
||||||
disarmed))
|
disarmed)
|
||||||
armed))
|
armed))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user