aboutsummaryrefslogtreecommitdiff
path: root/src/tools.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/tools.ml')
-rwxr-xr-xsrc/tools.ml6
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