crisp-parser 1.7.1

Crisp parser — tokens to AST (spec Appendix A)
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
43
44
45
46

//! Shape syntax parses; resolve accepts shape defs/bounds (#61).

use crisp_ast::item::Item;
use crisp_parser::Parser;

#[test]
fn shape_def_parses() {
    let src = r#"
shape HasPosition = {
    x: float
    y: float
}
"#;
    let mut p = Parser::new(src).expect("lex");
    let file = p.parse_file().expect("shape def should parse");
    assert!(
        file.items.iter().any(|i| matches!(i, Item::ShapeDef(_))),
        "expected ShapeDef item"
    );
}

#[test]
fn parametric_shape_parses() {
    let src = r#"
shape Boxy<T> = {
    value: T
}
"#;
    let mut p = Parser::new(src).expect("lex");
    let file = p.parse_file().expect("parametric shape should parse");
    let Item::ShapeDef(s) = &file.items[0] else {
        panic!("expected ShapeDef");
    };
    assert_eq!(s.name.name, "Boxy");
    assert_eq!(s.generics.len(), 1);
    assert_eq!(s.generics[0].name, "T");
}

#[test]
fn shape_bound_in_param_parses() {
    let src = r#"
distance(a: T + shape HasPosition) = 0.0
"#;
    let mut p = Parser::new(src).expect("lex");
    p.parse_file().expect("shape bound should parse");
}