You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(* test.ml *)moduleX=StdlibmoduleY=XmoduleZ=structlet x =1endmoduleT=Z(** {!X} {!Y} {!Z} {!T} *)
and you compile its doc without access to stdlib:
$ odoc compile test.cmt
$ odoc link test.odoc
$ odoc html-generate test.odocl -o html
Then no warnings will be emitted, but the first two references (to X and Y) will generate a link to a non existent page. The references to Z and T both link to the expansion of Z.
This is also triggered outside of references. For instance:
module type A=sigmoduleX=StdlibmoduleY :=Xend
If Stdlib is not in the path, clicking on X in module Y := X will lead to a 404 page.
panglesd
changed the title
Reference to module aliases of unexpanded/unavailable modules link to 404 (without warnings)
Reference/Path to module aliases of unexpanded/unavailable modules link to 404 (without warnings)
Apr 18, 2024
Suppose you have the following file:
and you compile its doc without access to stdlib:
Then no warnings will be emitted, but the first two references (to
X
andY
) will generate a link to a non existent page. The references toZ
andT
both link to the expansion ofZ
.Linked with #1106.
The text was updated successfully, but these errors were encountered: