Redeclare entire failed_naming set every time
commit046740ae7972009aef77f340e37b2b25100ec8af
authorKasper Kopec <kasper@fb.com>
Fri, 4 Nov 2016 21:51:42 +0000 (4 14:51 -0700)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Fri, 4 Nov 2016 22:09:54 +0000 (4 15:09 -0700)
tree54598dfc959c6acb9d42f78ba39856dfec3f542a
parent66a9d64747af55dc31f8d3188236805f8249d52f
Redeclare entire failed_naming set every time

Summary:
See the comment inline. This is a change I should have made alog with
{D4026343} - if we proceed with redeclaration of any failed_naming defs,
we need to redeclare them all.

Also removing some threading of env that was unnecessary.

Reviewed By: oulgen

Differential Revision: D4129037

fbshipit-source-id: a14d94383ca842a2470aeb04ec609bef71226730
hphp/hack/src/server/serverTypeCheck.ml