keleusma 0.1.1

Total Functional Stream Processor with definitive WCET and WCMU verification, targeting no_std + alloc embedded scripting
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// Struct declaration, construction, and field access.
//
// Run: keleusma run examples/scripts/02_struct_field.kel
// Expected output: 7

struct Point {
    x: i64,
    y: i64,
}

fn manhattan_norm(p: Point) -> i64 {
    p.x + p.y
}

fn main() -> i64 {
    let origin_offset = Point { x: 3, y: 4 };
    manhattan_norm(origin_offset)
}