Rename SourceLocationInt to SourceLocationInternal

for more self-explanatoriness

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

Author: panglesd

src/.ocamlformat-ignore

@@ -6,8 +6,8 @@ loader/cmt.ml
 loader/cmti.ml
 loader/doc_attr.ml
 loader/implementation.ml
-loader/shape_.ml
-loader/shape_.mli
+loader/lookup_def.ml
+loader/lookup_def.mli
 syntax_highlighter/syntax_highlighter.ml
 model/*.cppo.ml
 html_support_files/*.ml

src/document/generator.ml

@@ -262,7 +262,7 @@ module Make (Syntax : SYNTAX) = struct
       | Definition id -> (
           match id.iv with
           | `SourceLocation (_, def) -> Some (Anchor (DefName.to_string def))
-          | `SourceLocationInt (_, local) ->
+          | `SourceLocationInternal (_, local) ->
               Some (Anchor (LocalName.to_string local))
           | _ -> None)
 

src/document/url.ml

@@ -371,7 +371,7 @@ module Anchor = struct
     | { iv = `SourceLocation (parent, loc); _ } ->
         let page = Path.from_identifier (parent :> Path.any) in
         Ok { page; kind = `SourceAnchor; anchor = DefName.to_string loc }
-    | { iv = `SourceLocationInt (parent, loc); _ } ->
+    | { iv = `SourceLocationInternal (parent, loc); _ } ->
         let page = Path.from_identifier (parent :> Path.any) in
         Ok { page; kind = `SourceAnchor; anchor = LocalName.to_string loc }
     | { iv = `SourceLocationMod parent; _ } ->

src/loader/implementation.ml

@@ -419,7 +419,7 @@ let anchor_of_identifier id =
         continue anchor parent
     | `SourceLocationMod _ -> assert false
     | `Result parent -> anchor_of_identifier acc (parent :> Identifier.t)
-    | `SourceLocationInt _ -> assert false
+    | `SourceLocationInternal _ -> assert false
     | `Type (parent, name) ->
         let anchor = anchor `Type (TypeName.to_string name) in
         continue anchor parent

src/model/paths.ml

@@ -58,7 +58,7 @@ module Identifier = struct
     | `SourceLocation (x, anchor) ->
         name_aux (x :> t) ^ "#" ^ DefName.to_string anchor
     | `SourceLocationMod x -> name_aux (x :> t)
-    | `SourceLocationInt (x, anchor) ->
+    | `SourceLocationInternal (x, anchor) ->
         name_aux (x :> t) ^ "#" ^ LocalName.to_string anchor
     | `AssetFile (_, name) -> name
 
@@ -519,9 +519,9 @@ module Identifier = struct
 
     let source_location_int :
         SourcePage.t * LocalName.t ->
-        [> `SourceLocationInt of SourcePage.t * LocalName.t ] id =
+        [> `SourceLocationInternal of SourcePage.t * LocalName.t ] id =
       mk_parent LocalName.to_string "sli" (fun (p, n) ->
-          `SourceLocationInt (p, n))
+          `SourceLocationInternal (p, n))
   end
 end
 

src/model/paths.mli

@@ -304,7 +304,7 @@ module Identifier : sig
 
     val source_location_int :
       SourcePage.t * LocalName.t ->
-      [> `SourceLocationInt of SourcePage.t * LocalName.t ] id
+      [> `SourceLocationInternal of SourcePage.t * LocalName.t ] id
   end
 end
 

src/model/paths_types.ml

@@ -43,7 +43,7 @@ module Identifier = struct
   type source_location_pv =
     [ `SourceLocationMod of source_page
     | `SourceLocation of source_page * DefName.t
-    | `SourceLocationInt of source_page * LocalName.t ]
+    | `SourceLocationInternal of source_page * LocalName.t ]
   (** @canonical Odoc_model.Paths.Identifier.SourceLocation.t *)
 
   and source_location = source_location_pv id

src/model_desc/paths_desc.ml

@@ -168,9 +168,9 @@ module General_paths = struct
               ( "`SourceLocation",
                 ((parent :> id_t), name),
                 Pair (identifier, Names.defname) )
-        | `SourceLocationInt (parent, name) ->
+        | `SourceLocationInternal (parent, name) ->
             C
-              ( "`SourceLocationInt",
+              ( "`SourceLocationInternal",
                 ((parent :> id_t), name),
                 Pair (identifier, Names.localname) )
         | `SourceLocationMod parent ->

src/xref2/component.ml

@@ -1255,7 +1255,7 @@ module Fmt = struct
         Format.fprintf ppf "%a#%s" model_identifier
           (p :> Odoc_model.Paths.Identifier.t)
           (DefName.to_string def)
-    | `SourceLocationInt (p, def) ->
+    | `SourceLocationInternal (p, def) ->
         Format.fprintf ppf "%a#%s" model_identifier
           (p :> Odoc_model.Paths.Identifier.t)
           (LocalName.to_string def)