| commit | 3d420e0c233cae6178b2ccf2365e333fcba44c3b | |
| author | Catherine Gasnier <catg@fb.com> | |
| Thu, 31 Mar 2022 13:27:33 +0000 (31 06:27 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 31 Mar 2022 13:27:33 +0000 (31 06:27 -0700) | ||
| tree | 0a506f4d507cd336709b8d1e6997dbf0e4cbe6a3 | treesnapshot (tar.gz zip) |
| parent | e29b1a25c2c9adf645a937387aa5a427915025cd | commitdiff |
FreqCache: no need to manually maintain `size`
Summary: There is no need to manually maintain the size of the cache, because `Hashtbl.length` is the same and is constant time according to the doc: https://ocaml.org/api/Hashtbl.html
Differential Revision: D35247302
fbshipit-source-id: 30557968e9b825d45f60cb70e2ef36dfb612dcf7
Summary: There is no need to manually maintain the size of the cache, because `Hashtbl.length` is the same and is constant time according to the doc: https://ocaml.org/api/Hashtbl.html
Differential Revision: D35247302
fbshipit-source-id: 30557968e9b825d45f60cb70e2ef36dfb612dcf7
| hphp/hack/src/heap/sharedMem.ml | diffblobblamehistory |