Re: [Caml-list] Re: automatic extaction of the .mli (and a little more) from the .ml

Article View: fa.caml

Article #43

#43

From: Florent Monnier
Date: Mon, 03 Jun 2013 11:54

17 lines
4206 bytes

2013/05/31, Hongbo Zhang wrote:
[...]
> I had the same experience with you, after writing some large software in
> ML, I found it better to maintain mli by hand.

It depends which situation, which kind of things you're doing.

Most often I will prefer writing mli by hand, and sometimes I would
prefer to use a tool like nomli.

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Technical Details

Message-ID: <fa.6rvDiR2dk/LMdhERJ8+4ITQaplk@ifi.uio.no>

Path:

arc1-ca.pugleaf.net!bp1ni32672pbd.1!nntp.google.com!npeer03.iad.highwinds-media.com!feed-me.highwinds-media.com!cyclone03.ams2.highwinds-media.com!news.highwinds-media.com!voer-me.highwinds-media.com!eweka.nl!lightspeed.eweka.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!uio.no!nntp.uio.no!.POSTED!not-for-mail

References:

<fa.ysPYFL5+u0NnfGu8UBtNleD9SeQ@ifi.uio.no> <fa.OQroQDVDk9br1ZhQEIL1NaakR5I@ifi.uio.no> <fa.I3TrHR6XgRrV1HNzzkfzl27QRCQ@ifi.uio.no>

Show Full Headers

Complete Article Headers

X-Google-Thread: c0fe4b917e,bcac4a6e27ff55dd,start
X-Google-Attributes: gidc0fe4b917e,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.66.161.201 with SMTP id xu9mr3846128pab.3.1370260444161;
        Mon, 03 Jun 2013 04:54:04 -0700 (PDT)
Path: arc1-ca.pugleaf.net!bp1ni32672pbd.1!nntp.google.com!npeer03.iad.highwinds-media.com!feed-me.highwinds-media.com!cyclone03.ams2.highwinds-media.com!news.highwinds-media.com!voer-me.highwinds-media.com!eweka.nl!lightspeed.eweka.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!uio.no!nntp.uio.no!.POSTED!not-for-mail
From: Florent Monnier <monnier.florent@gmail.com>
Newsgroups: fa.caml
Subject: Re: [Caml-list] Re: automatic extaction of the .mli (and a little
 more) from the .ml
Date: Mon, 03 Jun 2013 11:54:03 UTC
Organization: Internet mailing list
Lines: 17
Sender: caml-list-request@inria.fr
Message-ID: <fa.6rvDiR2dk/LMdhERJ8+4ITQaplk@ifi.uio.no>
References: <fa.ysPYFL5+u0NnfGu8UBtNleD9SeQ@ifi.uio.no> <fa.OQroQDVDk9br1ZhQEIL1NaakR5I@ifi.uio.no> <fa.I3TrHR6XgRrV1HNzzkfzl27QRCQ@ifi.uio.no>
NNTP-Posting-Host: mail-jess.uio.no
Mime-Version: 1.0
X-Trace: readme.uio.no 1370260443 17094 129.240.7.9 (3 Jun 2013 11:54:03 GMT)
X-Complaints-To: abuse@uio.no
NNTP-Posting-Date: Mon, 3 Jun 2013 11:54:03 +0000 (UTC)
Cc: Francois Berenger <berenger@riken.jp>
To: Caml List <caml-list@inria.fr>
X-IronPort-AV: E=Sophos;i="4.87,792,1363129200"; 
   d="scan'208";a="20053160"
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArMAALm5qVHRVdSrjWdsb2JhbABZwjd1CBYOAQEBAQcLCwkSBiSCJAEFQAEbHQEDDAYFCzsiAREBBQEcBogNAQMPnCGMSoJ9hEkKGScNWIglAQUMjxUHg1cDlz6PWxYpgn6BOTo
X-IPAS-Result: ArMAALm5qVHRVdSrjWdsb2JhbABZwjd1CBYOAQEBAQcLCwkSBiSCJAEFQAEbHQEDDAYFCzsiAREBBQEcBogNAQMPnCGMSoJ9hEkKGScNWIglAQUMjxUHg1cDlz6PWxYpgn6BOTo
X-IronPort-AV: E=Sophos;i="4.87,783,1363129200"; 
   d="scan'208";a="16407151"
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=IT6DCNTtM7HNiPEi5qHjH0CcBnRg++d50GuHRmpM1cI=;
        b=A0Xdorw3gy7SmgdQkfinU4HrW2f+Msu+S59wNLFkoO07A0ZI9zdrEbfOSaGm7bQwtG
         lOJhiBYlCth8NS3KYW7jF9eOC4iCDpZDw6yfoJBuqOJ4+UeJK8K9EJ9MefEJNPppJZeN
         ml5cm7ExZTAbGLK7Vmj0EbX1m5E6UbvSpnToIECUWn2gwPumodMBmcIxyQVQ9VBFjbyM
         E4guQcFVpnm87CyCzUe+sT76dX0EgqBafM7ah9/WMo99+ga6B9L0SaxZSyOQEPR8HyqT
         blzCiMDdoSUOgLpUOfNg2yXFmEOC8FNzbiSdCW2nsyGPMX6oL4NIxihkpn1aC5ucrIGK
         Ee6A==
X-Received: by 10.180.39.233 with SMTP id s9mr6347572wik.25.1370077952826;
 Sat, 01 Jun 2013 02:12:32 -0700 (PDT)
In-Reply-To: <51A8BFE4.9060709@gmail.com>
X-Validation-by: monnier.florent@gmail.com
X-Sequence: 6870
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
Original-Date: Sat, 1 Jun 2013 11:12:32 +0200
Original-Message-Id: <CAE1DttA19zi7z1UJ6n3Oto10j02huf-hc9tAWAKU8e7iD1z_GA@mail.gmail.com>
Original-References: <51A81C67.50902@riken.jp>
 <87bo7rogub.fsf@gmail.com>
 <51A8BFE4.9060709@gmail.com>
X-Received-Bytes: 3826
Content-Type: text/plain; charset=ISO-8859-1

Reply to Parent Message