Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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

> 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 Archives:
Bug reports: FAQ:
Beginner's list: