1a8991ab27
16 fn/global examples across categories (0415/0602/0603/1024/1025/1605/1607-1609/ 1611/1616/1619/1622/1628/1635/1636): bare '#foreign'→'extern'. All cls=0 (no class forms). Marker'd ones (1605/1609/1611 + the rest) corpus-validated; the 3 unmarked uikit importers (1607/1608/1616) verified byte-identical via 'sx ir' probes. Empty snapshot diff; suite green (647 corpus / 444 unit, 0 failed). LEFT comment-only/provenance #foreign (0716/0729 + issues/0030-extern-global + extern-test files 1223-1231/1332/1348/1349/1426) and the keep-list (identity ffi-foreign-* + foreign-asserting diagnostics 1172/1174/1219/1228/1620) for Phase 8.
27 lines
766 B
Plaintext
27 lines
766 B
Plaintext
// PLAN-HTTPZ C2: an sx `callconv(.c)` function passes by name as a
|
|
// typed C function pointer — libc qsort drives an sx comparator.
|
|
#import "modules/std.sx";
|
|
|
|
clib :: #library "c";
|
|
qsort :: (base: [*]u8, nel: usize, width: usize, compar: (*void, *void) -> i32 callconv(.c)) extern clib;
|
|
|
|
cmp_i32 :: (a: *void, b: *void) -> i32 callconv(.c) {
|
|
pa : *i32 = xx a;
|
|
pb : *i32 = xx b;
|
|
if pa.* < pb.* { return -1; }
|
|
if pa.* > pb.* { return 1; }
|
|
return 0;
|
|
}
|
|
|
|
main :: () -> i32 {
|
|
arr : [5]i32 = .[ 4, 1, 5, 2, 3 ];
|
|
qsort(xx @arr[0], 5, 4, cmp_i32);
|
|
i := 0;
|
|
while i < 5 {
|
|
if arr[i] != cast(i32)(i + 1) { print("not sorted at {}\n", i); return 1; }
|
|
i += 1;
|
|
}
|
|
print("qsort via sx comparator ok\n");
|
|
return 0;
|
|
}
|