Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Problem with ocamlc and recursive and parametrized classes
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alessandro Baretta <alex@b...>
Subject: Re: [Caml-list] Problem with ocamlc and recursive and parametrized classes


Frederic Tronel wrote:
> 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 ?),

Yes and no. Yes if the compiler is correct, but occasionally 
a bug might slip in, and cause the compiler to loop endlessly.

> Sorry for the previous post. Is there any plan to improve the behaviour
> of the compiler in the future ? (if possible of course).

I don't want to sound flamish, but I really don't think this 
question is appropriate on this mailing list.

Best wishes for your O'Caml project.


Alex

-------------------
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