diff options
author | Chimrod <> | 2023-09-29 10:33:48 +0200 |
---|---|---|
committer | Chimrod <> | 2023-09-29 10:34:40 +0200 |
commit | 7de7b756e6e3168a5bfb579470031d999a6e8585 (patch) | |
tree | a8d15f49d9bccdedc82325026b1940af3c0cc68d /lib/idents.ml | |
parent | 1f79e8f1f0f59748497665ccee544163c5136562 (diff) |
Cleaned the code, removed the old Ephemeron trick
Diffstat (limited to 'lib/idents.ml')
-rw-r--r-- | lib/idents.ml | 6 |
1 files changed, 0 insertions, 6 deletions
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) |