| commit | f365079033794e0177fb74396125d3c7cc2287e3 | |
| author | Vassil Mladenov <vmladenov@meta.com> | |
| Tue, 7 Feb 2023 00:30:12 +0000 (6 16:30 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 7 Feb 2023 00:30:12 +0000 (6 16:30 -0800) | ||
| tree | e9650e6e111fdc284c3ae1532a2818d6173bb0c5 | treesnapshot (tar.gz zip) |
| parent | 7f8c679c58e50bb9952eb95daf367772827fb8bd | commitdiff |
Redirect pessimisation logs to Hh_logger if level > 1
Summary:
Same as D43014949 but for pessimise logs.
An alternative implementation for this stack could be to redirect to Hh_logger if `pessimise.hh` or `tany.hh` is set, but neither flag actually uses more than level 1 at the moment so this is fine.
Reviewed By: periodic1236
Differential Revision: D43017410
fbshipit-source-id: 3c45858188d9ce7c8aca91a14518b9b88d786700
Summary:
Same as D43014949 but for pessimise logs.
An alternative implementation for this stack could be to redirect to Hh_logger if `pessimise.hh` or `tany.hh` is set, but neither flag actually uses more than level 1 at the moment so this is fine.
Reviewed By: periodic1236
Differential Revision: D43017410
fbshipit-source-id: 3c45858188d9ce7c8aca91a14518b9b88d786700
| hphp/hack/src/typing/typing_log.ml | diffblobblamehistory |