File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed
test/xref2/github_issue_447.t Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change 1
1
type u = Foo
2
2
3
- (* * {!constructor-Foo} {!u.constructor-Foo} *)
3
+ (* * {!constructor-Foo} {!u.constructor-Foo} {!Foo} *)
4
4
5
5
module M : sig
6
6
type t = Foo
Original file line number Diff line number Diff line change @@ -18,7 +18,8 @@ Let's now check that the reference point to the right page/anchor:
18
18
19
19
$ cat html/ A/ index . html | grep \# | grep Foo | grep -v anchor
20
20
<p ><a href="#type-u.Foo" ><code >Foo</code ></a >
21
- <a href="#type-u.Foo" ><code >u. Foo</code ></a >
21
+ <a href="#type-u.Foo" ><code >u. Foo</code ></a >
22
+ <a href="#type-u.Foo" ><code >Foo</code ></a >
22
23
<p ><a href="M/index.html#type-t.Foo" ><code >M. t. Foo</code ></a > and
23
24
<a href="M/index.html#type-t.Foo" ><code >M. t. Foo</code ></a >
24
25
<p ><a href="M/index.html#type-t.Foo" ><code >M. t. Foo</code ></a > and
You can’t perform that action at this time.
0 commit comments