@@ -1605,7 +1605,8 @@ fn input_is_cmd_v(input_file string) bool {
16051605
16061606fn default_bin_file_for_input (input_file string ) string {
16071607 if os.is_dir (input_file) {
1608- return os.base (os.real_path (input_file))
1608+ real_input := os.real_path (input_file)
1609+ return os.join_path_single (real_input, os.base (real_input))
16091610 }
16101611 if input_file.ends_with ('.vv' ) {
16111612 return input_file.all_before_last ('.vv' )
@@ -4434,6 +4435,9 @@ pub fn run(args []string) {
44344435 if request_macos_v3_compatibility_fallback (p.diagnostics, macos_v3_ fallback_file) {
44354436 exit (1 )
44364437 }
4438+ if macos_v3_ fallback_file != '' {
4439+ exit (1 )
4440+ }
44374441 for diagnostic in p.diagnostics {
44384442 if file := a.source_files[diagnostic.pos.id] {
44394443 _ = file
@@ -4754,7 +4758,9 @@ pub fn run(args []string) {
47544758 cvsw.restart ()
47554759 }
47564760 if pre_tc.check_interface_embedding_limits () {
4757- print_type_diagnostics (a, pre_tc.notices, pre_tc.errors, is_checker_fixture)
4761+ if macos_v3_fallback_file == '' {
4762+ print_type_diagnostics (a, pre_tc.notices, pre_tc.errors, is_checker_fixture)
4763+ }
47584764 exit (1 )
47594765 }
47604766 if verbose {
@@ -4848,7 +4854,9 @@ pub fn run(args []string) {
48484854 fixture_used_fns, false )
48494855 }
48504856 }
4851- print_type_diagnostics (a, pre_tc.notices, pre_tc.errors, is_checker_fixture)
4857+ if macos_v3_fallback_file == '' {
4858+ print_type_diagnostics (a, pre_tc.notices, pre_tc.errors, is_checker_fixture)
4859+ }
48524860 pre_tc.notices.clear ()
48534861 }
48544862 if pre_tc.errors.len > 0 {
@@ -5265,6 +5273,9 @@ pub fn run(args []string) {
52655273 b.step ('annotate types (cached)' )
52665274 }
52675275 if pre_tc.errors.len > 0 {
5276+ if macos_v3_ fallback_file != '' {
5277+ exit (1 )
5278+ }
52685279 print_type_diagnostics (a, pre_tc.notices, pre_tc.errors, is_checker_fixture)
52695280 exit (1 )
52705281 }
@@ -5411,7 +5422,9 @@ pub fn run(args []string) {
54115422 used_fns = monomorph_used_fns.move ()
54125423 }
54135424 if pre_tc.notices.len > 0 || pre_tc.errors.len > 0 {
5414- print_type_diagnostics (a, pre_tc.notices, pre_tc.errors, is_checker_fixture)
5425+ if pre_tc.errors.len == 0 || macos_v3_fallback_file == '' {
5426+ print_type_diagnostics (a, pre_tc.notices, pre_tc.errors, is_checker_fixture)
5427+ }
54155428 pre_tc.notices.clear ()
54165429 }
54175430 if pre_tc.errors.len > 0 {
0 commit comments