Add Type_abstract support in OCaml 5.2

hackwaly · Feb 21, 2024 · 0475ff1 · 0475ff1
1 parent 63f0a3f
commit 0475ff1
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/src/debugger/inspect/value_basic.ml b/src/debugger/inspect/value_basic.ml
@@ -81,7 +81,16 @@ let adopt scene typenv obj ty =
          type_manifest = Some body;
          type_params;
          _;
-        } -> (
+        } [@if ocaml_version < (5, 2, 0)] -> (
+            match Typenv.type_apply typenv type_params body ty_args with
+            | ty -> resolve_type ty
+            | exception Ctype.Cannot_apply -> ty)
+        | {
+         type_kind = Type_abstract _;
+         type_manifest = Some body;
+         type_params;
+         _;
+        } [@if ocaml_version >= (5, 2, 0)] -> (
             match Typenv.type_apply typenv type_params body ty_args with
             | ty -> resolve_type ty
             | exception Ctype.Cannot_apply -> ty)