[
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: | tmp123 <tmp123@m...> |
| Subject: | Re: Hashtbl: remove while iter or fold |
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.