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/functions.ml | |
parent | 5711287dc01133195297cd2309aaca0191c01473 (diff) |
Tailcall optimisation
Diffstat (limited to 'src/functions.ml')
-rwxr-xr-x | src/functions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/functions.ml b/src/functions.ml index dfedfd0..0258ce0 100755 --- a/src/functions.ml +++ b/src/functions.ml @@ -46,7 +46,7 @@ fun printer typ -> match typ with | Num -> Format.fprintf printer "Num"
| String -> Format.fprintf printer "String"
| List t -> Format.fprintf printer "List[%a]"
- repr t
+ (repr[@tailcall]) t
module C = Catalog.Make(struct
|