Browse thread
[Caml-list] Problem with ocamlc and recursive and parametrized classes
-
Frederic Tronel
-
Frederic Tronel
- Alessandro Baretta
- Jacques Garrigue
-
Frederic Tronel
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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