On 4/28/07, Francois Pottier <Francois.Pottier@inria.fr> wrote:
> Yup, I am somewhat disappointed that ocamlopt does not seem to have linear
> time complexity, but I shouldn't complain too loud, my boss may be listening
> :)

This is unfortunate indeed.  I have also run into problems with the
compilers exhibiting quadratic behavior on very large sources.  It
seems that this mostly stems from the use of data structures in the
compiler that scale badly on certain operations (e.g. searching
through lists rather than in balanced trees).

I think it wouldn't be difficult to update the compiler to use more
efficient data structures, but it would certainly be a hell lot of
work...

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com