Add support for OCaml 5.2

ocaml-ppx · Mar 29, 2024 · bc4f744 · bc4f744
1 parent bdcee74
commit bc4f744
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/src/compat/gen.ml b/src/compat/gen.ml
@@ -14,7 +14,7 @@ let make_version ~version f_prefix =
 let include_table =
   [ ("types_module_type", [(4, 10); (4, 8)])
   ; ("types_signature_item", [(4, 8)])
-  ; ("types_type_kind", [(4, 13)])
+  ; ("types_type_kind", [(5, 2); (4, 13)])
   ; ("init_path", [(4, 9)])
   ; ("env_lookup", [(4, 10)])
   ; ("types_desc", [(4, 14)]) ]

diff --git a/src/compat/types_type_kind_ge_502.ml b/src/compat/types_type_kind_ge_502.ml
@@ -0,0 +1,12 @@
+type ('lbl, 'cstr) type_kind_412 =
+  | Type_abstract
+  | Type_record of 'lbl list * Types.record_representation
+  | Type_variant of 'cstr list
+  | Type_open
+
+let migrate_type_kind :
+    ('lbl, 'cstr) Types.type_kind -> ('lbl, 'cstr) type_kind_412 = function
+  | Type_abstract _ -> Type_abstract
+  | Type_record (lbl, repr) -> Type_record (lbl, repr)
+  | Type_variant (cstr, _) -> Type_variant cstr
+  | Type_open -> Type_open