* 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
* Re: Hashtbl: remove while iter or fold
2007-12-11 9:00 Hashtbl: remove while iter or fold tmp123
@ 2007-12-11 9:05 ` tmp123
0 siblings, 0 replies; 2+ messages in thread
From: tmp123 @ 2007-12-11 9:05 UTC (permalink / raw)
To: caml-list
tmp123 wrote:
> 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.
>
Sorry, my fault, already asked in this group. If semantics has not
changed, the answer seems to be "yes".
Thanks.
^ 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