Make empty disjunction fail instead of crash

hipsleek · Nov 21, 2023 · dd2bf83 · dd2bf83
1 parent 54b1c46
commit dd2bf83
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/parsing/search.ml b/parsing/search.ml
@@ -136,7 +136,8 @@ let any : name:string -> to_s:('a -> string) -> 'a list -> ('a -> 'b t) -> 'b t
   match vs with
   | [] ->
     (* Error (rule ~name "choice empty") *)
-    failwith (Format.asprintf "choice empty: %s" name)
+    (* failwith (Format.asprintf "choice empty: %s" name) *)
+    fail
   | _ :: _ ->
     let rec loop vs undone =
       match (vs, undone) with