Rename: needs_redecl -> needs_phase2_redecl, needs_check -> needs_recheck, fix formatting
commit19ad278350b039fc9fbb3ce1597d1687a4cf6ae6
authorKasper Kopec <kasper@fb.com>
Fri, 4 Nov 2016 22:34:32 +0000 (4 15:34 -0700)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Fri, 4 Nov 2016 22:52:00 +0000 (4 15:52 -0700)
tree14dc960b9edfe9c8fcbd6b4f0ef80d114fb42769
parentb3492e4811c9c1c5403304e60b293725ed650180
Rename: needs_redecl -> needs_phase2_redecl, needs_check -> needs_recheck, fix formatting

Summary: Small style issues that annoyed me in subseqent diffs, so I fix them beforehand.

Reviewed By: dlreeves

Differential Revision: D4129027

fbshipit-source-id: 7525647b0cc9a3e29130c87ee73b80e33fcba34a
hphp/hack/src/server/serverEnv.ml
hphp/hack/src/server/serverEnvBuild.ml
hphp/hack/src/server/serverTypeCheck.ml