| commit | 1194f742fc3f0f30e8d485ac520ad0eb70bbf737 | |
| author | Julien Verlaguet <julienv@fb.com> | |
| Mon, 11 May 2015 21:48:28 +0000 (11 14:48 -0700) | ||
| committer | hhvm-bot <hhvm-bot@fb.com> | |
| Mon, 11 May 2015 23:00:47 +0000 (11 16:00 -0700) | ||
| tree | 0a793ad677c889745da6343236e58870f3081958 | treesnapshot (tar.gz zip) |
| parent | a0df9697b645877aacbb5ba7be8c40c7074323c9 | commitdiff |
remove dead code update_pos
Summary: A while back we had this function that was updating positions instead of redeclaring.
This was in a pre-sharedmem world where data-nodes could actually run code.
I don't think it makes much sense today anymore, in fact, I am not sure it would be a win to
run a substitution vs simply redeclaring the types.
It can always be revived if we really need it.
Reviewed By: @int3
Differential Revision: D2062236
Summary: A while back we had this function that was updating positions instead of redeclaring.
This was in a pre-sharedmem world where data-nodes could actually run code.
I don't think it makes much sense today anymore, in fact, I am not sure it would be a win to
run a substitution vs simply redeclaring the types.
It can always be revived if we really need it.
Reviewed By: @int3
Differential Revision: D2062236
| hphp/hack/src/server/serverTypeCheck.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_redecl_service.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_redecl_service.mli | diffblobblamehistory |