From e32ba6294781691846c3ab19281fe977350b4d0f Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 15:30:53 -0300 Subject: preparation cleanup for RNT integration --- lib/prl/executor.ml | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 lib/prl/executor.ml (limited to 'lib/prl/executor.ml') diff --git a/lib/prl/executor.ml b/lib/prl/executor.ml deleted file mode 100644 index 4a055ae..0000000 --- a/lib/prl/executor.ml +++ /dev/null @@ -1,38 +0,0 @@ -module Make (NT : Nt.S) = struct - module Error = struct - open Condition - - (* TODO: more structure *) - let parse_error msg = condition "parse-error" msg empty - let runtime_error msg = condition "runtime-error" msg empty - - let unknown_plugin_symbol name = - condition "unknown-plugin-symbol" "Unknown plugin" ("name" |=| of_string name) - - let relation_not_found name = - condition "relation-not-found" "Relation not found" ("name" |=| of_string name) - end - - let ( let* ) = Result.bind - - (* TODO: PRL function predicates are OCaml shared-library callbacks that - produce tuples at runtime. To make their output joinable inside the - Tarski VM they need to be materialised into a temporary relation in the - InMemoryBackend and then SCANned like any other stored relation. This - requires a `rnt_register_ephemeral_relation` C API call that does not - yet exist. Disable PRL execution until that bridge is in place. *) - - let execute (_ctx : Sublanguage_context.t) (_stmt : Ast.statement) : - (Sublanguage_types.result, Condition.t) result = - Error - (Error.runtime_error - "PRL execution is temporarily disabled pending VM callback-cursor support" ) - - let _execute_load_library _ctx _path = Error (Error.runtime_error "PRL disabled") - - let _execute_define_function_predicate _ctx (_spec : Ast.function_predicate) = - let* _ = Ok () in - Error (Error.runtime_error "PRL disabled") - - let _execute_list_function_predicates _ctx = Error (Error.runtime_error "PRL disabled") -end -- cgit v1.2.3