progs/tests/tuples.sy


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

start :: fn {
    a := (1,2)
    a[0] <=> 1
    a[1] <=> 2

    b := (1,)
    b[0] <=> 1

    empty := ()
    c := (empty,)
    c[0] <=> ()

    a := (1,2)
    a[0] <=> a[1]

    {
        q := a[0]
        w := a[0]
        q + w
        q - w
        q * w
    }
}