From: Jun Furuse <jun.furuse@gmail.com>
To: caml-list <caml-list@inria.fr>
Subject: [Ann] OCamlspotter 1.1
Date: Tue, 16 Mar 2010 10:33:10 +0900 [thread overview]
Message-ID: <5160b4201003151833l7cb88b8dy7263fd51c7d0ba10@mail.gmail.com> (raw)
Hi Caml-list,
I have updated OCamlSpotter, a compiler enhancement for source code browsing,
to version 1.1, which is aimed for OCaml 3.11.2 and some enhancements
since its first release.
OCamlSpotter is a tool which finds definition places of various names
(identifiers, type names, modules, etc) in OCaml programs automatically for you.
The original OCaml's -annot option provides the same sort of functionality but
OCamlSpotter provides much more powerful browsing: it can find
definitions hidden in the deep nested module aliases and functor applications.
- The -annot option of ocamlc and ocamlopt is extended and creates
<module>.spot files (<module>.spit for .mli), which record the location
information of the names defined and used in the module.
- A small application ocamlspot provides automatic where-about spotting
of the definition of the name you are interested in, using <module>.spot files
created by the patched compilers.
- ocamlspot.el provides interactive ocaml-spotting of definition
locations in emacs.
- Interfaces for other editors such as vi could be built easily, if you want.
This release of OCamlSpotter is 1.1. Some bugs found in 1.1rc1 were fixed.
Further information and download is available at:
http://jun.furuse.info/hacks/ocamlspotter
Happy hacking.
Jun
reply other threads:[~2010-03-16 1:33 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=5160b4201003151833l7cb88b8dy7263fd51c7d0ba10@mail.gmail.com \
--to=jun.furuse@gmail.com \
--cc=caml-list@inria.fr \
/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