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 TAA25640 for caml-redistribution@pauillac.inria.fr; Mon, 27 Mar 2000 19:23:05 +0200 (MET DST) Resent-Message-Id: <200003271723.TAA25640@pauillac.inria.fr> 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 PAA23842 for ; Sun, 26 Mar 2000 15:51:29 +0200 (MET DST) Received: from localhost.localdomain (krusty18.zip.com.au [61.8.16.18]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id PAA06212 for ; Sun, 26 Mar 2000 15:51:23 +0200 (MET DST) Received: from maxtal.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id XAA04922 for ; Sun, 26 Mar 2000 23:56:36 +1000 Sender: root@localhost.localdomain Message-ID: <38DE1714.D8486880@maxtal.com.au> Date: Sun, 26 Mar 2000 23:56:36 +1000 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Hashtable iter/remove Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Resent-From: weis@pauillac.inria.fr Resent-Date: Mon, 27 Mar 2000 19:23:04 +0200 Resent-To: caml-redistribution@pauillac.inria.fr Hashtables are mutable objects. What happens if I iterate over a hashtable, applying Hashtble.remove to (some of) the elements? Will this work? -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net