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 AAA05867; Thu, 10 Jan 2002 00:24:31 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 AAA05150 for ; Thu, 10 Jan 2002 00:24:30 +0100 (MET) Received: from mail5.speakeasy.net (mail5.speakeasy.net [216.254.0.205]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g09NOSj08375 for ; Thu, 10 Jan 2002 00:24:29 +0100 (MET) Received: (qmail 1461 invoked from network); 9 Jan 2002 23:24:27 -0000 Received: from unknown (HELO kronstadt) ([64.81.49.223]) (envelope-sender ) by mail5.speakeasy.net (qmail-ldap-1.03) with SMTP for ; 9 Jan 2002 23:24:27 -0000 Received: from itz by kronstadt with local (Exim 3.33 #1 (Debian)) id 16OS55-0005BR-00 for ; Wed, 09 Jan 2002 15:24:27 -0800 To: caml-list@inria.fr (OCAML) Subject: Re: [Caml-list] -i option to compiler References: <861ygzb4sx.fsf@speakeasy.org> <20020109231326.GC13554@cmu.edu> From: Ian Zimmerman Date: 09 Jan 2002 15:24:27 -0800 In-Reply-To: <20020109231326.GC13554@cmu.edu> Message-ID: <86k7ur85w4.fsf@speakeasy.org> User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk David> I guess that the compiler should accept a -output-mli option or David> something similar, to avoid the above kludge. Eric> Or just suppress the complaint in the case of an empty .mli file Eric> created within the past few seconds. Even having been shown a fool, I have to disagree with both. :-) The real root of the inconvenience is that the compiler treats -i runs as normal compilations with just a silly side task to take care of. Instead, it should just switch to a mode where generating the interface is the _only_ thing it does, and overwrite an existing .mli file if necessary (let user beware). -- Ian Zimmerman, Oakland, California, U.S.A. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087 In his own soul a man bears the source from which he draws all his sorrows and his joys. Sophocles. ------------------- 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