Version franaise
Home About Download Resources Contact us

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Function inlining and functor
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-06-25 (17:04)
From: Quc_Peyrot <chojin@l...>
Subject: Re: [Caml-list] Function inlining and functor

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

> On Monday 25 June 2007 16:50:03 Quc 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,