From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 1805D7F249 for ; Tue, 30 Oct 2012 11:23:45 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of av1474@comtv.ru) identity=pra; client-ip=77.232.31.164; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="av1474@comtv.ru"; x-sender="av1474@comtv.ru"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of av1474@comtv.ru) identity=mailfrom; client-ip=77.232.31.164; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="av1474@comtv.ru"; x-sender="av1474@comtv.ru"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@akado.ru) identity=helo; client-ip=77.232.31.164; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="av1474@comtv.ru"; x-sender="postmaster@akado.ru"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgAAIipj1BN6B+kmWdsb2JhbABEw1gBAQEBAQgLCwcUJ4IeAQEEATo/BQsLGCcHRhEGE4gACqw0kCqLdYZdA4hThTWNVY1N X-IronPort-AV: E=Sophos;i="4.80,679,1344204000"; d="scan'208";a="179506202" Received: from fe01x03-cgp.akado.ru (HELO akado.ru) ([77.232.31.164]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Oct 2012 11:23:44 +0100 Received: from [10.0.66.9] ([10.0.66.9] verified) by fe01-cgp.akado.ru (CommuniGate Pro SMTP 5.2.13) with ESMTPS id 360604462; Tue, 30 Oct 2012 14:23:43 +0400 Date: Tue, 30 Oct 2012 14:23:41 +0400 (MSK) From: malc X-X-Sender: malc@linmac To: Francois Berenger cc: caml-list In-Reply-To: <508F3A74.4040106@riken.jp> Message-ID: References: <508F22BD.7010103@riken.jp> <508F3A74.4040106@riken.jp> User-Agent: Alpine 2.00 (LNX 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Subject: Re: [Caml-list] Why should I use .mli files? On Tue, 30 Oct 2012, Francois Berenger wrote: > On 10/30/2012 10:15 AM, malc wrote: > > On Tue, 30 Oct 2012, Francois Berenger wrote: > > > > > Hello, > > > [..snip..] > > Say you have a 1MLOC .ml(a) that uses something from 100LOC one(b), if you > > do not use .mli then every time (b) is touched not only (a) but also (b) > > must be recompiled, in .mli case however (a) will be rebuilt only when > > the public interface changes. So .mli is a good way to keep separate > > compilation useful. However this (in general) only applies to the bytecode > > compiler (ocamlopt uses .cmx files for inlining, > > What about the .cmi files? I don't understand the question. > > > making it necessary > > to play build system games if one cares more about compile rather than > > run time). > > I care about both compilation time and run-time, as I am an impatient > and demanding user. > Then use .mli files. -- mailto:av1474@comtv.ru