Can't reference hidden modules

[Julow]

The first reference doesn't resolve while the second does:

module Hidden__ : sig
  type t
end

module Visible = Hidden__

(** {!Hidden__.t}
    {!Visible.t} *)

[jonludlam]

I think this is correct behaviour.

[Julow]

I think references should at least accept anything that can be written in code.
What do you think if the reference was accepted but point to the canonical path ?

[jonludlam]

If we can come up with a good reason why anyone would hide bits of an interface then try to link to them then I might reconsider :-)