diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2018-07-28 19:14:25 +0200 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2018-07-28 19:14:25 +0200 |
| commit | 2d52075c1d0f1b893d16f3e567fed5bc1e520be7 (patch) | |
| tree | 19762a94a2f7106f4b44959a1b740748f3c51111 /src/cell.ml | |
| parent | 5711287dc01133195297cd2309aaca0191c01473 (diff) | |
Tailcall optimisation
Diffstat (limited to 'src/cell.ml')
| -rwxr-xr-x | src/cell.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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
)
|