Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Hashtbl.iter
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Marcin 'Qrczak' Kowalczyk <qrczak@k...>
Subject: Re: [Caml-list] Hashtbl.iter
Wed, 17 Oct 2001 15:28:54 +0900, Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp> 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