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 QAA32481; Wed, 8 May 2002 16:15:27 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA32461 for ; Wed, 8 May 2002 16:15:26 +0200 (MET DST) Received: from comtv.ru (comtv.ru [217.10.32.4]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g48EFL907338 for ; Wed, 8 May 2002 16:15:25 +0200 (MET DST) Received: from [10.0.66.9] ([10.0.66.9] verified) by comtv.ru (CommuniGate Pro SMTP 3.5.9) with ESMTP id 3043806; Wed, 08 May 2002 18:14:54 +0400 Date: Wed, 8 May 2002 18:16:59 -0400 (EDT) From: malc X-Sender: malc@home.oyster.ru To: Michal Moskal cc: caml-list@inria.fr Subject: Re: [Caml-list] cmx files installed In-Reply-To: <20020508133145.GA10632@ep09.kernel.pl> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, 8 May 2002, Michal Moskal wrote: > Is there any reason, that `make install' copies .cmx files, that are > present in .cmxa archives anyway? .cmx'es contain small functions to be inlined, plus some internal information that makes direct calls from module to module, otherwise auxiliary(and uneeded) closures will be created resulting in indirect calls - read SLOW. > > .ml files are copied for easier debugging and .mli for documentation, am > I right? > > -- mailto:malc@pulsesoft.com ------------------- 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