| commit | aee2013b33db5990fd649cd61b001425a64c3b5e | |
| author | Mistral Orhan Jean-Pierre Contrastin <mojpc2@fb.com> | |
| Fri, 15 Oct 2021 18:36:02 +0000 (15 11:36 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 15 Oct 2021 18:40:09 +0000 (15 11:40 -0700) | ||
| tree | ed3c1dddd30b89814647f4e5e8fbf4f4ba49f9ff | treesnapshot (tar.gz zip) |
| parent | 645617ad24331a7f4d2f668deafc513879af6c89 | commitdiff |
Move Pos_embedded to Pos
Summary: Pos module was an alias for Pos_embedded. This seems to be a needless indirection. This diff gets rid of it.
Reviewed By: Wilfred
Differential Revision: D31687656
fbshipit-source-id: 1d5c93ed6497bf710e28f47585df7c0a40b469d2
Summary: Pos module was an alias for Pos_embedded. This seems to be a needless indirection. This diff gets rid of it.
Reviewed By: Wilfred
Differential Revision: D31687656
fbshipit-source-id: 1d5c93ed6497bf710e28f47585df7c0a40b469d2
| hphp/hack/src/utils/dune | diffblobblamehistory | |
| hphp/hack/src/utils/pos.ml | [moved from hphp/hack/src/utils/pos_embedded.ml with 100% similarity] | blobblamehistory |
| hphp/hack/src/utils/pos.mli | [moved from hphp/hack/src/utils/pos_embedded.mli with 100% similarity] | blobblamehistory |