English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Parametric and recursive classes and exponential typing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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

> 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