2 exception Macro_not_found of string
3 exception Utf8_not_found of string
5 let dump_file = "macro_table.dump"
8 let ic = open_in dump_file in
9 let (macro2utf8, utf82macro):
10 ((string, string) Hashtbl.t * (string, string) Hashtbl.t)
12 Marshal.from_channel ic
15 (macro2utf8, utf82macro)
17 let (macro2utf8, utf82macro) = init ()
21 Hashtbl.find macro2utf8 macro
22 with Not_found -> raise (Macro_not_found macro)
26 Hashtbl.find utf82macro utf8
27 with Not_found -> raise (Utf8_not_found utf8)