UCol.search not terminating

[rossberg]

UCol.search seems to have a showstopper bug where it goes into an infinite loop in some cases. The following program prints 1 and 2, but never reaches 3 nor 4:

module UCol = Camomile.UCol.Make (Camomile.UTF8)

let _ =
  try
    Printf.printf "1\n%!";
    ignore (UCol.search "ar" "bare" 0);
    Printf.printf "2\n%!";
    ignore (UCol.search "ar" "bar" 0);
    Printf.printf "3\n%!"
  with _ -> Printf.printf "4\n%!"

Tested with OCaml 5.3.0 on Windows 10.

[rossberg]

In other cases, it fails where it shouldn't?

module UCol = Camomile.UCol.Make (Camomile.UTF8)

let _ =
  try
    Printf.printf "1\n%!";
    ignore (UCol.search "y" "xyz" 0);
    Printf.printf "2\n%!";
  with Not_found -> Printf.printf "3\n%!"

prints 1 3.