struct Vec2d {
    x int
    y int
}

struct Vec3d {
    x int
    y int
    z int
}

type Vec = Vec2d | Vec3d
type SumType = int | string | Vec2d | []Vec2d

fn match_vec(v Vec) {
    match v {
        Vec2d {
            println('Vec2d(${v.x},${v.y})')
        }
        Vec3d {
            println('Vec2d(${v.x},${v.y},${v.z})')
        }
    }
}

fn match_classic_num() {
    a := 42
    match a {
        0 {
            assert false
            (false)
        }
        1 {
            assert false
            (false)
        }
        42 {
            println('life')
        }
        else {
            assert false
            (false)
        }
    }
}

fn match_classic_string() {
    os := 'JS'
    print('V is running on ')
    match os {
        'darwin' { println('macOS.') }
        'linux' { println('Linux.') }
        else { println(os) }
    }
}

fn match_bool_cond() {
    volume := 'c:'
    rooted := false
    path_separator := '/'
    println(match true {
        volume.len != 0 { volume }
        !rooted { '.' }
        else { path_separator }
    })
}

fn match_sum_type(sum SumType) {
    match sum {
        int {
            println('sum is int')
        }
        string {
            println('sum is string')
        }
        Vec2d {
            println('sum is Vec2d')
        }
        []Vec2d {
            println('sum is []Vec2d')
        }
    }
}

fn main() {
    match_vec(Vec2d{42, 43})
    match_vec(Vec3d{46, 74, 21})
    match_classic_num()
    match_classic_string()
    match_bool_cond()
    match_sum_type(42)
    match_sum_type('everything')
    match_sum_type(Vec2d{7, 11})
    match_sum_type([Vec2d{7, 11}, Vec2d{13, 17}])
}