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 IAA05716; Wed, 17 Oct 2001 08:50:57 +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 IAA05656 for ; Wed, 17 Oct 2001 08:50:56 +0200 (MET DST) Received: from mail.mimuw.edu.pl (paf87.warszawa.sdi.tpnet.pl [217.96.225.87]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f9H6ooT00964 for ; Wed, 17 Oct 2001 08:50:50 +0200 (MET DST) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id IAA01766 for caml-list@inria.fr; Wed, 17 Oct 2001 08:51:04 +0200 X-Authentication-Warning: qrnik.zagroda: news set sender to Marcin 'Qrczak' Kowalczyk using -f From: "Marcin 'Qrczak' Kowalczyk" Subject: Re: [Caml-list] Hashtbl.iter Date: 17 Oct 2001 06:51:01 GMT Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: References: <9qj955$1l5$1@qrnik.zagroda> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Transfer-Encoding: 8bit X-Trace: qrnik.zagroda 1003301461 1731 192.168.0.1 (17 Oct 2001 06:51:01 GMT) X-Complaints-To: news@qrnik.zagroda NNTP-Posting-Date: 17 Oct 2001 06:51:01 GMT User-Agent: slrn/0.9.7.2 (Linux) To: caml-list@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Wed, 17 Oct 2001 15:28:54 +0900, Jacques Garrigue pisze: > If you look at the source in hashtbl.ml, clearly the answer is > "undefined behaviour". If your new element is added in a bucket > after the one your are currently processing then yes, otherwise no, And if the table is resized because of the added element, you are completely screwed. This undefined behavior is not limited to the choice between processing the new element or not. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTĘPCZA QRCZAK ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr