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 SAA07583; Fri, 6 Jun 2003 18:18:53 +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 SAA07778 for ; Fri, 6 Jun 2003 18:18:51 +0200 (MET DST) Received: from mail.exomi.com (mail.exomi.com [217.169.64.72]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h56GIoT21985 for ; Fri, 6 Jun 2003 18:18:51 +0200 (MET DST) Received: from exomi.com (unknown [10.0.5.5]) by mail.exomi.com (Postfix) with ESMTP id AD8D25D03; Fri, 6 Jun 2003 19:18:49 +0300 (EEST) Date: Fri, 6 Jun 2003 19:17:14 +0300 Subject: Re: [Caml-list] Automatic generation of mli files Content-Type: text/plain; charset=US-ASCII; format=flowed Mime-Version: 1.0 (Apple Message framework v552) Cc: caml-list@inria.fr To: Stefan Heimann From: Ville-Pertti Keinonen In-Reply-To: <20030606155932.GA12058@kunz.ratzer> Message-Id: <55FE3CF4-983A-11D7-9B2B-000393863F70@exomi.com> Content-Transfer-Encoding: 7bit X-Mailer: Apple Mail (2.552) X-Spam: no; 0.00; caml-list:01 mli:01 compiler:01 syntax:02 abstract:03 probably:05 maybe:06 definitions:07 minor:07 top-level:07 everytime:07 difficult:07 unnecessary:08 generated:08 something:09 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Maybe I should tell how I want to use the tool. I don't want to update > the .mli file automatically everytime I change something in the .ml > file. I want to use the compiler as I would do without the tool. The Having an .mli that may or may not be machine generated would probably cause unnecessary problems. You could also generate the .cmi from the .ml; this is already done if it doesn't already exist. Making minor additions to the top-level compiler syntax to indicate whether to exclude or make abstract definitions in the .ml when generating the .cmi shouldn't be too difficult. ------------------- 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