diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/prl/executor.ml | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/lib/prl/executor.ml b/lib/prl/executor.ml index fcd4ec0..4a055ae 100644 --- a/lib/prl/executor.ml +++ b/lib/prl/executor.ml @@ -1,11 +1,16 @@ 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)) + + 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 @@ -19,16 +24,15 @@ module Make (NT : Nt.S) = struct 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") + 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_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") + let _execute_list_function_predicates _ctx = Error (Error.runtime_error "PRL disabled") end |