From 7de7b756e6e3168a5bfb579470031d999a6e8585 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Fri, 29 Sep 2023 10:33:48 +0200 Subject: Cleaned the code, removed the old Ephemeron trick --- lib/idents.ml | 6 ------ 1 file changed, 6 deletions(-) (limited to 'lib/idents.ml') diff --git a/lib/idents.ml b/lib/idents.ml index dab0ba0..baf23dc 100644 --- a/lib/idents.ml +++ b/lib/idents.ml @@ -3,12 +3,6 @@ module T = Qsp_syntax.T let keyword_table = Hashtbl.create 53 -let char_of_uchar : Uchar.t -> char = - fun u -> match Uchar.is_char u with true -> Uchar.to_char u | _ -> '?' - -let of_uchars : Uchar.t array -> string = - fun arr -> Array.to_seq arr |> Seq.map char_of_uchar |> String.of_seq - let _ = List.iter (fun (kwd, tok) -> Hashtbl.add keyword_table kwd tok) -- cgit v1.2.3