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 8aaed6d951
commit 64f49b3907
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
6 changed files with 5 additions and 5 deletions

View file

@ -6,9 +6,9 @@
(action (action
(run %{project_root}/src/cpp/cpp.exe %{input-file}))) (run %{project_root}/src/cpp/cpp.exe %{input-file})))
(libraries threads either (libraries threads either
(select thread_local_storage.ml from (select thread_local_storage_.ml from
(thread-local-storage -> thread_local_storage.stub.ml) (thread-local-storage -> thread_local_storage_.stub.ml)
(-> thread_local_storage.real.ml)) (-> thread_local_storage_.real.ml))
(select dla_.ml from (select dla_.ml from
(domain-local-await -> dla_.real.ml) (domain-local-await -> dla_.real.ml)
( -> dla_.dummy.ml)))) ( -> dla_.dummy.ml))))

View file

@ -16,7 +16,7 @@ module Lock = Lock
module Immediate_runner = Immediate_runner module Immediate_runner = Immediate_runner
module Pool = Fifo_pool module Pool = Fifo_pool
module Runner = Runner module Runner = Runner
module Thread_local_storage = Thread_local_storage module Thread_local_storage = Thread_local_storage_
module Ws_pool = Ws_pool module Ws_pool = Ws_pool
module Private = struct module Private = struct

View file

@ -38,7 +38,7 @@ module Lock = Lock
module Fut = Fut module Fut = Fut
module Chan = Chan module Chan = Chan
module Fork_join = Fork_join module Fork_join = Fork_join
module Thread_local_storage = Thread_local_storage module Thread_local_storage = Thread_local_storage_
(** A simple blocking queue. (** A simple blocking queue.