From 96fc73c76a058465336a58c3ee6ce3aa77cbe440 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 2 Jul 2025 23:51:57 -0300 Subject: implement join and fix serialization --- lib/protocol.ml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'lib/protocol.ml') 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)] -- cgit v1.2.3