| commit | f2831ae6f8007cc992c1317373f901d58a2fb42b | |
| author | Catherine Gasnier <catg@fb.com> | |
| Tue, 6 Oct 2020 18:25:55 +0000 (6 11:25 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 6 Oct 2020 18:28:20 +0000 (6 11:28 -0700) | ||
| tree | 4660cd17710e41d219baaa8a257f2b2cd6009e90 | treesnapshot (tar.gz zip) |
| parent | 50463645158c13228b330b1e694dfd79e839f460 | commitdiff |
use an array instead of map for counters
Summary: ... as making it a map caused 1% typing time regression.
Reviewed By: madgen
Differential Revision: D24134704
fbshipit-source-id: 535e37e060b1185b65d235a8b941260054f634f5
Summary: ... as making it a map caused 1% typing time regression.
Reviewed By: madgen
Differential Revision: D24134704
fbshipit-source-id: 535e37e060b1185b65d235a8b941260054f634f5
| hphp/hack/src/utils/counters.ml | diffblobblamehistory |