From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 931D2BC6B for ; Tue, 11 Dec 2007 10:00:25 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKrfXUc+KuYMfGdsb2JhbACPZwIJAggPEwc X-IronPort-AV: E=Sophos;i="4.24,150,1196636400"; d="scan'208";a="20196267" Received: from smtp.ono.com (HELO resmaa02.ono.com) ([62.42.230.12]) by mail4-smtp-sop.national.inria.fr with ESMTP; 11 Dec 2007 10:00:24 +0100 Received: from [159.23.98.243] (192.146.187.87) by resmaa02.ono.com (7.3.118.8) (authenticated as tmp123@menta.net) id 475D2F8900074973 for caml-list@yquem.inria.fr; Tue, 11 Dec 2007 10:00:18 +0100 Message-ID: <475E51A0.2070307@menta.net> Date: Tue, 11 Dec 2007 10:00:16 +0100 From: tmp123 User-Agent: Thunderbird 2.0.0.9 (Windows/20071031) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Hashtbl: remove while iter or fold Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; hashtbl:01 iter:01 hash:01 iter:01 tmp:05 tmp:05 fold:06 fold:06 table:93 table:93 executing:07 elements:14 particular:15 thanks:17 hello:17 Hello, Please, do you known if it is possible to remove hash table elements while executing an "iter" or "fold" operation over the table? Of course, in particular, to remove the current item. Thanks a lot.