* Hashtbl: remove while iter or fold
@ 2007-12-11 9:00 tmp123
2007-12-11 9:05 ` tmp123
0 siblings, 1 reply; 2+ messages in thread
From: tmp123 @ 2007-12-11 9:00 UTC (permalink / raw)
To: caml-list
Hello,
Please, do you known if it is possible to remove hash table elements
while executing an "iter" or "fold" operation over the table? Of course,
in particular, to remove the current item.
Thanks a lot.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2007-12-11 9:05 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-12-11 9:00 Hashtbl: remove while iter or fold tmp123
2007-12-11 9:05 ` tmp123
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox