Version française
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
[Caml-list] Functors
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-05-03 (22:51)
From: Alain.Frisch@e...
Subject: RE: [Caml-list] Functors
On Mon, 3 May 2004, Jacques Carette wrote:

> > Do you have an explanation for this fact ?  Given that ocamlopt can inline
> > function and propagate constants across compilation unit boundaries, what
> > kind of extra optimizations do you get with a single compilation unit ?
> It appears to be inlining of functions across compilation unit boundaries
> that makes the difference.

Well, precisely, ocamlopt can inline accross compilation unit boundaries,
so what's the benefit of having a single compilation unit ?

> Note that this is second-hand, if people really want to know details, it
> would take me a couple of days to get them from the right people.

FWIW, I just tried to put all the .ml/.mli of a medium-sized project (18
kloc) into a single file. Observations:

- ocamlopt crashes because of a stack overflow; ocamlopt.opt works fine.
- compilation is about 3 times slower.
- there is no noticeable difference on the runtime performance.

-- Alain

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: