diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 01:42:08 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 01:42:08 -0300 |
| commit | f6c5aac0f725d7408bf21b337fdeaf072cbaa17c (patch) | |
| tree | 085c625c2cc1ce52efef1690a751b3a49b423a53 /lib | |
| parent | 38e60910a40a4b009db87049f11563f55d88b20f (diff) | |
| download | RNT-f6c5aac0f725d7408bf21b337fdeaf072cbaa17c.tar.gz RNT-f6c5aac0f725d7408bf21b337fdeaf072cbaa17c.zip | |
commet explaining why we can safely drain on admission
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/kernel/Multigroup.ml | 6 |
1 files changed, 5 insertions, 1 deletions
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 |