Browse thread
Hashtbl.remove legal within Hashtbl.iter for the same hash table?
[
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: | David MENTRE <dmentre@l...> |
| Subject: | Re: [Caml-list] Hashtbl.remove legal within Hashtbl.iter for the same hash table? |
Hello Till, "Till Varoquaux" <till.varoquaux@gmail.com> writes: > Indeed. The answer you got was, however, based on the actual > implementation not on the documentation. This means that, at some > point, this might evolve and not be valid anymore. If you want to be > on the safe side you should do a fold instead of an iter and collect > all of the items to remove and then remove them in a second pass. I'll do that. Thanks, d. -- GPG/PGP key: A3AD7A2A David MENTRE <dmentre@linux-france.org> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A