elenchus-parser 0.7.1

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(r#\"\n        PREMISE wings_need_bone:\n            WHEN Creature.A has flying\n        CHECK Creature.A\n        \"#)"
---
RESULT: 1 syntax error

THEN  (1 problem)
  syntax  : THEN <literal>
  example : THEN motor uses fast_path
    line 4, col 9 - expected THEN to complete the WHEN ... THEN implication
      |         CHECK Creature.A
      |         ^^^^^^^^^^^^^^^^