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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
use super::*;
use runtime::*;
use serial_test::serial;
use std::collections::HashMap;
use std::rc::Rc;
use std::sync::atomic::Ordering;
fn evaluate_from_source(
content: String,
initial_symbol_table: Option<HashMap<String, Rc<Term>>>,
) -> ProcessResult {
use ast::Program;
use pest::Parser;
let parse_tree_result = lparser::LParser::parse(lparser::Rule::program, &content);
if parse_tree_result.is_err() {
return Err(format!("{}", parse_tree_result.unwrap_err()));
}
let mut parse_tree = parse_tree_result.unwrap();
let syntax_tree: Program = ast::from_parse_tree(&mut parse_tree);
runtime::process(&syntax_tree, initial_symbol_table)
}
fn initialize_before_test() {
VAR_ID_INC.store(0, Ordering::Relaxed);
}
#[test]
#[serial]
fn test_reduce_integer_primitive() -> Result<(), String> {
initialize_before_test();
let term = Term::Primitive(Value::Integer(123));
let (result_term, _) = reduce_term(&HashMap::new(), Rc::new(term.clone()), &None, false)?;
assert_eq!(*result_term, term);
Ok(())
}
#[test]
#[serial]
fn test_reduce_string_primitive() -> Result<(), String> {
initialize_before_test();
let term = Term::Primitive(Value::String(String::from("foobar")));
let (result_term, _) = reduce_term(&HashMap::new(), Rc::new(term.clone()), &None, false)?;
assert_eq!(*result_term, term);
Ok(())
}
#[test]
#[serial]
fn test_reduce_id_call() -> Result<(), String> {
initialize_before_test();
let source = "
id 1;
";
let (terms, symbol_table) = evaluate_from_source(String::from(source), None)?;
assert_eq!(terms.len(), 1);
let term = &terms[0];
let (result_term, _) = reduce_term(&symbol_table, Rc::clone(term), &None, false)?;
let expected = Term::Primitive(Value::Integer(1));
assert_eq!(*result_term, expected);
Ok(())
}
#[test]
#[serial]
fn test_reduce_id_call_negative() -> Result<(), String> {
initialize_before_test();
let source = "
id 1;
";
let (terms, symbol_table) = evaluate_from_source(String::from(source), None)?;
assert_eq!(terms.len(), 1);
let term = &terms[0];
let (result_term, _) = reduce_term(&symbol_table, Rc::clone(term), &None, false)?;
let expected = Term::Primitive(Value::Integer(2));
assert_ne!(*result_term, expected);
Ok(())
}
#[test]
#[serial]
fn test_define_parameterized_func() -> Result<(), String> {
initialize_before_test();
let source = "
f a b = b a;
";
let (terms, symbol_table) = evaluate_from_source(String::from(source), None)?;
assert_eq!(terms.len(), 0);
let term = symbol_table.get("f").ok_or("f not in symbol table")?;
let (result_term, _) = reduce_term(&symbol_table, Rc::clone(term), &None, false)?;
let expected = Term::Abstraction(
0,
Rc::new(Term::Abstraction(
1,
Rc::new(Term::Application(
Rc::new(Term::Variable(1)),
Rc::new(Term::Variable(0)),
)),
)),
);
assert_eq!(*result_term, expected);
Ok(())
}
#[test]
#[serial]
fn test_reduce_parameterized_func() -> Result<(), String> {
initialize_before_test();
let source = "
f 10 id;
";
let predefined_f = Rc::new(Term::Abstraction(
0,
Rc::new(Term::Abstraction(
1,
Rc::new(Term::Application(
Rc::new(Term::Variable(1)),
Rc::new(Term::Variable(0)),
)),
)),
));
let mut initial_symbol_table: HashMap<String, Rc<Term>> = HashMap::new();
initial_symbol_table.insert(String::from("f"), Rc::clone(&predefined_f));
let (terms, symbol_table) =
evaluate_from_source(String::from(source), Some(initial_symbol_table))?;
assert_eq!(terms.len(), 1);
let term = &terms[0];
let (result_term, _) = repeatedly_reduce_term(&symbol_table, Rc::clone(term), &None, false)?;
let expected = Term::Primitive(Value::Integer(10));
assert_eq!(*result_term, expected);
Ok(())
}
|
