dialectic-compiler 0.1.0

Session type macro compiler for the Dialectic crate
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

#[macro_export]
macro_rules! expect_parse {
    ({$($syntax:tt)*} => $output:expr) => {{
        use dialectic_compiler::Invocation;

        let syntax = stringify!($($syntax)*);
        let s = syn::parse_str::<Invocation>(syntax)
            .unwrap()
            .compile()
            .to_string();

        assert_eq!(s, $output);
    }};
}

#[macro_export]
macro_rules! expect_errors {
    ({$($syntax:tt)*} => [$($err:expr,)*]) => {{
        use {
            dialectic_compiler::{CompileError, Invocation},
            std::collections::HashSet,
        };

        let syntax = stringify!($($syntax)*);
        let err_set = syn::parse_str::<Invocation>(syntax)
            .unwrap()
            .compile()
            .unwrap_err()
            .into_iter()
            .map(|err| err.to_string())
            .collect::<HashSet<_>>();
        let expected_errs: &[CompileError] = &[$($err),*];
        let expected_set = expected_errs.iter().map(|err| err.to_string()).collect::<HashSet<_>>();

        assert_eq!(err_set, expected_set, "unexpected set of errors");
    }};
}