cairo-native 0.9.0-rc.8

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
13
14
15
extern fn coupon_buy<T>() -> T nopanic;
fn run_test(mut x: felt252) {

    let mut y = x + 4;
    let mut c = coupon_buy();
    bar(ref x, ref c, ref y);
    foo(__coupon__: c);
}
#[inline(never)]
fn foo() {

}
#[inline(never)]
fn bar(ref x: felt252, ref c: foo::Coupon, ref y: felt252) {
}