From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA08166 for caml-red; Thu, 27 Jul 2000 23:27:33 +0200 (MET DST)
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 TAA04946 for <caml-list@pauillac.inria.fr>; Thu, 27 Jul 2000 19:46:06 +0200 (MET DST)
Received: from fiji01.liquidmarket.com (oahu02.liquidmarket.com [208.244.147.130])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e6RHk3519819;
	Thu, 27 Jul 2000 19:46:03 +0200 (MET DST)
Received: from maui00.liquidmarket.com (maui00.liquidmarket.com [192.168.1.63])
	by fiji01.liquidmarket.com (8.9.3/8.9.3) with ESMTP id KAA06899;
	Thu, 27 Jul 2000 10:46:01 -0700
Message-Id: <200007271746.KAA06899@fiji01.liquidmarket.com>
X-Mailer: exmh version 2.0.3
From: Francois Rouaix <frouaix@liquidmarket.com>
To: Damien Doligez <Damien.Doligez@inria.fr>
cc: caml-list@inria.fr
Subject: Re: automatic construction of mli files 
In-reply-to: Your message of "Wed, 26 Jul 2000 14:58:27 +0200."
             <200007261258.OAA10269@tobago.inria.fr> 
Reply-To: frouaix@liquidmarket.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Thu, 27 Jul 2000 10:46:01 -0700
Sender: weis@pauillac.inria.fr

> 2.  Due to rather complex implementation issues, if you don't use .mli
>     files and let the compiler generate the .cmi from the .ml, then
>     garbage collection will be slightly slower.  If you do it for all
>     your files, you might lose as much as 8% on the speed of your
>     program.
> -- Damien

This has to be one of the most cryptic comment ever made to this list.
And a "rather complex issue" coming from Damien, the mind boggles, especially 
on this mysterious 8% figure.

Care to give some details ?

--f