index: to upstream: correct predef paths

voodoos · Nov 17, 2023 · a8d04f1 · a8d04f1
1 parent 23a9e08
commit a8d04f1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/ocaml/typing/cmt_format.ml b/src/ocaml/typing/cmt_format.ml
@@ -248,6 +248,9 @@ let iter_on_usages ~f () =
     | { Types.cstr_tag = Cstr_extension (path, _); _ } ->
         let namespace : Shape.Sig_component_kind.t = Extension_constructor in
         f ~namespace env path lid
+    | { Types.cstr_uid = Predef name; _} ->
+        let id = List.assoc name Predef.builtin_idents in
+        f ~namespace:Constructor env (Pident id) lid
     | { Types.cstr_res; cstr_name; _ } ->
         let path = path_in_type cstr_res cstr_name in
         Option.iter ~f:(fun path -> f ~namespace:Constructor env path lid) path