Browse thread
modifying hash tables
- Sam Steingold
[
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: | Sam Steingold <sds@g...> |
| Subject: | modifying hash tables |
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 I want to modify the _current_ datum in Hashtable.iter, e.g., increment a count. Is this code valid? Hashtable.iter ht ~f:(fun ~key ~data -> Hashtable.replace ht ~key ~data:(data+1)) (it appears to work, but I was told that "it is not guaranteed to work", i.e., the documentation does not promise that). If the above code is wrong, what is TRT? -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGnjFxPp1Qsf2qnMcRAhFaAJ0WEo90RwF5e1Ue+0tCdLyW2R5gawCcCJfd T8szhrihvlLwCh5L+er0N1E= =9bhb -----END PGP SIGNATURE-----