grabapl_syntax 0.0.4

Parsing support for grabapl.
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

use grabapl::semantics::example::ExampleSemantics as TestSemantics;

const SRC: &'static str = stringify!(
    fn force_child(
        p1: int
    ) -> (child: int) {
        if shape [child: int, p1 -> child: *] {
            // child exists in this scope
        } else {
            diverge<"no child found">();
            // child does not exist in this scope, but ît diverged
        }
        // hence the child node should be visible here

        return (child: child);
    }
);

#[test]
fn diverge_test() {
    let (op_ctx, fn_map) = grabapl_syntax::parse_to_op_ctx_and_map::<TestSemantics>(SRC);

    // assert!(false);
}