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/prl/executor.ml | 8 ++++---- lib/prl/parser.ml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'lib/prl') 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 diff --git a/lib/prl/parser.ml b/lib/prl/parser.ml index 59cbceb..2567eea 100644 --- a/lib/prl/parser.ml +++ b/lib/prl/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