summaryrefslogtreecommitdiff
path: root/dhall/tests/macros.rs
blob: 517523812e26b744a7e1db9c18aea44ce8b08c8c (plain)
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
#[macro_export]
macro_rules! assert_eq_ {
    ($left:expr, $right:expr) => {{
        match (&$left, &$right) {
            (left_val, right_val) => {
                if !(*left_val == *right_val) {
                    panic!(
                        r#"assertion failed: `(left == right)`
 left: `{}`,
right: `{}`"#,
                        left_val, right_val
                    )
                }
            }
        }
    }};
}

#[macro_export]
macro_rules! run_spec_test {
    (normalization, $path:expr) => {
        let base_path = concat!("../dhall-lang/tests/", $path);
        run_test(base_path, Feature::Normalization, ExpectedResult::Success);
    };
    (parser, $path:expr) => {
        let base_path = concat!("../dhall-lang/tests/", $path);
        run_test(base_path, Feature::Parser, ExpectedResult::Success);
    };
    (parser_failure, $path:expr) => {
        let base_path = concat!("../dhall-lang/tests/", $path);
        run_test(base_path, Feature::Parser, ExpectedResult::Failure);
    };
}

#[macro_export]
macro_rules! make_spec_test {
    ($type:ident, $name:ident, $path:expr) => {
        #[test]
        #[allow(non_snake_case)]
        #[allow(unused_variables)]
        #[allow(unused_imports)]
        fn $name() {
            use crate::macros::*;
            use dhall::*;
            use dhall_core::*;
            use std::thread;

            // The parser stack overflows even on small files
            // when compiled without optimizations
            thread::Builder::new()
                .stack_size(16 * 1024 * 1024)
                .spawn(move || {
                    run_spec_test!($type, $path);
                })
                .unwrap()
                .join()
                .unwrap();
        }
    };
}

use dhall::*;
use dhall_core::*;
use std::path::PathBuf;

pub enum Feature {
    Parser,
    Normalization,
}

pub enum ExpectedResult {
    Success,
    Failure,
}

pub fn read_dhall_file<'i>(
    file_path: &str,
) -> Result<Expr<String, X, X>, DhallError> {
    load_dhall_file(&PathBuf::from(file_path), true)
}

pub fn run_test(base_path: &str, feature: Feature, expected: ExpectedResult) {
    use self::{ExpectedResult, Feature};
    match (feature, expected) {
        (Feature::Parser, ExpectedResult::Success) => {
            let file_path = base_path.to_owned() + "A.dhall";
            let _expr = read_dhall_file(&file_path)
                .map_err(|e| println!("{}", e))
                .unwrap();
            // panic!("{:?}", _expr);
        }
        (Feature::Parser, ExpectedResult::Failure) => {
            let file_path = base_path.to_owned() + ".dhall";
            let err = read_dhall_file(&file_path).unwrap_err();
            match err {
                DhallError::ParseError(_) => {}
                e => panic!("Expected parse error, got: {:?}", e),
            }
        }
        (Feature::Normalization, ExpectedResult::Success) => {
            let expr_file_path = base_path.to_owned() + "A.dhall";
            let expected_file_path = base_path.to_owned() + "B.dhall";
            let expr = read_dhall_file(&expr_file_path).unwrap();
            let expected = read_dhall_file(&expected_file_path).unwrap();

            assert_eq_!(
                normalize::<_, _, X, _>(&expr),
                normalize::<_, _, X, _>(&expected)
            );
        }
        _ => unimplemented!(),
    }
}