From db3198d7c5ad7bc60bd24bd1bb2c7b122a6dfbd0 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Sat, 23 May 2026 01:07:14 +0000 Subject: Include messages on on all conditions --- lib/drl/executor.ml | 6 +++--- lib/drl/parser.ml | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'lib/drl') 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 = -- cgit v1.2.3