diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-10 00:32:29 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-10 00:32:29 -0300 |
| commit | 0161187d843c84011749139a85c0eb31685bbc4c (patch) | |
| tree | 1861790b104e40995c05898766a5b5c972d379e6 /lib/kernel/Multigroup.ml | |
| parent | 6044d2ee551eed72407027c58df625af8a7a8119 (diff) | |
| download | RNT-0161187d843c84011749139a85c0eb31685bbc4c.tar.gz RNT-0161187d843c84011749139a85c0eb31685bbc4c.zip | |
rework store ephemeral relation under program and fail at path look
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Multigroup.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/kernel/Multigroup.ml b/lib/kernel/Multigroup.ml index 5a3390d..eaef8c3 100644 --- a/lib/kernel/Multigroup.ml +++ b/lib/kernel/Multigroup.ml @@ -31,12 +31,12 @@ module Make (S : Abstract.Storage.STORAGE) = struct let admit name h = let open Utilities.Result in let address entry = Concepts.Hash.hash_of_blob (encode entry) in - match EphemeralRelation.stored h with - | Some (evaluator, code, _) -> + match Program.image h with + | Some {evaluator; source; _} -> let* description = Protocols.Relation.heading h in Ok (fun tx -> - let* record = E.store tx ~name ~evaluator ~code description in + let* record = E.store tx ~name ~evaluator ~source description in Ok (address (Ephemeral record)) ) | None -> let* description, tuples = Protocols.Relation.read h in |