diff options
Diffstat (limited to 'lib/prl/executor.ml')
| -rw-r--r-- | lib/prl/executor.ml | 38 |
1 files changed, 0 insertions, 38 deletions
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 |