cairo-native 0.9.0-rc.3

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
16
17
18
19

use nullable::null;
use nullable::match_nullable;
use nullable::FromNullableResult;
use nullable::nullable_from_box;
use box::BoxTrait;

fn run_test(x: u8) -> u8 {
    let b: Box<u8> = BoxTrait::new(x);
    let c = if x == 0 {
        null()
    } else {
        nullable_from_box(b)
    };
    let d = match match_nullable(c) {
        FromNullableResult::Null(_) => 99_u8,
        FromNullableResult::NotNull(value) => value.unbox()
    };
    d
}