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: | Hashtbl.remove legal within Hashtbl.iter for the same hash table? |
Hello, Probably a newbie question but anyway: is it allowed to do a Hashtbl.remove while doing a Hashtbl.iter on the same hash table? More precisely, at one point while doing a "Hashtbl.iter f h" my function "f" is called with something like "f k v". Can I do a "Hashtbl.remove h k" within the body of "f"? Sincerely yours, david -- GPG/PGP key: A3AD7A2A David MENTRE <dmentre@linux-france.org> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A