diff options
Diffstat (limited to 'lib/scl/executor.ml')
| -rw-r--r-- | lib/scl/executor.ml | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/lib/scl/executor.ml b/lib/scl/executor.ml deleted file mode 100644 index 5fadc6d..0000000 --- a/lib/scl/executor.ml +++ /dev/null @@ -1,29 +0,0 @@ -let default_batch = 50 - -type cursor_batch = {cursor_id: string; rows: Tuple.materialized list; has_more: bool} -type exec_result = Batch of cursor_batch | Closed of Sublanguage_types.transition_delta - -module Make (NT : Nt.S) = struct - module DrlExec = Drl.Executor.Make (NT) - - module Error = struct - open Condition - - (* TODO: more structure *) - let cursor_error msg = condition "cursor-error" msg empty - end - - let ( let* ) = Result.bind - - let execute (ctx : Sublanguage_context.t) (stmt : Ast.statement) : - (exec_result, Condition.t) result = - ignore default_batch; - match stmt with - | Ast.Begin _ -> Error (Error.cursor_error "cursors not yet implemented") - | Ast.Fetch _ -> Error (Error.cursor_error "cursors not yet implemented") - | Ast.Close _ -> - let* () = Ok () in - Ok (Closed ctx.branch#multigroups) -end - -module Memory = Make (Nt.Memory) |
