From: Jean-Christophe Filliatre <filliatr@lri.fr>
To: Hendrik Tews <tews@irritatie.cs.kun.nl>
Cc: Caml Mailing List <caml-list@inria.fr>
Subject: Re: Looking for a nail
Date: Wed, 27 Jan 1999 09:27:06 +0100 (MET) [thread overview]
Message-ID: <13998.52698.551641.642041@pc89.lri.fr> (raw)
In-Reply-To: <199901252053.VAA21739@irritatie.cs.kun.nl>
> 1. Bringing ocamletags to live again. I keep a copy, which
> compiles under 2.01 and reads 2.01 files, but does not create
> much tags for classes. I am willing to through this into the
> pool (if Francois Rouaix agrees).
To get Emacs tags for ocaml, a quick solution is the following :
======================================================================
find . -name "*.ml*" | sort -r | xargs \
etags "--regex=/let[ \t]+\([^ \t]+\)/\1/" \
"--regex=/let[ \t]+rec[ \t]+\([^ \t]+\)/\1/" \
"--regex=/and[ \t]+\([^ \t]+\)/\1/" \
"--regex=/type[ \t]+\([^ \t]+\)/\1/" \
"--regex=/exception[ \t]+\([^ \t]+\)/\1/" \
"--regex=/val[ \t]+\([^ \t]+\)/\1/" \
"--regex=/module[ \t]+\([^ \t]+\)/\1/"
======================================================================
It is very useful in practice. (It does not create tags for classes too.)
--
Jean-Christophe FILLIATRE
mailto:Jean-Christophe.Filliatre@lri.fr
http://www.lri.fr/~filliatr
next prev parent reply other threads:[~1999-01-28 8:13 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-01-25 20:53 Hendrik Tews
1999-01-26 19:20 ` Ian T Zimmerman
1999-01-28 1:30 ` John Prevost
1999-01-28 20:10 ` Hendrik Tews
1999-01-27 1:29 ` Jacques GARRIGUE
1999-01-27 8:27 ` Jean-Christophe Filliatre [this message]
1999-01-28 9:34 ` Cuihtlauac ALVARADO
-- strict thread matches above, loose matches on Subject: below --
1999-01-29 0:45 Frank A. Christoph
1999-01-28 13:32 Don Syme
1999-01-29 0:25 ` Markus Mottl
1999-01-31 18:43 ` John Whitley
1999-01-24 21:06 Miles Egan
1999-01-24 23:01 ` Lyn A Headley
1999-01-25 8:44 ` Jean-Christophe Filliatre
1999-01-25 20:45 ` Markus Mottl
1999-01-25 13:36 ` mattwb
1999-01-25 20:48 ` Trevor Jim
1999-01-25 21:57 ` Gerd Stolpmann
1999-01-25 12:45 ` Michel Schinz
1999-01-25 20:37 ` Markus Mottl
1999-01-28 9:54 ` Michel Schinz
1999-01-28 14:13 ` Markus Mottl
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=13998.52698.551641.642041@pc89.lri.fr \
--to=filliatr@lri.fr \
--cc=Jean-Christophe.Filliatre@lri.fr \
--cc=caml-list@inria.fr \
--cc=tews@irritatie.cs.kun.nl \
/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