Extraction: propagate implicit args in inner fixpoint (bug #4243 part 2)

 In front of "let rec f x y = ... in f n m", if n is now an implicit argument,
 then the argument x of the inner fixpoint f is also considered as implicit.
 This optimization is rather ad-hoc, since we only handle MLapp(MLfix()) for
 now, and the implicit argument should be reused verbatim as argument.
 Note that it might happen that x cannot be implicit in f. But in this
 case we would have add an error message about n still occurring somewhere...
 At least this small heuristic was easy to add, and was sufficient to solve
 the part 2 of bug #4243.

0 files changed, 0 insertions, 0 deletions