1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
use chrysanthemum::ast::*;
use chrysanthemum::simple::*;
use chrysanthemum::util::*;
#[test]
fn test_simple() {
let context = Context::new();
assert_eq!(execute(&context, Const(Term::Boolean(false))), Ok(Term::Boolean(false)));
assert_eq!(execute(&context, Const(Term::Natural(123))), Ok(Term::Natural(123)));
assert_eq!(execute(&context, Const(Term::Integer(123))), Ok(Term::Integer(123)));
assert!(execute(&context, Var("x")).is_err());
}
#[test]
fn test_complex() {
let mut context = Context::new();
context.insert(String::from("x"), Term::Natural(413));
context.insert(String::from("y"), Term::Boolean(true));
assert_eq!(execute(&context, Var("x")), Ok(Term::Natural(413)));
assert_eq!(execute(&context, Cond(Var("y"), Const(Term::Integer(612)), Var("x"))), Ok(Term::Integer(612)));
assert_eq!(execute(&context,
App(Abs("z", Cond(Const(Term::Boolean(false)), Var("x"), Var("z"))), Const(Term::Integer(1025)))), Ok(Term::Integer(1025)));
}
|
