compat: provide stable utilities for pattern var access

voodoos · Feb 22, 2024 · be795d0 · be795d0
1 parent b77b724
commit be795d0
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/src/analysis/misc_utils.ml b/src/analysis/misc_utils.ml
@@ -57,3 +57,14 @@ let parenthesize_name name =
     else
       "(" ^ name ^ ")"
   )
+
+module Compat = struct
+  open Typedtree
+  let pat_var_id_and_loc = function
+    | { pat_desc = Tpat_var (id, loc); _ } -> Some (id, loc)
+    | _ -> None
+
+  let pat_alias_pat_id_and_loc = function
+    | { pat_desc = Tpat_alias (pat, id, loc); _ } -> Some (pat, id, loc)
+    | _ -> None
+end
diff --git a/src/analysis/misc_utils.mli b/src/analysis/misc_utils.mli
@@ -22,3 +22,12 @@ end
 
 (* Add parenthesis to qualified operators *)
 val parenthesize_name : string -> string
+
+module Compat : sig
+  val pat_var_id_and_loc :
+    Typedtree.pattern -> (Ident.t * string Location.loc) option
+
+  val pat_alias_pat_id_and_loc
+    : Typedtree.pattern
+    -> (Typedtree.pattern * Ident.t * string Location.loc) option
+end