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