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 TAA22279; Sun, 9 Feb 2003 19:45:47 +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 TAA22018 for ; Sun, 9 Feb 2003 19:45:46 +0100 (MET) Received: from postfix4-1.free.fr (postfix4-1.free.fr [213.228.0.62]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h19Ijjf00674 for ; Sun, 9 Feb 2003 19:45:45 +0100 (MET) Received: from imp1-1.pro.proxad.net (imp1-1.pro.proxad.net [212.27.35.86]) by postfix4-1.free.fr (Postfix) with ESMTP id D5F9215FE3; Sun, 9 Feb 2003 19:45:44 +0100 (CET) Received: by imp1-1.pro.proxad.net (Postfix, from userid 33) id 45E82780C5; Sun, 9 Feb 2003 19:45:44 +0100 (MET) To: Chris Hecker Subject: Re: [Caml-list] interface printing without generating object code? Message-ID: <1044816343.3e46a1d7edc91@imp.pro.proxad.net> Date: Sun, 09 Feb 2003 19:45:43 +0100 (MET) From: jeanmarc.eber@lexifi.com Cc: Emmanuel Renieris , caml-list@inria.fr References: <200302060307.h1637Ru21003@plinky.bolt-action.com> <200302060307.h1637Ru21003@plinky.bolt-action.com> <4.3.2.7.2.20030207180803.03087ef8@localhost> In-Reply-To: <4.3.2.7.2.20030207180803.03087ef8@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: IMP/PHP IMAP webmail program 2.2.42 X-Originating-IP: 193.252.198.157 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Quoting Chris Hecker : > > >What do you want that's not > > ocamlc -i -c foo.ml -o /dev/null > >? > > I tried that (well, the windows version with NUL) and it didn't work. > It > still generated both a cmi and a cmo. Doesn't yours generate a cmi at > least, even on unix? I want no output except stdout. > >>What do you want that's not >> ocamlc -i -c foo.ml -o /dev/null >>? >I tried that (well, the windows version with NUL) and it didn't work. It >still generated both a cmi and a cmo. Doesn't yours generate a cmi at >least, even on unix? I want no output except stdout. Indeed, something not too far away from what you want exists today in the compiler; look into /utils/clflags.ml: let dont_write_files = ref false (* set to true under ocamldoc *) This flag is used for avoiding the production of a cmi file (look at file typing/typemod.ml: if not !Clflags.dont_write_files then Env.save_signature sg modulename (prefixname ^ ".cmi"); when the module is used in conjunction with ocamldoc. My guess: It should be enough to -make this flag "accessible" by a compiler switch, and -to add a similar test in 2 or 3 places, for avoiding any file production by the compiler. I argue also in favor of such an enhancement. Jean-Marc Eber LexiFi ------------------- 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