From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA02945; Thu, 6 Jun 2002 15:44:22 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA02942 for ; Thu, 6 Jun 2002 15:44:21 +0200 (MET DST) Received: from favie.faith.gr.jp (favie.faith.gr.jp [61.127.175.250]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g56DiJ120998 for ; Thu, 6 Jun 2002 15:44:20 +0200 (MET DST) Received: from localhost (dhcp7.faith.gr.jp [192.168.1.17]) by favie.faith.gr.jp (8.9.3/8.9.3) with ESMTP id WAA27547; Thu, 6 Jun 2002 22:44:10 +0900 To: Frederic.Tronel@inrialpes.fr Cc: caml-list@inria.fr Subject: Re: [Caml-list] Parametric and recursive classes and exponential typing In-Reply-To: <3CFF5088.4D4D36F@inrialpes.fr> References: <3CFF5088.4D4D36F@inrialpes.fr> X-Mailer: Mew version 1.94.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020606224403Y.garrigue@kurims.kyoto-u.ac.jp> Date: Thu, 06 Jun 2002 22:44:03 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 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