From 2d52075c1d0f1b893d16f3e567fed5bc1e520be7 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sat, 28 Jul 2018 19:14:25 +0200 Subject: Tailcall optimisation --- src/cell.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/cell.ml') diff --git a/src/cell.ml b/src/cell.ml index e6f86d1..dc5dcdc 100755 --- a/src/cell.ml +++ b/src/cell.ml @@ -35,7 +35,7 @@ let to_hname x = begin let value' = value - 1 in let rem = value' mod 26 in let quot = (value' - rem) / 26 - in extract ((char_of_int (65 + rem))::acc) quot + in (extract[@tailcall]) ((char_of_int (65 + rem))::acc) quot ) else ( acc ) -- cgit v1.2.3