import os

const fixed_array_const_vexe = @VEXE
const fixed_array_const_tests_dir = os.dir(@FILE)
const fixed_array_const_v3_dir = os.dir(fixed_array_const_tests_dir)
const fixed_array_const_vlib_dir = os.dir(fixed_array_const_v3_dir)
const fixed_array_const_v3_src = os.join_path(fixed_array_const_v3_dir, 'v3.v')

fn fixed_array_const_build_v3() string {
    v3_bin := os.join_path(os.temp_dir(), 'v3_fixed_array_const_test_${os.getpid()}')
    os.rm(v3_bin) or {}
    build :=
        os.execute('${fixed_array_const_vexe} -gc none -path "${fixed_array_const_vlib_dir}|@vlib|@vmodules" -o ${v3_bin} ${fixed_array_const_v3_src}')
    assert build.exit_code == 0, build.output
    return v3_bin
}

fn test_fixed_array_const_materialization_and_nested_for_in() {
    v3_bin := fixed_array_const_build_v3()
    src := os.join_path(os.temp_dir(), 'v3_fixed_array_const_${os.getpid()}.v')
    os.write_file(src, 'module main

struct Item {
    value int
}

const nums = [[1, 2, 3]!, [4, 5, 6]!]!
const items = [&Item{value: 7}, &Item{value: 8}]!

fn sum_nums() int {
    mut total := 0
    for row in nums {
        for n in row {
            total += n
        }
    }
    return total
}

fn item_sum() int {
    return items[0].value + items[1].value
}

fn main() {
    println(sum_nums().str())
    println(item_sum().str())
}
') or {
        panic(err)
    }
    bin := os.join_path(os.temp_dir(), 'v3_fixed_array_const_${os.getpid()}')
    compile := os.execute('${v3_bin} ${src} -b c -o ${bin}')
    assert compile.exit_code == 0, compile.output
    run := os.execute(bin)
    assert run.exit_code == 0, run.output
    assert run.output.trim_space().split_into_lines() == ['21', '15'], run.output

    generated := os.read_file(bin + '.c') or { panic(err) }
    compact := generated.replace('\t', '').replace(' ', '').replace('\n', '')
    assert compact.contains('memmove(main__nums,'), generated
    assert compact.contains('memmove(main__items,'), generated
    assert compact.contains('introw[3];'), generated
    assert compact.contains('memmove(row,main__nums['), generated
    assert !compact.contains('introw=main__nums['), generated
    assert !compact.contains('<0;'), generated
    deparenthesized := compact.replace('(', '').replace(')', '')
    assert deparenthesized.contains('returnmain__items[0]->value+main__items[1]->value;'), generated
}