Files
@ 9e91c70a70e2
Branch filter:
Location: CSY/reowolf/src/protocol/tests/eval_calls.rs - annotation
9e91c70a70e2
1.0 KiB
application/rls-services+xml
Add small test for inference error
d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b b69f417a9972 d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b b69f417a9972 d36ad4f5458b 120857c65991 120857c65991 120857c65991 120857c65991 120857c65991 120857c65991 120857c65991 120857c65991 120857c65991 120857c65991 120857c65991 120857c65991 120857c65991 d36ad4f5458b | use super::*;
#[test]
fn test_function_call() {
Tester::new_single_source_expect_ok("with literal arg", "
func add_two(u32 value) -> u32 {
return value + 2;
}
func foo() -> u32 {
return add_two(5);
}
").for_function("foo", |f| {
f.call_ok(Some(Value::UInt32(7)));
});
Tester::new_single_source_expect_ok("with variable arg", "
func add_two(u32 value) -> u32 {
value += 1;
return value + 1;
}
func foo() -> bool {
auto initial = 5;
auto result = add_two(initial);
return initial == 5 && result == 7;
}").for_function("foo", |f| {
f.call_ok(Some(Value::Bool(true)));
});
}
#[test]
fn test_empty_blocks() {
// Yes this is silly, but I managed to make this a bug before
Tester::new_single_source_expect_ok("traversing empty statements", "
func foo() -> u32 {
auto val = 128;
if (true) {}
while (false) {}
return val;
}
").for_function("foo", |f| { f.call_ok(Some(Value::UInt32(128))); });
}
|