On Jun 25, 2007, at 5:58 PM, Jon Harrop wrote:

> On Monday 25 June 2007 16:50:03 Quôc Peyrot wrote:
>> But in the functor example, what is missing during the compilation to
>> be able to inline it?
>
> The thing that is missing is the code in the OCaml compiler than  
> inlines these
> function calls. :-)
>
> This was one of the demands on the "what optimizations would we  
> like" list
> that was discussed here recently.

I see, thanks,

of course I have to concur with this conclusion as well ;)

PS: I just tried to read the code for inlining in the compiler, to  
have some
idea how complicated it is, but of course, without much exposure I
couldn't make sense of what I was reading.
Is there any "Hacking" doc for the compiler somewhere?

-- 
Best Regards,
Quôc