From 481063c322ecc729bc9d3c5d2bca830f70ce8022 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 3 Jul 2025 19:43:29 -0300 Subject: schema propagation command --- lib/planner.ml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/planner.ml') diff --git a/lib/planner.ml b/lib/planner.ml index c66e46b..8127c41 100644 --- a/lib/planner.ml +++ b/lib/planner.ml @@ -162,6 +162,8 @@ module Executor = struct open Disk.Executor let perform (commit : Executor.commit) (locations : Executor.locations) (command : Command.t) = match command with + | State -> + Ok ((commit, locations), Command.Schema (StringMap.to_list commit.schema)) | Nest {relation_name;} -> let results = Join.nest commit locations relation_name in Ok ((commit, locations), Command.Read results) -- cgit v1.2.3