51 lines
1.1 KiB
Rust
51 lines
1.1 KiB
Rust
|
use dust_lang::*;
|
||
|
|
|
||
|
|
#[test]
|
||
|
|
fn simple_type_check() {
|
||
|
|
let result = interpret("x <bool> = 1");
|
||
|
|
|
||
|
|
assert!(result.unwrap_err().is_error(&Error::TypeCheck {
|
||
|
|
expected: Type::Boolean,
|
||
|
|
actual: Type::Integer
|
||
|
|
}));
|
||
|
|
}
|
||
|
|
|
||
|
|
#[test]
|
||
|
|
fn argument_count_check() {
|
||
|
|
let source = "
|
||
|
|
foo = (x <int>) <bool> {
|
||
|
|
x
|
||
|
|
}
|
||
|
|
foo()
|
||
|
|
";
|
||
|
|
let result = interpret(&source);
|
||
|
|
|
||
|
|
assert_eq!(
|
||
|
|
"Expected 1 arguments, but got 0. Occured at (4, 12) to (4, 17). Source: foo()",
|
||
|
|
result.unwrap_err().to_string()
|
||
|
|
)
|
||
|
|
}
|
||
|
|
|
||
|
|
#[test]
|
||
|
|
fn callback_type_check() {
|
||
|
|
let result = interpret(
|
||
|
|
"
|
||
|
|
x = (cb <() -> bool>) <bool> {
|
||
|
|
cb()
|
||
|
|
}
|
||
|
|
x(() <int> { 1 })
|
||
|
|
",
|
||
|
|
);
|
||
|
|
|
||
|
|
assert!(result.unwrap_err().is_error(&Error::TypeCheck {
|
||
|
|
expected: Type::Function {
|
||
|
|
parameter_types: vec![],
|
||
|
|
return_type: Box::new(Type::Boolean),
|
||
|
|
},
|
||
|
|
actual: Type::Function {
|
||
|
|
parameter_types: vec![],
|
||
|
|
return_type: Box::new(Type::Integer),
|
||
|
|
},
|
||
|
|
}));
|
||
|
|
}
|