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 AAA16458; Sat, 7 Jun 2003 00:06:41 +0200 (MET DST) 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 AAA17053 for ; Sat, 7 Jun 2003 00:06:39 +0200 (MET DST) Received: from arda.pair.com (arda.pair.com [209.68.1.133]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id h56M6cH13746 for ; Sat, 7 Jun 2003 00:06:38 +0200 (MET DST) Received: (qmail 94947 invoked by uid 3022); 6 Jun 2003 22:06:37 -0000 Received: from localhost (sendmail-bs@127.0.0.1) by localhost with SMTP; 6 Jun 2003 22:06:37 -0000 Date: Fri, 6 Jun 2003 18:06:37 -0400 (EDT) From: Chris Hecker X-X-Sender: checker@arda.pair.com To: Manos Renieris cc: Chris Hecker , Brian Hurt , Stefan Heimann , Ocaml Mailing List Subject: Re: [Caml-list] Automatic generation of mli files In-Reply-To: <20030606210622.GA29247@cs.brown.edu> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam: no; 0.00; hecker:01 checker:01 caml-list:01 mli:01 foo:01 ocamlc:01 aborts:01 decoupling:01 compiles:01 chris:01 ocaml:01 makefile:02 unix:02 exported:03 compilation:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > exported), ocaml -i > foo.mli works just fine. > At least under unix, it does not. > The shell creates foo.mli before the compilation starts; ocamlc sees > that and believes a .cmi should exist; but it doesn't; so compilation > aborts. Yeah, I didn't mean it worked in a single build instance (Xavier's replying to my feature request in your link, and yes, hopefully that'll make it into the next release :), I just meant it works for generating an mli file if you just want the text file. In other words, if I want an mli from an ml, ocamlc -i will generate one that I can then use for later. The output fix will make it workable in a makefile, which will be even better! Now if it only mattered for decoupling compiles! :) Chris ------------------- 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