From a8d04f16677d2627d1cc022e60109e166be922db Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= <thevoodoos@gmail.com>
Date: Fri, 17 Nov 2023 14:31:49 +0100
Subject: [PATCH] index: to upstream: correct predef paths

---
 src/ocaml/typing/cmt_format.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/ocaml/typing/cmt_format.ml b/src/ocaml/typing/cmt_format.ml
index 1daf02f139..c6b28a5724 100644
--- 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