Re: [Caml-list] Why should I use .mli files?

Article View: fa.caml

Article #89

#89

From: Radu Grigore
Date: Thu, 01 Nov 2012 11:38

6 lines
1752 bytes

On Thursday, November 1, 2012 12:40:03 AM UTC, Francois Berenger wrote:
> How does this tool would know that some types from the .ml
> file are not to be exported in the .mli?

Sometimes, I use this brain-dead script:
  https://github.com/seplogic/jstar/blob/master/scripts/unused.ml

Technical Details

Message-ID: <e85ffce9-187c-4b14-86e2-b2ace5dd33f6@googlegroups.com>

Path:

arc1-ca.pugleaf.net!gf5ni12966840qab.0!nntp.google.com!c7no1797494qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail

References:

<fa.4zzWyGZIo+GsGOz7cSC34yWTunY@ifi.uio.no> <fa.pEEaqh4bLDLiRdYkCRHvi9787TQ@ifi.uio.no> <fa.JtZOlOTbNCp6rOoRnHhKEARwLDQ@ifi.uio.no> <fa.s4gDOdOTZVbthjceZ5OEMxHiH90@ifi.uio.no> <fa.rfsHI3X48Zri1S2pu1SEFowmDZg@ifi.uio.no> <fa.KulHINoVpgjN1uI63QvwcxoNuiY@ifi.uio.no>

Show Full Headers

Complete Article Headers

X-Google-Thread: c0fe4b917e,7f9c343d72340b37
X-Google-Attributes: gidc0fe4b917e,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.224.180.141 with SMTP id bu13mr16588594qab.2.1351769923758;
        Thu, 01 Nov 2012 04:38:43 -0700 (PDT)
Received: by 10.236.149.66 with SMTP id w42mr3893589yhj.18.1351769923694; Thu,
 01 Nov 2012 04:38:43 -0700 (PDT)
Path: arc1-ca.pugleaf.net!gf5ni12966840qab.0!nntp.google.com!c7no1797494qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: fa.caml
Date: Thu, 1 Nov 2012 04:38:43 -0700 (PDT)
In-Reply-To: <fa.KulHINoVpgjN1uI63QvwcxoNuiY@ifi.uio.no>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=138.37.90.78; posting-account=e5mzsQoAAAB7g9y7Bkgam0zJDHRr7bCB
NNTP-Posting-Host: 138.37.90.78
References: <fa.4zzWyGZIo+GsGOz7cSC34yWTunY@ifi.uio.no> <fa.pEEaqh4bLDLiRdYkCRHvi9787TQ@ifi.uio.no>
 <fa.JtZOlOTbNCp6rOoRnHhKEARwLDQ@ifi.uio.no> <fa.s4gDOdOTZVbthjceZ5OEMxHiH90@ifi.uio.no>
 <fa.rfsHI3X48Zri1S2pu1SEFowmDZg@ifi.uio.no> <fa.KulHINoVpgjN1uI63QvwcxoNuiY@ifi.uio.no>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e85ffce9-187c-4b14-86e2-b2ace5dd33f6@googlegroups.com>
Subject: Re: [Caml-list] Why should I use .mli files?
From: Radu Grigore <radugrigore@gmail.com>
Cc: caml-list@inria.fr
Injection-Date: Thu, 01 Nov 2012 11:38:43 +0000
Content-Type: text/plain; charset=ISO-8859-1

Reply to Parent Message