From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA16924; Fri, 15 Mar 2002 10:03:09 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA15620 for caml-list@pauillac.inria.fr; Fri, 15 Mar 2002 10:03:08 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA02775 for ; Fri, 15 Mar 2002 02:49:50 +0100 (MET) Received: from sj1-3-4-9.securesites.net (sj1-3-4-9.securesites.net [192.220.127.202]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id g2F1nn526178 for ; Fri, 15 Mar 2002 02:49:49 +0100 (MET) Received: (qmail 15075 invoked by uid 16863); 15 Mar 2002 01:49:47 -0000 Received: from unknown (HELO localhost) ([192.220.65.223]) (envelope-sender ) by 192.220.65.223 (qmail-ldap-1.03) with SMTP for ; 15 Mar 2002 01:49:47 -0000 Date: Fri, 15 Mar 2002 01:49:47 +0000 (GMT) From: Brian Rogoff To: Damien Doligez cc: caml-list@inria.fr, Subject: Re: [Caml-list] Weak hash table In-Reply-To: <200203141409.PAA0000012130@beaune.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, 14 Mar 2002, Damien Doligez wrote: > >From: Remi VANICAT > > > >I've look at it, and it seem it's an implementation of a set, not of a > >map. > > It's a hashed set and not a hashed map, because a hashed set is what I > needed to implement hash-consing for my toy BDD package. Will we see your toy implementation in the OCaml distribution? I think such a thing, and/or a binding to one of the better C BDD libraries, would make a useful addition. -- Brian ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners