lab/sx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

refactor(ffi-linkage): Phase 8 pre-cutover — migrate identity ffi-foreign-* test decls

Browse Source 
Migrate the DECLS of the 7 identity-#foreign feature tests to extern/export
(1205-global/-helper, 1207, 1218-cvariadic, 1219, 1306, 1318): fn/global markers →
extern, the 2 objc import classes (1306/1318) → postfix '#objc_class("X") extern {'.
Behavior-preserving (A→B gate + existing extern twins guarantee identical output);
empty snapshot diff, corpus-validated. Comment-only #foreign in these files is left
for the Phase 9.3 doc/comment purge (comments aren't parsed → not cutover-critical).
Suite green (647 corpus / 444 unit, 0 failed).
This commit is contained in:
agra
2026-06-15 07:28:20 +03:00
parent 8b91677a1b
commit 2cce6a3a26
7 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/1205-ffi-foreign-global-helper.sx
View File

@@ -6,7 +6,7 @@
// this file participates in the link and the cross-file decl // this file participates in the link and the cross-file decl
// coexistence is exercised. // coexistence is exercised.
__stdinp : *void #foreign; __stdinp : *void extern;
stdinp_addr_present :: () -> i32 { stdinp_addr_present :: () -> i32 {
1 1

2
examples/1205-ffi-foreign-global.sx
View File

@@ -17,7 +17,7 @@
#import "modules/std.sx"; #import "modules/std.sx";
#import "1205-ffi-foreign-global-helper.sx"; #import "1205-ffi-foreign-global-helper.sx";
__stdinp : *void #foreign; __stdinp : *void extern;
main :: () -> i32 { main :: () -> i32 {
addr_bits : u64 = xx @__stdinp; addr_bits : u64 = xx @__stdinp;

2
examples/1207-ffi-foreign-global-from-helper.sx
View File

@@ -12,7 +12,7 @@
#import "modules/std.sx"; #import "modules/std.sx";
__stdinp : *void #foreign; __stdinp : *void extern;
stdinp_addr_via_helper :: () -> u64 { stdinp_addr_via_helper :: () -> u64 {
xx @__stdinp xx @__stdinp

6
examples/1218-ffi-foreign-cvariadic.sx
View File

@@ -9,9 +9,9 @@
#source "1218-ffi-foreign-cvariadic.c"; #source "1218-ffi-foreign-cvariadic.c";
}; };
sx_ffi_sum_ints :: (n: i32, ..args: []i32) -> i64 #foreign; sx_ffi_sum_ints :: (n: i32, ..args: []i32) -> i64 extern;
sx_ffi_avg_doubles :: (n: i32, ..args: []f64) -> f64 #foreign; sx_ffi_avg_doubles :: (n: i32, ..args: []f64) -> f64 extern;
sx_ffi_count_args :: (tag: *u8, ..args: []*u8) -> i32 #foreign; sx_ffi_count_args :: (tag: *u8, ..args: []*u8) -> i32 extern;
main :: () -> i32 { main :: () -> i32 {
print("sum_ints(3, 10, 20, 30) = {}\n", sx_ffi_sum_ints(3, 10, 20, 30)); print("sum_ints(3, 10, 20, 30) = {}\n", sx_ffi_sum_ints(3, 10, 20, 30));

2
examples/1219-ffi-foreign.sx
View File

@@ -7,7 +7,7 @@ pkg :: #import "tests/fixtures/testpkg";
// --- Foreign function binding --- // --- Foreign function binding ---
libc :: #library "c"; libc :: #library "c";
c_abs :: (n: i32) -> i32 #foreign libc "abs"; c_abs :: (n: i32) -> i32 extern libc "abs";
// --- Protocol declarations (Phase 1: static dispatch only) --- // --- Protocol declarations (Phase 1: static dispatch only) ---

4
examples/1306-ffi-objc-foreign-class-chained-dispatch.sx
View File

@@ -12,12 +12,12 @@
#import "modules/std.sx"; #import "modules/std.sx";
#import "modules/build.sx"; #import "modules/build.sx";
NSObject :: #foreign #objc_class("NSObject") { NSObject :: #objc_class("NSObject") extern {
alloc :: () -> *NSObject; alloc :: () -> *NSObject;
init :: (self: *Self) -> *Self; init :: (self: *Self) -> *Self;
} }
NSObjectSelfReturn :: #foreign #objc_class("NSObject") { NSObjectSelfReturn :: #objc_class("NSObject") extern {
alloc :: () -> *Self; alloc :: () -> *Self;
init :: (self: *Self) -> *Self; init :: (self: *Self) -> *Self;
} }

2
examples/1318-ffi-objc-property-foreign.sx
View File

@@ -31,7 +31,7 @@ probe_set_tag :: (self: *void, _cmd: *void, v: i32) callconv(.c) {
} }
// Foreign declaration with #property on `tag`. // Foreign declaration with #property on `tag`.
SxPropProbe :: #foreign #objc_class("SxPropProbe") { SxPropProbe :: #objc_class("SxPropProbe") extern {
alloc :: () -> *SxPropProbe; alloc :: () -> *SxPropProbe;
init :: (self: *SxPropProbe) -> *SxPropProbe; init :: (self: *SxPropProbe) -> *SxPropProbe;
tag: i32 #property; tag: i32 #property;