aboutsummaryrefslogtreecommitdiff
path: root/lib/idents.ml
diff options
context:
space:
mode:
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)