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
---
source: crates/elenchus-parser/tests/errors.rs
expression: "err(r#\"\n        RULE r\n            WHEN x a\n            THEN x b\n        \"#)"
---
RESULT: 1 syntax error

other  (1 problem)
    line 2, col 15 - expected ':' after the rule name
      |         RULE r
      |               ^