discard string_of_uchar_list

gfngfn · Sep 8, 2024 · 6502811 · 6502811
1 parent 1fc3976
commit 6502811
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 8 deletions.
diff --git a/src-util/myUtil.ml b/src-util/myUtil.ml
@@ -1,9 +1,4 @@
 
-(* TODO: remove this *)
-let string_of_uchar_list =
-  UtfUtil.encode_utf8
-
-
 let rec range i j =
   if i > j then [] else
     i :: (range (i + 1) j)

diff --git a/src-util/myUtil.mli b/src-util/myUtil.mli
@@ -2,8 +2,6 @@
 type abs_path = AbsPath.t
 [@@deriving show]
 
-val string_of_uchar_list : Uchar.t list -> string
-
 val range : int -> int -> int list
 
 val list_fold_adjacent : ('a -> 'b -> 'b option -> 'b option -> 'a) -> 'a -> 'b list -> 'a

diff --git a/src/backend/horzBox.ml b/src/backend/horzBox.ml
@@ -569,7 +569,7 @@ let get_metrics_of_intermediate_horz_box_list (imhblst : intermediate_horz_box l
 let rec extract_string (hblst : horz_box list) : string =
   let extract_one hb =
     match hb with
-    | HorzPure(PHCInnerString{ chars = uchs; _ })  -> string_of_uchar_list uchs
+    | HorzPure(PHCInnerString{ chars = uchs; _ })  -> UtfUtil.encode_utf8 uchs
     | HorzPure(PHCInnerMathGlyph(_))               -> ""
     | HorzPure(PHGRising{ contents = hbs; _ })     -> extract_string hbs
     | HorzPure(PHGFixedFrame{ contents = hbs; _ }) -> extract_string hbs