diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2025-07-02 23:51:57 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2025-07-02 23:51:57 -0300 |
| commit | 96fc73c76a058465336a58c3ee6ce3aa77cbe440 (patch) | |
| tree | ba9fc2eb44d037695cd65039e9a7728dbd98d118 /lib/protocol.ml | |
| parent | 998cf183c45e604430b4a80425bd2332fb30cfe1 (diff) | |
| download | Sakura-96fc73c76a058465336a58c3ee6ce3aa77cbe440.tar.gz Sakura-96fc73c76a058465336a58c3ee6ce3aa77cbe440.zip | |
implement join and fix serialization
Diffstat (limited to 'lib/protocol.ml')
| -rw-r--r-- | lib/protocol.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/protocol.ml b/lib/protocol.ml index 5fe29d1..c67fb9a 100644 --- a/lib/protocol.ml +++ b/lib/protocol.ml @@ -1,9 +1,10 @@ open Protocol_conv_xml open Sexplib0.Sexp_conv +(* open Sexplib *) type tuple = string list [@@deriving sexp, protocol ~driver:(module Xml_light)] -type command = Disk.Command.t [@@deriving sexp] +type command = Disk.Command.t [@@deriving sexp, protocol ~driver:(module Xml_light)] type relation = { attribute_name : string; @@ -11,6 +12,7 @@ type relation = { tuples : tuple; } [@@deriving sexp, protocol ~driver:(module Xml_light)] - -type facts = relation list +(* (int64 * (string*Executor.relational_literal) list) list *) +(* type facts = relation list *) +type facts = (int64 * (string*Disk.Executor.relational_literal) list) list [@@deriving sexp, protocol ~driver:(module Xml_light)] |