From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 1B3ECBB84 for ; Mon, 6 Oct 2008 15:36:21 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMDALew6UjCpx6vamdsb2JhbACTXA0LCgYSpyeBag X-IronPort-AV: E=Sophos;i="4.33,367,1220220000"; d="scan'208";a="18306765" Received: from smtpka.univ-orleans.fr (HELO ka.univ-orleans.fr) ([194.167.30.175]) by mail1-smtp-roc.national.inria.fr with ESMTP; 06 Oct 2008 15:36:20 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by ka.univ-orleans.fr (Postfix) with ESMTP id BD1E812AD4B for ; Mon, 6 Oct 2008 15:36:20 +0200 (CEST) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id C146F36E61 for ; Mon, 6 Oct 2008 15:36:22 +0200 (CEST) Subject: Auto-generate mli from ml? From: David Teller To: Caml Content-Type: text/plain Date: Mon, 06 Oct 2008 15:36:25 +0200 Message-Id: <1223300185.6141.18.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; mli:01 univ-orleans:01 mli:01 'ocamlc:01 ocamldoc:01 'ocamlc:01 camlp:01 univ-orleans:01 lifo:01 liquidations:98 essentially:02 meaningful:04 distributed:05 written:07 i'm:09 Dear list, I'm currently looking for a complete .ml -> .mli generator. That is, a generator which would essentially perform the same job as 'ocamlc -i', but which would keep whichever comments of the .ml remain meaningful in the .mli (i.e. anything that ocamldoc would keep). Now, that doesn't look like something too hard to write, with a combination of 'ocamlc -i' and camlp4, I'm just wondering if someone has already written such a tool. Thanks, David -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.