aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Namespace.ml
diff options
context:
space:
mode:
authorEstevan Castilho <tevo@riajuu.net>2026-10-10 02:17:58 +0000
committerEstevan Castilho <tevo@riajuu.net>2026-10-10 02:17:58 +0000
commit90e41279094c26e6fcc93966708374b8ceba80e4 (patch)
tree1b3dbf67da6655bc3458f7a4f1f2595c0e197d16 /lib/kernel/Namespace.ml
parent6201bbc6e7171f037467bbfc2d0a6da084fb516c (diff)
downloadRNT-90e41279094c26e6fcc93966708374b8ceba80e4.tar.gz
RNT-90e41279094c26e6fcc93966708374b8ceba80e4.zip
Diffstat (limited to '')
-rw-r--r--lib/kernel/Namespace.ml11
-rw-r--r--lib/kernel/Namespace.mli1
2 files changed, 5 insertions, 7 deletions
diff --git a/lib/kernel/Namespace.ml b/lib/kernel/Namespace.ml
index c7cc627..c7c0767 100644
--- a/lib/kernel/Namespace.ml
+++ b/lib/kernel/Namespace.ml
@@ -5,7 +5,6 @@ class namespace =
method to_string = "namespace"
val entries : (string, Protocols.Handle.t) BatMap.t Atomic.t = Atomic.make BatMap.empty
method protocols = Protocols.[Directory.make self; Registry.make self]
-
method destroy = Atomic.get entries |> BatMap.values |> BatEnum.iter Protocols.Handle.release
method update key reference value =
@@ -13,11 +12,11 @@ class namespace =
Utilities.Atomic.mswap entries (fun e ->
let existing = BatMap.find_opt key e in
if existing = reference then begin
- Option.map Protocols.Handle.release existing |> ignore;
- match value with
- | Some v -> Ok (BatMap.add key (Protocols.Handle.move v) e)
- | None -> Ok (BatMap.remove key e)
- end
+ Option.map Protocols.Handle.release existing |> ignore;
+ match value with
+ | Some v -> Ok (BatMap.add key (Protocols.Handle.move v) e)
+ | None -> Ok (BatMap.remove key e)
+ end
else Error () )
with
| Ok _ -> Ok true
diff --git a/lib/kernel/Namespace.mli b/lib/kernel/Namespace.mli
index 9d4f343..394e44a 100644
--- a/lib/kernel/Namespace.mli
+++ b/lib/kernel/Namespace.mli
@@ -2,7 +2,6 @@ class namespace : object
inherit Protocols.Handle.obj
inherit Protocols.Directory.implementation
inherit Protocols.Registry.implementation
-
method destroy : unit
end