CSY/reowolf Files · src/protocol/tests/eval_calls.rs · Centrum Wiskunde & Informatica (CWI)

Files @ ef37386d0c6f

Branch filter:

Location: CSY/reowolf/src/protocol/tests/eval_calls.rs

ef37386d0c6f 729 B application/rls-services+xml Show Annotation Show as Raw Download as Raw

Put expression types of procedures in type table

Before we annotated the AST. But that is silly in hindsight:
certain operations have a completely different meaning when applied
in a polymorphic context (i.e. the field index determined by a
select expression).

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)));
    });

    println!("\n\n\n\n\n\n\n");

    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)));
    });
}