progs/tests/constant/global_constants.sy


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

// TODO(ed): Pure functions
fac :: fn n: int -> int {
    if n < 1 { ret 1 }
    ret n * fac! n - 1
}

a :: fac! 4
b :: a + fac! 2
c := b + 1

start :: fn {
    a <=> 24
    b <=> 24 + 2
    c <=> 24 + 2 + 1
    c += 1
    c <=> 24 + 2 + 2
}