diff options
Diffstat (limited to 'lib/drl')
| -rw-r--r-- | lib/drl/executor.ml | 6 | ||||
| -rw-r--r-- | lib/drl/parser.ml | 2 |
2 files changed, 4 insertions, 4 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 diff --git a/lib/drl/parser.ml b/lib/drl/parser.ml index df8e485..be1f1eb 100644 --- a/lib/drl/parser.ml +++ b/lib/drl/parser.ml @@ -1,6 +1,6 @@ module Error = struct open Condition - let parse_error msg = condition "parse-error" ("message" |=| (of_string msg)) + let parse_error msg = condition "parse-error" msg empty end let of_sexp sexp = |