optimization of sequence of List.map and inlining

["Charles Hymans" <charles.hymans@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 492 bytes --]

Let's say, I have the following code:

  let f l = List.map succ l

  ....

  let l = f l in
  let l = List.map succ l in
    do_something_with l


Is there a way to tell the compiler to optimize it so that it runs as fast
as this code:
  let l = List.map (fun x -> succ (succ x)) l in
    l
In the first case, there are two passes where succ is applied to each
elements of the list.
In the second case, there is only one pass that applies succ twice to each
element of the list.

Thank you,

[-- Attachment #2: Type: text/html, Size: 778 bytes --]