diff options
Diffstat (limited to 'bytecomp/simplif.mli')
| -rw-r--r-- | bytecomp/simplif.mli | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/bytecomp/simplif.mli b/bytecomp/simplif.mli index 5e5217ff18..2d9b352bb6 100644 --- a/bytecomp/simplif.mli +++ b/bytecomp/simplif.mli @@ -12,8 +12,15 @@ (* $Id$ *) -(* Elimination of useless Llet(Alias) bindings *) +(* Elimination of useless Llet(Alias) bindings. + Transformation of let-bound references into variables. + Simplification over staticraise/staticcatch constructs. + Generation of tail-call annotations if -annot is set. *) open Lambda val simplify_lambda: lambda -> lambda + +(* To be filled by asmcomp/selectgen.ml *) +val is_tail_native_heuristic: (int -> bool) ref + (* # arguments -> can tailcall *) |