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

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

Frederic Tronel wrote:
 > 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.
 >


I reply to myself, since it seems I was too prompt to post on the list. 
In fact after an ultimate try and few hundred megabytes of memory later,
ocamlc.opt was able to produce the code.
Sorry for the previous post. Is there any plan to improve the behaviour
of the compiler in the future ? (if possible of course).


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