Re: Looking for a nail

From: Jean-Christophe Filliatre (filliatr@lri.fr)
Date: Wed Jan 27 1999 - 09:27:06 MET


From: Jean-Christophe Filliatre <filliatr@lri.fr>
Date: Wed, 27 Jan 1999 09:27:06 +0100 (MET)
To: Hendrik Tews <tews@irritatie.cs.kun.nl>
Subject: Re: Looking for a nail
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



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:18 MET