From: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
To: Frederic.Tronel@inrialpes.fr
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Parametric and recursive classes and exponential typing
Date: Thu, 06 Jun 2002 22:44:03 +0900 [thread overview]
Message-ID: <20020606224403Y.garrigue@kurims.kyoto-u.ac.jp> (raw)
In-Reply-To: <3CFF5088.4D4D36F@inrialpes.fr>
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
next prev parent reply other threads:[~2002-06-06 13:44 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-06-06 12:07 Frederic Tronel
2002-06-06 13:44 ` Jacques Garrigue [this message]
2002-06-06 14:11 ` [Caml-list] Parametric and recursive classes and exponentialtyping Frederic Tronel
2002-06-06 14:22 ` [Caml-list] Parametric and recursive classes and exponential typing John Max Skaller
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20020606224403Y.garrigue@kurims.kyoto-u.ac.jp \
--to=garrigue@kurims.kyoto-u.ac.jp \
--cc=Frederic.Tronel@inrialpes.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).