Fixed another source of "annotations being revealed". This time,
it's a reader bug of not inserting enough annotations for reader macro forms.
This commit is contained in:
parent
c3b8e50b23
commit
3bcc3249e5
|
@ -1266,11 +1266,11 @@
|
||||||
macro))]
|
macro))]
|
||||||
[else (parse-token p locs k t pos)])))
|
[else (parse-token p locs k t pos)])))
|
||||||
(let-values ([(expr expr^ locs k) (read-macro)])
|
(let-values ([(expr expr^ locs k) (read-macro)])
|
||||||
(let ([x (list expr)] [x^ (list expr^)])
|
(let ([d (list expr)] [d^ (list expr^)])
|
||||||
(values (cons macro x)
|
(let ([x (cons macro d)]
|
||||||
(cons (annotate-simple macro pos p) x^)
|
[x^ (cons (annotate-simple macro pos p) d^)])
|
||||||
locs
|
(values x (annotate x x^ pos p) locs
|
||||||
(extend-k-pair x x^ expr '() k)))))]
|
(extend-k-pair d d^ expr '() k))))))]
|
||||||
[(eq? (car t) 'mark)
|
[(eq? (car t) 'mark)
|
||||||
(let ([n (cdr t)])
|
(let ([n (cdr t)])
|
||||||
(let-values ([(expr expr^ locs k)
|
(let-values ([(expr expr^ locs k)
|
||||||
|
|
|
@ -1 +1 @@
|
||||||
1467
|
1468
|
||||||
|
|
Loading…
Reference in New Issue