diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/prl/executor.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/prl/executor.ml b/lib/prl/executor.ml index 8ed4195..fcd4ec0 100644 --- a/lib/prl/executor.ml +++ b/lib/prl/executor.ml @@ -2,10 +2,10 @@ module Make (NT : Nt.S) = struct module Error = struct open Condition (* TODO: more structure *) - let parse_error msg = condition "parse-error" ("message" |=| (of_string msg)) - let runtime_error msg = condition "runtime-error" ("message" |=| (of_string msg)) - let unknown_plugin_symbol name = condition "unknown-plugin-symbol" ("name" |=| (of_string name)) - let relation_not_found name = condition "relation-not-found" ("name" |=| (of_string name)) + 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 |