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 SAA09222 for caml-redistribution; Wed, 31 Mar 1999 18:07:42 +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 RAA30503 for <caml-list@pauillac.inria.fr>; Wed, 31 Mar 1999 17:59:27 +0200 (MET DST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id RAA14061;
	Wed, 31 Mar 1999 17:59:13 +0200 (MET DST)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA27805; Wed, 31 Mar 1999 17:59:12 +0200 (MET DST)
Message-ID: <19990331175912.00500@pauillac.inria.fr>
Date: Wed, 31 Mar 1999 17:59:12 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: John Prevost <prevost@maya.com>, caml-list@inria.fr
Subject: Re: Strange hugeness of .o, .cmo, and .cmi files
References: <ya2soami3jt.fsf@zarya.maya.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.89.1
In-Reply-To: <ya2soami3jt.fsf@zarya.maya.com>; from John Prevost on Wed, Mar 31, 1999 at 01:19:50AM -0500
Sender: weis

> [Surprisingly large .cmo / .o files]

It's hard to say what's happening without seeing the source or the
generated assembly code.  If that kind of things doesn't scare you,
just compile with ocamlopt -S and look at the resulting .s file.
However, I'll venture a guess:

> Obviously, there are a lot of fields in the record type, and I
> assume that this is where the blowup is happening, but I'm not at
> all sure where.

OCaml 2.01 had a known code size problem with the
{ record with lbl = newval } construct, when "record" belongs to a
type with many labels.  This was fixed in OCaml 2.02, however.

Regards,

- Xavier Leroy