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 XAA15516; Fri, 6 Jun 2003 23:06:26 +0200 (MET DST) 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 XAA15526 for ; Fri, 6 Jun 2003 23:06:25 +0200 (MET DST) Received: from null.cs.brown.edu (null.cs.brown.edu [128.148.38.190]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h56L6OT04873 for ; Fri, 6 Jun 2003 23:06:24 +0200 (MET DST) Received: from miette (miette [128.148.38.66]) by null.cs.brown.edu (Postfix) with ESMTP id 853723F79; Fri, 6 Jun 2003 17:06:23 -0400 (EDT) Received: from er by miette with local (Exim 3.36 #1 (Debian)) id 19OOPn-0001YF-00; Fri, 06 Jun 2003 17:06:23 -0400 Date: Fri, 6 Jun 2003 17:06:23 -0400 From: Manos Renieris To: Chris Hecker Cc: Brian Hurt , Stefan Heimann , Ocaml Mailing List Subject: Re: [Caml-list] Automatic generation of mli files Message-ID: <20030606210622.GA29247@cs.brown.edu> Reply-To: Manos Renieris Mail-Followup-To: Chris Hecker , Brian Hurt , Stefan Heimann , Ocaml Mailing List References: <4.3.2.7.2.20030606112653.039b1838@localhost> <4.3.2.7.2.20030606121624.016d8770@localhost> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4.3.2.7.2.20030606121624.016d8770@localhost> User-Agent: Mutt/1.4i X-Spam: no; 0.00; renieris:01 caml-list:01 mli:01 hecker:01 decoupling:01 dependencies:01 foo:01 ocamlc:01 aborts:01 chris:01 ocaml:01 caml:01 0700,:01 command:98 06,:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Jun 06, 2003 at 12:21:17PM -0700, Chris Hecker wrote: > > And, for having mlis around for decoupling for build dependencies (as > opposed to having them for interface design, where you care about what's > 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. Xavier Leroy has promised (http://caml.inria.fr/archives/200302/msg00078.html) a separate command line option to generate .mli's without compiling, but I don't see it yet. -- Manos ------------------- 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