elenchus-parser 0.10.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(\"PROVIDE k true\\n\")"
---
RESULT: 1 syntax error

PROVIDE  (1 problem)
  syntax  : PROVIDE <name>: true|false
  example : PROVIDE db_ready: true
    line 1, col 11 - PROVIDE expects ':' then a value: PROVIDE <name>: true|false
      | PROVIDE k true
      |           ^^^^