Use compiler-independent anchor for functor argument

Signed-off-by: Paul-Elliot <[email protected]>

Author: panglesd

src/loader/implementation.ml

@@ -441,10 +441,11 @@ let of_cmt (source_id_opt : Odoc_model.Paths.Identifier.SourcePage.t option)
               | None -> (
                   match uid with
                   | Compilation_unit _ -> None
-                  | Item { id; _ } ->
+                  | Item _ ->
                       let name =
                         Odoc_model.Names.DefName.make_std
-                          (Printf.sprintf "def_%d" id)
+                          (Printf.sprintf "def_%d_%d" loc.loc_start.pos_cnum
+                             loc.loc_end.pos_cnum)
                       in
                       Some name
                   | _ -> None)

test/sources/source.t/a.ml

@@ -31,3 +31,12 @@ end
 
 type a1 = int
 and a2 = a1
+
+module F (M : sig
+  type t
+end) =
+struct end
+
+module FM = F (struct
+  type t = int
+end)

test/sources/source.t/run.t

@@ -34,6 +34,15 @@ Files containing some values:
 
   type a1 = int
   and a2 = a1
+  
+  module F (M : sig
+    type t
+  end) =
+  struct end
+  
+  module FM = F (struct
+    type t = int
+  end)
 
 Source pages require a parent:
 
@@ -140,11 +149,19 @@ Source links generated in the documentation:
   --
       <div class="spec type anchored" id="type-a1">
        <a href="#type-a1" class="anchor"></a>
-       <a href="../root/source/a.ml.html#def_24" class="source_link">Source</a>
+       <a href="../root/source/a.ml.html#type-a1" class="source_link">Source
   --
       <div class="spec type anchored" id="type-a2">
        <a href="#type-a2" class="anchor"></a>
-       <a href="../root/source/a.ml.html#def_25" class="source_link">Source</a>
+       <a href="../root/source/a.ml.html#type-a2" class="source_link">Source
+  --
+      <div class="spec module anchored" id="module-F">
+       <a href="#module-F" class="anchor"></a>
+       <a href="../root/source/a.ml.html#module-F" class="source_link">Source
+  --
+      <div class="spec module anchored" id="module-FM">
+       <a href="#module-FM" class="anchor"></a>
+       <a href="../root/source/a.ml.html#module-FM" class="source_link">Source
 
 Ids generated in the source code:
 
@@ -182,6 +199,15 @@ Ids generated in the source code:
   id="L31"
   id="L32"
   id="L33"
+  id="L34"
+  id="L35"
+  id="L36"
+  id="L37"
+  id="L38"
+  id="L39"
+  id="L40"
+  id="L41"
+  id="L42"
   id="type-t"
   id="type-truc"
   id="value-{x}2"
@@ -203,5 +229,9 @@ Ids generated in the source code:
   id="module-X"
   id="module-X.type-t"
   id="module-X.type-t"
-  id="def_24"
-  id="def_25"
+  id="type-a1"
+  id="type-a2"
+  id="module-F"
+  id="def_430_436"
+  id="module-FM"
+  id="def_480_492"