Browse thread
[Caml-list] Hashtbl.iter
-
Maya Ramanath
- Jacques Garrigue
- Marcin 'Qrczak' Kowalczyk
- Fabrice Le Fessant
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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