124 lines
3.2 KiB
Rust
124 lines
3.2 KiB
Rust
|
use dust_lang::*;
|
||
|
|
||
|
#[test]
|
||
|
fn empty() {
|
||
|
assert_eq!(interpret("x = 9"), Ok(Value::Option(None)));
|
||
|
assert_eq!(interpret("x = 1 + 1"), Ok(Value::Option(None)));
|
||
|
}
|
||
|
|
||
|
#[test]
|
||
|
fn integer() {
|
||
|
assert_eq!(interpret("1"), Ok(Value::Integer(1)));
|
||
|
assert_eq!(interpret("123"), Ok(Value::Integer(123)));
|
||
|
assert_eq!(interpret("-666"), Ok(Value::Integer(-666)));
|
||
|
}
|
||
|
|
||
|
#[test]
|
||
|
fn float() {
|
||
|
assert_eq!(interpret("0.1"), Ok(Value::Float(0.1)));
|
||
|
assert_eq!(interpret("12.3"), Ok(Value::Float(12.3)));
|
||
|
assert_eq!(interpret("-6.66"), Ok(Value::Float(-6.66)));
|
||
|
}
|
||
|
|
||
|
#[test]
|
||
|
fn string() {
|
||
|
assert_eq!(interpret("\"one\""), Ok(Value::string("one".to_string())));
|
||
|
assert_eq!(interpret("'one'"), Ok(Value::string("one".to_string())));
|
||
|
assert_eq!(interpret("`one`"), Ok(Value::string("one".to_string())));
|
||
|
assert_eq!(interpret("`'one'`"), Ok(Value::string("'one'".to_string())));
|
||
|
assert_eq!(interpret("'`one`'"), Ok(Value::string("`one`".to_string())));
|
||
|
assert_eq!(
|
||
|
interpret("\"'one'\""),
|
||
|
Ok(Value::string("'one'".to_string()))
|
||
|
);
|
||
|
}
|
||
|
|
||
|
#[test]
|
||
|
fn list() {
|
||
|
assert_eq!(
|
||
|
interpret("[1, 2, 'foobar']"),
|
||
|
Ok(Value::List(List::with_items(vec![
|
||
|
Value::Integer(1),
|
||
|
Value::Integer(2),
|
||
|
Value::string("foobar".to_string()),
|
||
|
])))
|
||
|
);
|
||
|
}
|
||
|
|
||
|
#[test]
|
||
|
fn map() {
|
||
|
let map = Map::new();
|
||
|
|
||
|
map.set("x".to_string(), Value::Integer(1), None).unwrap();
|
||
|
map.set("foo".to_string(), Value::string("bar".to_string()), None)
|
||
|
.unwrap();
|
||
|
|
||
|
assert_eq!(interpret("{ x = 1, foo = 'bar' }"), Ok(Value::Map(map)));
|
||
|
}
|
||
|
|
||
|
#[test]
|
||
|
fn map_types() {
|
||
|
let map = Map::new();
|
||
|
|
||
|
map.set("x".to_string(), Value::Integer(1), Some(Type::Integer))
|
||
|
.unwrap();
|
||
|
map.set(
|
||
|
"foo".to_string(),
|
||
|
Value::string("bar".to_string()),
|
||
|
Some(Type::String),
|
||
|
)
|
||
|
.unwrap();
|
||
|
|
||
|
assert_eq!(
|
||
|
interpret("{ x <int> = 1, foo <str> = 'bar' }"),
|
||
|
Ok(Value::Map(map))
|
||
|
);
|
||
|
}
|
||
|
|
||
|
#[test]
|
||
|
fn map_type_errors() {
|
||
|
assert!(interpret("{ foo <bool> = 'bar' }")
|
||
|
.unwrap_err()
|
||
|
.is_error(&Error::TypeCheck {
|
||
|
expected: Type::Boolean,
|
||
|
actual: Type::String
|
||
|
}))
|
||
|
}
|
||
|
|
||
|
#[test]
|
||
|
fn function() {
|
||
|
let result = interpret("() <int> { 1 }");
|
||
|
let value = result.unwrap();
|
||
|
let function = value.as_function().unwrap();
|
||
|
let function = if let Function::ContextDefined(function) = function {
|
||
|
function
|
||
|
} else {
|
||
|
panic!("Something is wrong with this test...");
|
||
|
};
|
||
|
|
||
|
assert_eq!(&Vec::<Identifier>::with_capacity(0), function.parameters());
|
||
|
assert_eq!(&Type::Integer, function.return_type());
|
||
|
|
||
|
let result = interpret("(x <bool>) <bool> { true }");
|
||
|
let value = result.unwrap();
|
||
|
let function = value.as_function().unwrap();
|
||
|
let function = if let Function::ContextDefined(function) = function {
|
||
|
function
|
||
|
} else {
|
||
|
panic!("Something is wrong with this test...");
|
||
|
};
|
||
|
|
||
|
assert_eq!(
|
||
|
&vec![Identifier::new("x".to_string())],
|
||
|
function.parameters()
|
||
|
);
|
||
|
assert_eq!(&Type::Boolean, function.return_type());
|
||
|
}
|
||
|
|
||
|
#[test]
|
||
|
fn option() {
|
||
|
let result = interpret("x <option(int)> = some(1); x").unwrap();
|
||
|
|
||
|
assert_eq!(Value::Option(Some(Box::new(Value::Integer(1)))), result);
|
||
|
}
|