[Caml-list] Problem with ocamlc and recursive and parametrized classes

[Frederic Tronel <Frederic.Tronel@inrialpes.fr>]

Hi,

I'm using ocaml version 3.06 for a industrial project.
I'm facing a well-known problem I think, that is related to
the use of recursive and parametrized classes.
Actually, adding a single line of code in one of my class generates
a hang up in the compilation process. The incriminated code is much too 
long to be posted on the list, and I'm not able to reproduce the 
phenomenon on smallest examples. But basically ocamlc seems to run in an 
long loop consuming more and more memory. After two or three minutes and 
more than 150Mo consumed, I stop the process.
Should I try to insist (is there any warranty on the finiteness of the 
compilation ?), should I try to simplify my code (not really possible at 
this point of the project). Is there any undocumented option of the 
compiler that could help track the problem ?

Thanks for any clue to solve this "embarassing" problem.

Best regards,


Frederic.



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners