From: skaller <skaller@users.sourceforge.net>
To: Michael Furr <furr@cs.umd.edu>
Cc: caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] unused function detection
Date: 23 Jun 2004 05:27:08 +1000 [thread overview]
Message-ID: <1087932428.29427.33.camel@pelican.wigram> (raw)
In-Reply-To: <Pine.SOL.4.33.0406221426220.2202-100000@ramen.cs.umd.edu>
On Wed, 2004-06-23 at 04:33, Michael Furr wrote:
> I just finished(well almost) writing a tool which does something very
> similar. The motivation was if I have some module M and a program P, what
> is the most general(opaque) signature for M which still lets P compile.
> This information can be extremely useful since you know exactly which
> types are used opaquely and thus you can safely re-implement those data
> structures. Also, if you have some internal function in a module and it
> is not used anywhere in the program, it won't show up in the resulting
> signature.
ocaml -i + ocamldep. Shaken (not stirred)
Hmmm. At present, you are looking for uses of functions
M.f1 M.f2 M.f3 ...
in modules
P1 P2 P3 P4 ..
To solve my problem, you only need to add M to that list,
looking for uses of M.f1 etc in M itself. [Of course I want
the complement of the answer .. ]
--
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850,
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net
-------------------
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
next prev parent reply other threads:[~2004-06-22 19:27 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-06-22 17:08 skaller
2004-06-22 17:31 ` David MENTRE
2004-06-22 17:59 ` Nicolas Cannasse
2004-06-22 18:32 ` skaller
2004-06-22 18:33 ` Michael Furr
2004-06-22 19:27 ` skaller [this message]
2004-06-22 19:46 ` Michael Furr
2004-06-22 18:38 ` Eric Dahlman
2004-06-22 19:18 ` skaller
[not found] <fa.edndqci.a2eggi@ifi.uio.no>
2011-02-08 10:52 ` Radu Grigore
2011-02-08 12:30 ` Gabriel Scherer
2011-02-09 0:02 ` Jerome Benoit
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1087932428.29427.33.camel@pelican.wigram \
--to=skaller@users.sourceforge.net \
--cc=caml-list@inria.fr \
--cc=furr@cs.umd.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).