diff options
Diffstat (limited to 'src/tools.ml')
-rwxr-xr-x | src/tools.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools.ml b/src/tools.ml index cfd17cd..c9d78a7 100755 --- a/src/tools.ml +++ b/src/tools.ml @@ -61,7 +61,7 @@ module String = struct let rem = value lsr 8 in match rem with | 0 -> Buffer.contents buff - | x -> convert x + | x -> (convert[@tailcall]) x end in let res = convert v in let buff' = Buffer.create @@ String.length res in @@ -103,7 +103,7 @@ module List = struct | hd::tl -> f buffer hd; UTF8.Buffer.add_string buffer sep; - print tl + (print[@tailcall]) tl end in UTF8.Buffer.add_string buffer first; @@ -123,7 +123,7 @@ module List = struct | [] -> raise Not_found | x::l -> begin try find_map p x with - Not_found -> find_map2 p l + Not_found -> (find_map2[@tailcall]) p l end end |