fix: rename Thread_local_storage_ to not collide with the library

This commit is contained in:
Simon Cruanes 2023-10-29 18:28:13 -04:00
parent 928345437a
commit 00a5cfc8ba
6 changed files with 5 additions and 5 deletions

View file

@ -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))))

View file

@ -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

View file

@ -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.