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 TAA21971 for caml-redist; Thu, 27 Apr 2000 19:56:42 +0200 (MET DST) 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 PAA18568 for ; Thu, 27 Apr 2000 15:24:19 +0200 (MET DST) Received: from esrelay002.caissedesdepots.fr (esrelay002.caissedesdepots.fr [158.156.156.29]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id PAA08813 for ; Thu, 27 Apr 2000 15:24:03 +0200 (MET DST) Received: from esmailfed2.serv.cdc.fr (esmailfed2 [158.156.1.207]) by esrelay002.caissedesdepots.fr (8.8.8+Sun/8.8.8) with ESMTP id PAA19837 for ; Thu, 27 Apr 2000 15:25:02 +0200 (MET DST) Received: from tsexchange.idt.cdc.fr (localhost [127.0.0.1]) by esmailfed2.serv.cdc.fr (8.8.8/8.8.8) with ESMTP id PAA23701 for ; Thu, 27 Apr 2000 15:25:28 +0200 (MET DST) Received: by tsexchange.idt.cdc.fr with Internet Mail Service (5.5.2448.0) id ; Thu, 27 Apr 2000 15:28:42 +0200 Message-ID: <40C4228EC468D211B04800A0C9DF1D6636DE0C@tsexchange.idt.cdc.fr> From: "Coscoy, Yann" To: "'caml-list@inria.fr'" Subject: hashtables for mutable records Date: Thu, 27 Apr 2000 15:28:41 +0200 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2448.0) Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Sender: weis Hello, I want to do an hashtable on mutable and polymorphic records. Standard module Hashtbl is not suitable because: - Hashtbl.HashType doesn't accept polymorphic types. - Hashtbl.hash is susceptible to setups of a mutable fields. I would appreciate any suggestion. Cheers, Yann Coscoy --------------------------------------------------------------------- Yann Coscoy Informatique CDC - Direction des Techniques Avanc=E9es 4, rue Berthollet 94110 Arcueil T=E9l. : 01 40 49 15 28 Fax. : 01 40 49 15 78 e-mail : Yann.Coscoy@icdc.caissedesdepots.fr