3 exception InvalidUtf8Codepoint of int
5 let subscripts = "₀₁₂₃₄₅₆₇₈₉"
6 let superscripts = "⁰¹²³⁴⁵⁶⁷⁸⁹"
9 let code = Char.code c in
10 if code <= 0x7f then 1
11 else if 0xc2 <= code && code <= 0xdf then 2
12 else if 0xe0 <= code && code <= 0xef then 3
13 else if 0xf0 <= code && code <= 0xf4 then 4
14 else raise (InvalidUtf8Codepoint code)
17 let next_char s i len =
18 let n = i + char_length s.[i] in
19 if n >= len then -1 else n
22 let len = String.length s in
25 else loop (next_char s i len) (acc+1)
32 let len = String.length s in
33 let rec loop j count =
34 if count == i then String.sub s j (char_length s.[j])
35 else loop (next_char s j len) (count+1)
40 let format_number digits i =
41 let s = string_of_int i in
42 let len = String.length s in
43 let buf = Buffer.create (len*4) in
44 for i = 0 to len - 1 do
45 let d = Char.code s.[i] - Char.code '0' in
46 Buffer.add_string buf (get_char digits d)
51 let len = str_len s in
55 loop (i+1) ((get_char s i) :: acc)
60 let explode s = List.rev (rev_explode s)
62 let combine_all comp s =
63 let l = rev_explode s in
64 String.concat "" (List.fold_left (fun acc e -> comp::e::acc) [] l)
67 let subscript = format_number subscripts
68 let superscript = format_number superscripts
82 let double_right_arrow = "⇒"
83 let combining_overbar = "\204\133"
84 let combining_underbar = "\204\178"
85 let combining_stroke = "\204\182"
86 let combining_vertical_line = "\226\131\146"
89 let overline s = combine_all combining_overbar s
90 let underline s = combine_all combining_underbar s
91 let strike s = combine_all combining_stroke s
94 let mk_str i = String.make i c in
95 let _table = Array.init 16 mk_str in
97 if i < 16 then _table.(i) else mk_str i
98 with e -> print_int i; print_newline(); raise e
99 let padding = mk_repeater ' '
100 let line = mk_repeater '_'
106 pp_print_string fmt (f s)
108 let pp_overline = ppf overline
109 let pp_underline = ppf underline
110 let pp_strike = ppf strike
111 let pp_subscript = ppf subscript
112 let pp_superscript = ppf superscript
113 let dummy_printer fmt () = ()
115 let pp_print_list ?(sep=dummy_printer) printer fmt l =
118 | [ e ] -> printer fmt e
119 | e :: es -> printer fmt e; List.iter
122 fprintf fmt "%a" printer x) es
124 let pp_print_array ?(sep=dummy_printer) printer fmt a =
125 pp_print_list ~sep:sep printer fmt (Array.to_list a)
127 let print_list ?(sep=" ") printer fmt l =
128 let sep_printer fmt () =
129 pp_print_string fmt sep
131 pp_print_list ~sep:sep_printer printer fmt l
133 let print_array ?(sep=" ") printer fmt a =
134 print_list ~sep:sep printer fmt (Array.to_list a)