fix: rename Thread_local_storage_ to not collide with the library

c-cube · Oct 29, 2023 · 94a0f43 · 94a0f43
1 parent 8aaed6d
commit 94a0f43
Show file tree

Hide file tree

Showing 6 changed files with 5 additions and 111 deletions.
diff --git a/src/dune b/src/dune
@@ -6,9 +6,9 @@
   (action
    (run %{project_root}/src/cpp/cpp.exe %{input-file})))
  (libraries threads either
-            (select thread_local_storage.ml from
-             (thread-local-storage -> thread_local_storage.stub.ml)
-             (-> thread_local_storage.real.ml))
+            (select thread_local_storage_.ml from
+             (thread-local-storage -> thread_local_storage_.stub.ml)
+             (-> thread_local_storage_.real.ml))
             (select dla_.ml from
              (domain-local-await -> dla_.real.ml)
              ( -> dla_.dummy.ml))))
diff --git a/src/moonpool.ml b/src/moonpool.ml
@@ -16,7 +16,7 @@ module Lock = Lock
 module Immediate_runner = Immediate_runner
 module Pool = Fifo_pool
 module Runner = Runner
-module Thread_local_storage = Thread_local_storage
+module Thread_local_storage = Thread_local_storage_
 module Ws_pool = Ws_pool
 
 module Private = struct

diff --git a/src/moonpool.mli b/src/moonpool.mli
@@ -38,7 +38,7 @@ module Lock = Lock
 module Fut = Fut
 module Chan = Chan
 module Fork_join = Fork_join
-module Thread_local_storage = Thread_local_storage
+module Thread_local_storage = Thread_local_storage_
 
 (** A simple blocking queue.
 

diff --git a/src/thread_local_storage.mli b/src/thread_local_storage.mli
diff --git a/src/thread_local_storage.real.ml b/src/thread_local_storage.real.ml
diff --git a/src/thread_local_storage.stub.ml b/src/thread_local_storage.stub.ml