CompilerDriver/cc2/regression-tests/pure2-look-up-parameter-across-unnamed-function.cpp2


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19


f: () -> (ri : int = 0) = {
    pred := :(e) e == 1;
    ri = 42;
    pred(ri);
    // "return;" is implicit"
}

g: () -> (ri : int) = {
    ri = 0;
    pred := :(e) e == 1;
    ri = 42;
    pred(ri);
    return;
}

main: ()->int = {
    std::cout << f() + g() << "\n";
}