elenchus-parser 0.8.0

English-like DSL parser for the elenchus consistency checker (facts, premises, rules, checks).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

---
source: crates/elenchus-parser/tests/errors.rs
expression: "err(\"ASSUME lonely\\n\")"
---
RESULT: 1 syntax error

ASSUME  (1 problem)
  syntax  : ASSUME [NOT] <Subject> <predicate> [<object>]
  example : ASSUME release is_ready
    line 1, col 8 - ASSUME expects an atom: [NOT] <Subject> <predicate> [<object>]
      | ASSUME lonely
      |        ^^^^^^