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 RAA29001 for caml-redistribution; Wed, 10 Mar 1999 17:57:55 +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 NAA16067 for ; Wed, 10 Mar 1999 13:46:07 +0100 (MET) Received: from p-biset.issy.cnet.fr (p-biset.issy.cnet.fr [139.100.0.33]) by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id NAA22104 for ; Wed, 10 Mar 1999 13:46:06 +0100 (MET) Received: from l-mhs1.lannion.cnet.fr ([161.104.1.59]) by p-biset.issy.cnet.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2232.9) id GGMKPZDQ; Wed, 10 Mar 1999 13:42:18 +0100 Received: from lsun565.lannion.cnet.fr ([161.104.10.182]) by l-mhs1.lannion.cnet.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2232.9) id ZNBGSYMR; Wed, 10 Mar 1999 13:50:24 +0100 Received: from lsun565.cnet by lsun565.lannion.cnet.fr (SMI-8.6/SMI-SVR4) id NAA26158; Wed, 10 Mar 1999 13:46:05 +0100 Date: Wed, 10 Mar 1999 13:46:05 +0100 Message-Id: <199903101246.NAA26158@lsun565.lannion.cnet.fr> From: Jean-Francois Monin MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: caml-list@inria.fr CC: Cuihtlauac.Alvarado@cnet.francetelecom.fr, JeanFrancois.Monin@cnet.francetelecom.fr Subject: 2 contribs: splay trees and otags X-Mailer: VM 6.37 under Emacs 20.2.1 Sender: weis Deux contributions ont ete mises dans la "bosse" http://caml.inria.fr/hump.html. La premiere est une bibliotheque pour arbres evases (arbre ordonnes binaires, ou les elements souvent accedes sont pres de la racine). Il s'agit ici d'une version mutable. La seconde (faite avec Cuihtlauac Alvarado) est un utilitaire de generation de tags pour Emacs prenant en compte tous les identificateurs, y compris les constructeurs de type somme et les champs de records. Elle contient egalement un concatenateur des fichiers de tags gerant les chemins de maniere coherente avec l'arborescence des repertoires. ===[translation]=== Two contribs have been added in the hump. The first one is a library for mutable splay trees. (Splay trees, due to Sleator and Tarjan, are ordered binary trees where often accessed items are near the root.) The algorithm has excellent (amortized) complexity. It is available from http://caml.inria.fr/hump.html#datastr The second one (Cuihtlauac Alvarado and myself) is an Emacs tag generator for Ocaml source files, working also with syntaxes extended with Camlp4. It handles all identifier, including sum constructors and record fields. It also includes cattags, which catenates tags files in a way consistent with the directory structure. It is available from http://caml.inria.fr/hump.html#emacs -- Jean-Francois Monin, CNET DTL/MSV, Tel +33 2 96 05 26 79 2 av. Pierre Marzin, 22307 Lannion, France Fax +33 2 96 05 39 45 SANS TRAIT D'UNION : JeanFrancois.Monin@cnet.francetelecom.fr