diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-05-23 01:07:14 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-05-23 01:07:14 +0000 |
| commit | db3198d7c5ad7bc60bd24bd1bb2c7b122a6dfbd0 (patch) | |
| tree | 0671ce12b98db653af87de99a443b9f83a623cb5 /lib/drl/executor.ml | |
| parent | 2190193397596663c4de4f51f8355300c1833997 (diff) | |
| download | Sakura-db3198d7c5ad7bc60bd24bd1bb2c7b122a6dfbd0.tar.gz Sakura-db3198d7c5ad7bc60bd24bd1bb2c7b122a6dfbd0.zip | |
Include messages on on all conditions
Diffstat (limited to '')
| -rw-r--r-- | lib/drl/executor.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/drl/executor.ml b/lib/drl/executor.ml index 3900f73..5f820c8 100644 --- a/lib/drl/executor.ml +++ b/lib/drl/executor.ml @@ -2,9 +2,9 @@ module Make (NT : Nt.S) = struct module Error = struct open Condition - let parse_error error = condition "parse-error" ("message" |=| (of_string error)) - let relation_not_found name = condition "relation-not-found" ("name" |=| (of_string name)) - let unsupported_operator msg = condition "unsupported-operator" ("message" |=| (of_string msg)) + let parse_error error = condition "parse-error" error empty + let relation_not_found name = condition "relation-not-found" "Relation not found" ("name" |=| (of_string name)) + let unsupported_operator msg = condition "unsupported-operator" msg empty end let ( let* ) = Result.bind |