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 AAA05208; Thu, 10 Jan 2002 00:13:46 +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 AAA05085 for ; Thu, 10 Jan 2002 00:13:45 +0100 (MET) Received: from ux9.sp.cs.cmu.edu (UX9.SP.CS.CMU.EDU [128.2.220.166]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id g09NDiP15263 for ; Thu, 10 Jan 2002 00:13:44 +0100 (MET) Received: from 12-226-37-231.client.attbi.com by ux9.sp.cs.cmu.edu id aa27153; 9 Jan 2002 18:13 EST Received: from ecc by stratocaster with local (Exim 3.33 #1 (Debian)) id 16ORuQ-0003XY-00 for ; Wed, 09 Jan 2002 18:13:26 -0500 Date: Wed, 9 Jan 2002 18:13:26 -0500 To: OCAML Subject: Re: [Caml-list] -i option to compiler Message-ID: <20020109231326.GC13554@cmu.edu> Mail-Followup-To: OCAML References: <861ygzb4sx.fsf@speakeasy.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.3.25i From: "Eric C. Cooper" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Jan 09, 2002 at 10:30:55PM +0100, David Monniaux wrote: > I guess that the compiler should accept a -output-mli option or something > similar, to avoid the above kludge. Or just suppress the complaint in the case of an empty .mli file created within the past few seconds. -- Eric C. Cooper e c c @ c m u . e d u ------------------- 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