diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-27 23:24:19 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-04-27 23:24:19 -0300 |
| commit | 97960adb8426e5270fe16b027e82a2c61674f821 (patch) | |
| tree | 03da5611898c06cd3868d4384ef4259005a29b69 /lib/listener.ml | |
| parent | 56492ad5f6f09d8c9f337d42803b64d1b9f0668b (diff) | |
| download | Sakura-97960adb8426e5270fe16b027e82a2c61674f821.tar.gz Sakura-97960adb8426e5270fe16b027e82a2c61674f821.zip | |
Foreign call PRL (#67)
Diffstat (limited to 'lib/listener.ml')
| -rw-r--r-- | lib/listener.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/listener.ml b/lib/listener.ml index c706180..9d0e67b 100644 --- a/lib/listener.ml +++ b/lib/listener.ml @@ -34,6 +34,7 @@ functor (module Dml.Sublanguage.Make (S) : SubS); (module Icl.Sublanguage.Make (S) : SubS); (module Dcl.Sublanguage.Make (S) : SubS); + (module Prl.Sublanguage.Make (S) : SubS); (module Scl.Sublanguage.Make (S) : SubS); ] Utilities.StringMap.empty @@ -63,7 +64,7 @@ functor let perform storage catalog ctx db_head old_db result = match result with - | Sublanguage.Transition (new_db, _) -> + | Sublanguage.Transition new_db -> if Atomic.compare_and_set db_head old_db new_db then ( advance_head_branch storage new_db.hash; Ok result) @@ -168,11 +169,10 @@ functor List [ Atom "db_name"; Atom db.name ]; List [ Atom "branch"; Atom (get_branch storage) ]; ] - | Ok (Sublanguage.Transition (new_db, message)) -> + | Ok (Sublanguage.Transition new_db) -> List [ Atom "ok"; - List [ Atom "message"; Atom message ]; List [ Atom "db_hash"; Atom new_db.hash ]; List [ Atom "db_name"; Atom new_db.name ]; (* TODO: `serialize' shouldn't need access to the storage layer *) |