elenchus-compiler 0.6.0

Compiles parsed elenchus DSL into a canonical Impossible/CNF clause IR: import resolution, desugaring, atom interning, content-addressed dedup.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

//! Snapshot tests for compiler-level errors (Display form).

use elenchus_compiler::{MemoryResolver, compile, compile_source};

#[test]
fn premise_redefinition() {
    let src = r#"
    PREMISE e:
        EXCLUSIVE
            x a
            x b
    PREMISE e:
        EXCLUSIVE
            x a
            x c
    "#;
    let e = compile_source("main.vrf", src).unwrap_err();
    insta::assert_snapshot!(format!("{e}"));
}

#[test]
fn parse_error_is_wrapped_with_source() {
    let e = compile_source("main.vrf", "FACT lonely\n").unwrap_err();
    insta::assert_snapshot!(format!("{e}"));
}

#[test]
fn circular_import() {
    let mut r = MemoryResolver::new();
    r.add("a.vrf", "IMPORT \"b.vrf\"\n");
    r.add("b.vrf", "IMPORT \"a.vrf\"\n");
    let e = compile("a.vrf", &r).unwrap_err();
    insta::assert_snapshot!(format!("{e}"));
}

#[test]
fn missing_import() {
    let mut r = MemoryResolver::new();
    r.add("main.vrf", "IMPORT \"ghost.vrf\"\n");
    let e = compile("main.vrf", &r).unwrap_err();
    insta::assert_snapshot!(format!("{e}"));
}