From cf0fffed43d0ca7618cd0013411151e057b7a32a Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 18 May 2026 12:35:26 -0300 Subject: RNT interface Co-authored-by: Estevan Castilho --- lib/scl/executor.ml | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'lib/scl/executor.ml') diff --git a/lib/scl/executor.ml b/lib/scl/executor.ml index 7532eaa..6848091 100644 --- a/lib/scl/executor.ml +++ b/lib/scl/executor.ml @@ -6,11 +6,12 @@ type cursor_batch = { has_more : bool; } -type exec_result = Batch of cursor_batch | Closed of Management.Multigroup.multigroup +type exec_result = + | Batch of cursor_batch + | Closed of Sublanguage_types.transition_delta -module Make (Storage : Management.Physical.S) = struct - module DrlExec = Drl.Executor.Make (Storage) - module Alg = Algebra.Make (Storage) +module Make (NT : Nt.S) = struct + module DrlExec = Drl.Executor.Make (NT) type error = | ParseError of string @@ -26,8 +27,8 @@ module Make (Storage : Management.Physical.S) = struct let ( let* ) = Result.bind - let execute (_storage : Storage.t) (db : Management.Multigroup.multigroup) - (stmt : Ast.statement) : (exec_result, error) result = + let execute (ctx : Sublanguage_context.t) (stmt : Ast.statement) : + (exec_result, error) result = ignore default_batch; match stmt with | Ast.Begin _ -> @@ -36,7 +37,7 @@ module Make (Storage : Management.Physical.S) = struct Error (CursorError "cursors not yet implemented") | Ast.Close _ -> let* () = Ok () in - Ok (Closed db) + Ok (Closed ctx.branch#multigroups) end -module Memory = Make (Management.Physical.Memory) +module Memory = Make (Nt.Memory) -- cgit v1.2.3