| commit | d87b812b0ddf320e1ca8a3ae570c37c3b7ac8998 | |
| author | Vassil Mladenov <vmladenov@fb.com> | |
| Thu, 29 Sep 2022 11:21:17 +0000 (29 04:21 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 29 Sep 2022 11:21:17 +0000 (29 04:21 -0700) | ||
| tree | 73a2dc465c1921f3c4a9a82c628bf93ba6553506 | treesnapshot (tar.gz zip) |
| parent | 76f51889f5dde2725c3053d5929aab983195ea2c | commitdiff |
Add an option to log when we do a sound dynamic pass on a function
Summary:
We would like to know for how many functions we do the sound dynamic pass vs. saying the interface passes the check
https://www.internalfb.com/code/fbsource/[96d37f76f2115ddc0c3d3fd12f8fdb0cd2a0fb12]/fbcode/hphp/hack/src/typing/typing.ml?lines=4975-4982
https://www.internalfb.com/code/fbsource/[96d37f76f2115ddc0c3d3fd12f8fdb0cd2a0fb12]/fbcode/hphp/hack/src/typing/typing_dynamic.ml?lines=105-109
This emits a log when we do second pass, keyed by "sd_pass" with level 1
Differential Revision: D39888074
fbshipit-source-id: 3521f68250d125cc9942c90d790e414dfc962320
Summary:
We would like to know for how many functions we do the sound dynamic pass vs. saying the interface passes the check
https://www.internalfb.com/code/fbsource/[96d37f76f2115ddc0c3d3fd12f8fdb0cd2a0fb12]/fbcode/hphp/hack/src/typing/typing.ml?lines=4975-4982
https://www.internalfb.com/code/fbsource/[96d37f76f2115ddc0c3d3fd12f8fdb0cd2a0fb12]/fbcode/hphp/hack/src/typing/typing_dynamic.ml?lines=105-109
This emits a log when we do second pass, keyed by "sd_pass" with level 1
Differential Revision: D39888074
fbshipit-source-id: 3521f68250d125cc9942c90d790e414dfc962320
| hphp/hack/src/typing/typing.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_log.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_log.mli | diffblobblamehistory |