From aee2013b33db5990fd649cd61b001425a64c3b5e Mon Sep 17 00:00:00 2001
From: Mistral Orhan Jean-Pierre Contrastin <mojpc2@fb.com>
Date: Fri, 15 Oct 2021 11:36:02 -0700
Subject: [PATCH] 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
---
 hphp/hack/src/utils/dune                          | 1 -
 hphp/hack/src/utils/{pos_embedded.ml => pos.ml}   | 0
 hphp/hack/src/utils/{pos_embedded.mli => pos.mli} | 0
 3 files changed, 1 deletion(-)
 rename hphp/hack/src/utils/{pos_embedded.ml => pos.ml} (100%)
 rename hphp/hack/src/utils/{pos_embedded.mli => pos.mli} (100%)

diff --git a/hphp/hack/src/utils/dune b/hphp/hack/src/utils/dune
index 4f61db825de..1df9b5b33c7 100644
--- a/hphp/hack/src/utils/dune
+++ b/hphp/hack/src/utils/dune
@@ -134,7 +134,6 @@
     file_pos_small
     line_break_map
     pos
-    pos_embedded
     pos_source
     pos_span_tiny)
   (preprocess (pps lwt_ppx ppx_deriving.std ppx_deriving.enum))
diff --git a/hphp/hack/src/utils/pos_embedded.ml b/hphp/hack/src/utils/pos.ml
similarity index 100%
rename from hphp/hack/src/utils/pos_embedded.ml
rename to hphp/hack/src/utils/pos.ml
diff --git a/hphp/hack/src/utils/pos_embedded.mli b/hphp/hack/src/utils/pos.mli
similarity index 100%
rename from hphp/hack/src/utils/pos_embedded.mli
rename to hphp/hack/src/utils/pos.mli
-- 
2.11.4.GIT