avoid the use of Str.regexp as it breaks js_of_ocaml

1 files changed, 11 insertions, 2 deletions

diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml
index b4c5fa96..60e5359b 100644
--- a/src/lem_interp/printing_functions.ml
+++ b/src/lem_interp/printing_functions.ml
@@ -36,8 +36,17 @@ let collapse_leading s =
   if String.length s <= 8 then s else
   let first_bit = s.[0] in
   let templ = sprintf "%c...%c" first_bit first_bit in
-  let regexp = Str.regexp "^\\(000000*\\|111111*\\)" in
-  Str.replace_first regexp templ s
+
+  let rec find_first_diff str cha pos =
+    if pos >= String.length str then None
+    else if str.[pos] != cha then Some pos
+    else find_first_diff str cha (pos+1)
+  in
+
+  match find_first_diff s first_bit 0 with
+  | None -> templ
+  | Some pos when pos > 4 -> templ ^ (String.sub s pos ((String.length s)- pos))
+  | _ -> s
 ;;
 
 let bitvec_to_string l = "0b" ^ collapse_leading (String.concat "" (List.map (function