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 GAA04386; Sat, 12 Jan 2002 06:57:48 +0100 (MET) 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 GAA06143 for ; Sat, 12 Jan 2002 06:57:47 +0100 (MET) Received: from mail3.uts.ohio-state.edu (mail3.uts.ohio-state.edu [128.146.214.32]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g0C5vjT07449; Sat, 12 Jan 2002 06:57:46 +0100 (MET) Received: from functor.resnet.ohio-state.edu (rpat-100-139.resnet.ohio-state.edu [164.107.100.139]) by mail3.uts.ohio-state.edu (8.9.3/8.9.3) with ESMTP id AAA13717; Sat, 12 Jan 2002 00:57:19 -0500 (EST) Received: by functor.resnet.ohio-state.edu (Postfix, from userid 1001) id 89EF5112ED; Sat, 12 Jan 2002 00:31:50 -0500 (EST) Date: Sat, 12 Jan 2002 00:31:50 -0500 From: Jeremy Fincher To: Luc Maranget Cc: malc , caml-list@inria.fr Subject: Re: [Caml-list] Is it really a non issue? Message-ID: <20020112003150.A14334@functor.resnet.ohio-state.edu> References: <200201111951.UAA0000013614@beaune.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <200201111951.UAA0000013614@beaune.inria.fr>; from luc.maranget@inria.fr on Fri, Jan 11, 2002 at 08:51:12PM +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > file a.mli: > > val a : int \ > > val a : int | > > ........... | n times > > val a : int | > > val a : int / > > At least, we should get those nasty 12 bytes back ! Wouldn't the most appropriate way to get those 12 bytes back be to remove the redundant data from the .mli file? Jeremy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr