compat

Signed-off-by: Paul-Elliot <[email protected]>

Author: panglesd

src/loader/compat.cppo.ml

@@ -4,13 +4,27 @@ let get_type_desc = Types.get_desc
 let get_type_desc t = t.Types.desc
 #endif
 
+type 'a pattern =
+#if OCAML_VERSION >= (4,11,0)
+  'a Typedtree.general_pattern
+#else
+  Typedtree.pattern
+#endif
+
+type 'a pattern_desc =
+#if OCAML_VERSION >= (4,11,0)
+  'a Typedtree.pattern_desc
+#else
+  Typedtree.pattern_desc
+#endif
+
 (** Extract longident and constructor description from a pattern construct,
     when it is one. *)
-let get_pattern_construct_info (type a) : a Typedtree.pattern_desc -> _ = function
+let get_pattern_construct_info (type a) : a pattern_desc -> _ = function
 #if OCAML_VERSION >= (4,13,0)
-        Typedtree.Tpat_construct (l, { cstr_res; _ }, _, _)
+  | Typedtree.Tpat_construct (l, { cstr_res; _ }, _, _)
 #else
-        Tpat_construct (l, { cstr_res; _ }, _)
+  | Tpat_construct (l, { cstr_res; _ }, _)
 #endif
     -> Some (l, cstr_res)
   | _ -> None

src/loader/occurrences.ml

@@ -56,7 +56,7 @@ module Global_analysis = struct
         | _ -> ())
     | _ -> ()
 
-  let pat poses (type a) : a Typedtree.general_pattern -> unit = function
+  let pat poses : _ Compat.pattern -> unit = function
     | { Typedtree.pat_desc; pat_loc; _ } -> (
         match Compat.get_pattern_construct_info pat_desc with
         | Some (l, cstr_res) -> (