cairo-native 0.9.0-rc.5

A compiler to convert Cairo's IR Sierra code to MLIR and execute it.
1
2
3
4
5
6
7
8
9
10
11
12

// This function is NOT considered tail recursive and will not be optimized
// because the state is not empty (it needs `i`).
fn inner(i: felt252) -> felt252 {
    match i {
        0 => 0,
        _ => i + inner(i - 1),
    }
}

fn main() -> felt252 {
    inner(1000000)
}