Add glob pattern support for reanalyze suppress/unsuppress

Support `*` and `**` glob patterns in `reanalyze.suppress` and
`reanalyze.unsuppress` config entries (e.g. `**/bindings`, `src/Dead*`).
Plain prefix strings continue to work as before.

Closes #8259

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: cristianoc

CHANGELOG.md

@@ -18,6 +18,8 @@
 
 #### :rocket: New Feature
 
+- Reanalyze: add glob pattern support for suppress/unsuppress configurations (e.g., `"src/generated/**"`). https://github.com/rescript-lang/rescript/pull/8277
+
 #### :bug: Bug fix
 
 - Reanalyze server: invalidate cache and recompute results when config changes in `rescript.json`. https://github.com/rescript-lang/rescript/pull/8262

analysis/reanalyze/src/Suppress.ml

@@ -1,27 +1,85 @@
 let runConfig = RunConfig.runConfig
 
-let checkPrefix prefix_ =
-  let prefix =
+let normalize_separators s =
+  if Sys.win32 then String.map (fun c -> if c = '\\' then '/' else c) s else s
+
+let split_on_slash s =
+  let rec aux acc start i =
+    if i >= String.length s then
+      let last = String.sub s start (i - start) in
+      if last = "" then acc else last :: acc
+    else if s.[i] = '/' then
+      let seg = String.sub s start (i - start) in
+      let acc = if seg = "" then acc else seg :: acc in
+      aux acc (i + 1) (i + 1)
+    else aux acc start (i + 1)
+  in
+  List.rev (aux [] 0 0)
+
+let has_glob_char s = String.contains s '*'
+
+(** Match glob pattern segments against path segments.
+    A single star matches one path segment, a double star matches zero or more.
+    Matches as a prefix: if the pattern is exhausted, the remaining path is accepted. *)
+let rec glob_match pattern_segs path_segs =
+  match (pattern_segs, path_segs) with
+  | [], _ -> true
+  | "**" :: rest, _ -> (
+    glob_match rest path_segs
+    ||
+    match path_segs with
+    | _ :: path_rest -> glob_match pattern_segs path_rest
+    | [] -> false)
+  | _ :: _, [] -> false
+  | pat :: pat_rest, seg :: path_rest ->
+    glob_segment pat seg && glob_match pat_rest path_rest
+
+and glob_segment pattern segment =
+  let rec aux pi si =
+    if pi >= String.length pattern then si >= String.length segment
+    else if pattern.[pi] = '*' then
+      let rec try_skip si' =
+        si' <= String.length segment && (aux (pi + 1) si' || try_skip (si' + 1))
+      in
+      try_skip si
+    else
+      si < String.length segment
+      && pattern.[pi] = segment.[si]
+      && aux (pi + 1) (si + 1)
+  in
+  aux 0 0
+
+let checkPattern pattern_ =
+  let is_glob = has_glob_char pattern_ in
+  let pattern =
     match runConfig.projectRoot = "" with
-    | true -> prefix_
-    | false -> Filename.concat runConfig.projectRoot prefix_
+    | true -> pattern_
+    | false -> Filename.concat runConfig.projectRoot pattern_
   in
-  let prefixLen = prefix |> String.length in
-  fun sourceDir ->
-    try String.sub sourceDir 0 prefixLen = prefix
-    with Invalid_argument _ -> false
+  let pattern = normalize_separators pattern in
+  if is_glob then
+    let pattern_segs = split_on_slash pattern in
+    fun sourceDir ->
+      let path_segs = split_on_slash (normalize_separators sourceDir) in
+      glob_match pattern_segs path_segs
+  else
+    let prefixLen = pattern |> String.length in
+    fun sourceDir ->
+      let sourceDir = normalize_separators sourceDir in
+      try String.sub sourceDir 0 prefixLen = pattern
+      with Invalid_argument _ -> false
 
 let suppressSourceDir =
   lazy
     (fun sourceDir ->
       runConfig.suppress
-      |> List.exists (fun prefix -> checkPrefix prefix sourceDir))
+      |> List.exists (fun pattern -> checkPattern pattern sourceDir))
 
 let unsuppressSourceDir =
   lazy
     (fun sourceDir ->
       runConfig.unsuppress
-      |> List.exists (fun prefix -> checkPrefix prefix sourceDir))
+      |> List.exists (fun pattern -> checkPattern pattern sourceDir))
 
 let posInSuppress (pos : Lexing.position) =
   pos.pos_fname |> Lazy.force suppressSourceDir