GPR#213: Simplif.emit_tail_infos: recurse on function body in an appl…

…ication (Frédéric Bour) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ocaml · Jul 25, 2015 · 454538a · 454538a
1 parent d939804
commit 454538a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bytecomp/simplif.ml b/bytecomp/simplif.ml
@@ -530,6 +530,7 @@ let rec emit_tail_infos is_tail lambda =
       && not is_tail
       && Warnings.is_active Warnings.Expect_tailcall
         then Location.prerr_warning loc Warnings.Expect_tailcall;
+      emit_tail_infos false func;
       list_emit_tail_infos false l;
       if !Clflags.annotations then
         Stypes.record (Stypes.An_call (loc, call_kind l));