| commit | 12997e455e1a3f464871fe234ed8b9e607a2f654 | |
| author | Tom Yang <toyang@fb.com> | |
| Fri, 16 Oct 2020 00:22:53 +0000 (15 17:22 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 16 Oct 2020 00:25:49 +0000 (15 17:25 -0700) | ||
| tree | c51cf46e4dca8e208101b3fdcf01faf2e7c2ce19 | treesnapshot (tar.gz zip) |
| parent | 485bd9531c08adbf9b5ba0eba4950d840e42f983 | commitdiff |
Retrieve full pos from decl_service when provider backend is decl_service
Summary:
Added `get_full_pos` to `Naming_provider`. When the provider backend is `Decl_service`, it derives the full pos from a decl retrieved from the service, otherwise it defaults to `Ast_provider`.
`Naming_global.get_full_pos` has been kept for now to retain the raise behavior.
Differential Revision: D24286004
fbshipit-source-id: 65b8e19a00aa024c8c719af5244167a4e06bfad2
Summary:
Added `get_full_pos` to `Naming_provider`. When the provider backend is `Decl_service`, it derives the full pos from a decl retrieved from the service, otherwise it defaults to `Ast_provider`.
`Naming_global.get_full_pos` has been kept for now to retain the raise behavior.
Differential Revision: D24286004
fbshipit-source-id: 65b8e19a00aa024c8c719af5244167a4e06bfad2
| hphp/hack/src/naming/naming_global.ml | diffblobblamehistory | |
| hphp/hack/src/providers/naming_provider.ml | diffblobblamehistory | |
| hphp/hack/src/providers/naming_provider.mli | diffblobblamehistory |