From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA05002 for caml-redistribution; Thu, 28 Jan 1999 09:13:41 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA16100 for ; Wed, 27 Jan 1999 09:27:01 +0100 (MET) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA11695 for ; Wed, 27 Jan 1999 09:27:00 +0100 (MET) Received: from pc89.lri.fr (pc89.lri.fr [129.175.8.108]) by lri.lri.fr (8.9.1a/8.9.1) with ESMTP id JAA05389; Wed, 27 Jan 1999 09:27:00 +0100 (MET) Received: by pc89.lri.fr (8.8.7/feuille) id JAA10479 ; Wed, 27 Jan 1999 09:27:06 +0100 X-Authentication-Warning: pc89.lri.fr: filliatr set sender to filliatr@pc89.lri.fr using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <13998.52698.551641.642041@pc89.lri.fr> Date: Wed, 27 Jan 1999 09:27:06 +0100 (MET) To: Hendrik Tews Cc: Caml Mailing List Subject: Re: Looking for a nail In-Reply-To: <199901252053.VAA21739@irritatie.cs.kun.nl> References: <199901252053.VAA21739@irritatie.cs.kun.nl> X-Mailer: VM 6.49 under Emacs 20.3.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Content-Transfer-Encoding: 7bit Sender: weis > 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