Add Ctype.duplicate_type support in OCaml 5.3

hackwaly · Nov 10, 2024 · cf275d4 · cf275d4
1 parent 4f950ec
commit cf275d4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/debugger/inspect/ctype.ml b/src/debugger/inspect/ctype.ml
@@ -0,0 +1,5 @@
+include Ocaml_common.Ctype
+
+[%%if ocaml_version < (5, 3, 0)]
+let duplicate_type = correct_levels
+[%%endif]
diff --git a/src/debugger/inspect/value_scope.ml b/src/debugger/inspect/value_scope.ml
@@ -49,7 +49,7 @@ class local_scope_value ~scene ~frame ~kind () =
                      match typenv |> Typenv.find_value (Path.Pident id) with
                      | exception Not_found -> None
                      | { val_type; val_kind; _ } ->
-                         let ty = Ctype.correct_levels val_type in
+                         let ty = Ctype.duplicate_type val_type in
                          Some (Ident.name id, val_kind, ty, pos))
               |> Array.of_seq,
               match (frame.index, event.ev_kind) with