On Fri, 9 Mar 2007, Alain Frisch wrote:

> malc wrote:
>>> - for the compilation of other units which refer to this unit:
>>> cross-module optimization information (linker symbols for direct
>>> function calls, inlining).
>>
>> That's not all, there's also information embedded to make direct calling
>> possible: http://groups.google.com/group/fa.caml/msg/52264cef8f6da97f
>
> I guess that's exactly what I meant by "linker symbols for direct
> function calls".

Indeed, this portion of the message elluded me, sorry for the noise.

-- 
vale