diff options
| -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 |