From f6c5aac0f725d7408bf21b337fdeaf072cbaa17c Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 31 Oct 2026 01:42:08 -0300 Subject: commet explaining why we can safely drain on admission --- lib/kernel/Multigroup.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'lib/kernel') diff --git a/lib/kernel/Multigroup.ml b/lib/kernel/Multigroup.ml index 1b93e0c..f28abc4 100644 --- a/lib/kernel/Multigroup.ml +++ b/lib/kernel/Multigroup.ml @@ -27,7 +27,11 @@ module Make (S : Abstract.Storage.STORAGE) = struct | Ephemeral relation -> E.load ?bind storage relation (* A program is stored as itself, to run whenever it is read; any - other relation is stored as the tuples it holds now. *) + other relation is stored as the tuples it holds now. A relation + with an address never gets here, since its admission stores it as + that address, so the read below drains only a relation not stored + yet: a literal, whose tuples are already in memory, or a lazy one, + such as a query result, read here for the first time. *) let admit name h = let open Utilities.Result in let address entry = Concepts.Hash.hash_of_blob (encode entry) in -- cgit v1.2.3