elenchus-parser 0.9.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(\"IMPORT \\\"physics.vrf\\n\")"
---
RESULT: 1 syntax error

IMPORT  (1 problem)
  syntax  : IMPORT "<path>" [AS <alias>]
  example : IMPORT "physics.vrf"
    line 1, col 8 - IMPORT expects a quoted path, e.g. IMPORT "physics.vrf"
      | IMPORT "physics.vrf
      |        ^^^^^^^^^^^^