aboutsummaryrefslogtreecommitdiff
path: root/lib/idents.ml
diff options
context:
space:
mode:
authorChimrod <>2023-09-29 10:33:48 +0200
committerChimrod <>2023-09-29 10:34:40 +0200
commit7de7b756e6e3168a5bfb579470031d999a6e8585 (patch)
treea8d15f49d9bccdedc82325026b1940af3c0cc68d /lib/idents.ml
parent1f79e8f1f0f59748497665ccee544163c5136562 (diff)
Cleaned the code, removed the old Ephemeron trick
Diffstat (limited to 'lib/idents.ml')
-rw-r--r--lib/idents.ml6
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)