Fix two places in code.rkt that could use #f as an anchor, resulting in
...##f urls.
This commit is contained in:
parent
5da56167a9
commit
f1eec03a2d
|
@ -51,7 +51,7 @@
|
||||||
(let-values ([(p a) (xref-tag->path+anchor
|
(let-values ([(p a) (xref-tag->path+anchor
|
||||||
xref tag
|
xref tag
|
||||||
#:external-root-url doc-root)])
|
#:external-root-url doc-root)])
|
||||||
(format "~a#~a" p a)))
|
(if a (format "~a#~a" p a) p)))
|
||||||
'importid))
|
'importid))
|
||||||
'id)
|
'id)
|
||||||
pos
|
pos
|
||||||
|
@ -75,7 +75,8 @@
|
||||||
#:external-root-url doc-root)])
|
#:external-root-url doc-root)])
|
||||||
(if p
|
(if p
|
||||||
(list (let ([pos (sub1 (syntax-position mp-stx))])
|
(list (let ([pos (sub1 (syntax-position mp-stx))])
|
||||||
(list (cons 'modpath (format "~a#~a" p a))
|
(list (cons 'modpath
|
||||||
|
(if a (format "~a#~a" p a) p))
|
||||||
pos
|
pos
|
||||||
(+ pos (syntax-span mp-stx))
|
(+ pos (syntax-span mp-stx))
|
||||||
priority)))
|
priority)))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user