Browse thread
[Caml-list] Parametric and recursive classes and exponential typing
-
Frederic Tronel
- Jacques Garrigue
- John Max Skaller
[
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: | 2002-06-06 (13:44) |
From: | Jacques Garrigue <garrigue@k...> |
Subject: | Re: [Caml-list] Parametric and recursive classes and exponential typing |
From: Frederic Tronel <Frederic.Tronel@inrialpes.fr> > I'm facing the following problem: > I'm trying to compile a program with a lot of recursive and > parametric classes. Compilation time is getting longer and longer, > and the behavior seems rather chaotic. I mean that very small changes in > the code > can lead to huge extra compilation time. Is there any solution, am I > guarantee > that compilation will end up (more than 23 minutes for a single file > that is > not yet compiled !! at the moment). Track down single coercions (_ :> t2) and replace them with full ones (_ : t1 :> t2) as much possible. This improves predictability and performance. > I'm using ocaml 3.04 plus a patch for parametric classes. What is your patch? Classes are already parametric, no? > Should I try the CVS ? Probably. As I explained some time ago, a few exponentials have been tamed recently to linear or quadratic. Note that now single coercion shouldn't bother you for performance anymore, but they may be slightly weaker than before in some cases. Jacques Garrigue ------------------- 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