| commit | b7942b42ef44af4695656d77eef2b8d3222c155e | |
| author | James Wu <jjwu@fb.com> | |
| Wed, 30 May 2018 23:01:00 +0000 (30 16:01 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 30 May 2018 23:08:48 +0000 (30 16:08 -0700) | ||
| tree | 7881cab32d59af362c5a8e045290d744f06e8d01 | treesnapshot (tar.gz zip) |
| parent | d2580aa17d99e5c15ed47885bfd96c6393301f79 | commitdiff |
Parse full fidelity trees in full mode, throw away all parse trees after typechecking
Summary:
See title
This saves a bunch of memory for us, since the trees are parsed ahead of time and not during peak typechecking time, and then deleted after typechecking.
Reviewed By: pittsw, vassilmladenov
Differential Revision: D8194824
fbshipit-source-id: 370b836d2a67350325ed7edc153aac82f79f1979
Summary:
See title
This saves a bunch of memory for us, since the trees are parsed ahead of time and not during peak typechecking time, and then deleted after typechecking.
Reviewed By: pittsw, vassilmladenov
Differential Revision: D8194824
fbshipit-source-id: 370b836d2a67350325ed7edc153aac82f79f1979
| hphp/hack/src/server/serverInit.ml | diffblobblamehistory | |
| hphp/hack/src/server/serverTypeCheck.ml | diffblobblamehistory | |
| hphp/hack/test/integration_ml/ide/test_failed_parsing.ml | diffblobblamehistory |