| 1 | import os |
| 2 | |
| 3 | fn write_file(path string, content string) { |
| 4 | os.write_file(path, content) or { panic(err) } |
| 5 | } |
| 6 | |
| 7 | fn test_generic_fn_dedup_collision_issue_27398() { |
| 8 | n_pairs := 24 |
| 9 | tmp := os.join_path(os.vtmp_dir(), 'v_issue_27398_${os.getpid()}') |
| 10 | os.rmdir_all(tmp) or {} |
| 11 | defer { |
| 12 | os.rmdir_all(tmp) or {} |
| 13 | } |
| 14 | |
| 15 | os.mkdir_all(os.join_path(tmp, 'api')) or { panic(err) } |
| 16 | write_file(os.join_path(tmp, 'api', 'common.v'), 'module api |
| 17 | |
| 18 | pub struct MyStruct[T] { |
| 19 | pub: |
| 20 | value T |
| 21 | } |
| 22 | |
| 23 | pub fn make_struct[T](val T) MyStruct[T] { |
| 24 | return MyStruct[T]{value: val} |
| 25 | } |
| 26 | ') |
| 27 | |
| 28 | common_mod := 'module common |
| 29 | |
| 30 | import api |
| 31 | |
| 32 | pub struct Type_a { pub: name string } |
| 33 | pub struct Type_b { pub: age int } |
| 34 | |
| 35 | pub fn call_api() { |
| 36 | a := Type_a{name: "hello"} |
| 37 | b := Type_b{age: 42} |
| 38 | _ = api.make_struct(a) |
| 39 | _ = api.make_struct(b) |
| 40 | } |
| 41 | ' |
| 42 | |
| 43 | mut main_mod := 'module main\n\n' |
| 44 | for i in 0 .. n_pairs { |
| 45 | for _, s in ['a', 'b'] { |
| 46 | dir := os.join_path(tmp, 'm${i}${s}', 'common') |
| 47 | os.mkdir_all(dir) or { panic(err) } |
| 48 | write_file(os.join_path(dir, 'types.v'), common_mod) |
| 49 | main_mod += 'import m${i}${s}.common as m${i}${s}\n' |
| 50 | } |
| 51 | } |
| 52 | main_mod += '\nfn main() {\n' |
| 53 | for i in 0 .. n_pairs { |
| 54 | for _, s in ['a', 'b'] { |
| 55 | main_mod += '\tm${i}${s}.call_api()\n' |
| 56 | } |
| 57 | } |
| 58 | main_mod += '\tprintln("ok")\n}\n' |
| 59 | write_file(os.join_path(tmp, 'main.v'), main_mod) |
| 60 | |
| 61 | old_wd := os.getwd() |
| 62 | os.chdir(tmp) or { panic(err) } |
| 63 | defer { |
| 64 | os.chdir(old_wd) or { panic(err) } |
| 65 | } |
| 66 | res := os.execute('${os.quoted_path(@VEXE)} -skip-unused run .') |
| 67 | |
| 68 | assert res.exit_code == 0, 'compilation failed:\n${res.output}' |
| 69 | assert res.output.trim_space() == 'ok' |
| 70 | } |
| 71 | |