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

feat(ffi-linkage): reject #foreign + postfix extern/export combo (Phase 4) — 1174 green

Browse Source
This commit is contained in:
agra
2026-06-14 15:39:27 +03:00
parent dd927c2e94
commit 4101cbc3e7
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/parser.zig
View File

@@ -1415,11 +1415,16 @@ pub const Parser = struct {
// unchanged. The legacy prefix `#foreign` form still works via the // unchanged. The legacy prefix `#foreign` form still works via the
// `is_foreign` argument; interplay/diagnostics for combining them is Phase 4. // `is_foreign` argument; interplay/diagnostics for combining them is Phase 4.
var is_foreign_eff = is_foreign; var is_foreign_eff = is_foreign;
if (self.current.tag == .kw_extern) { if (self.current.tag == .kw_extern or self.current.tag == .kw_export) {
is_foreign_eff = true; // Prefix `#foreign` and the postfix `extern`/`export` keyword are two
self.advance(); // spellings of the same linkage axis — combining them is contradictory
} else if (self.current.tag == .kw_export) { // (`#foreign`=import vs `export`=define) or redundant (`#foreign … extern`).
is_foreign_eff = false; // Reject at the postfix keyword rather than let it silently override.
if (is_foreign) {
const kw = if (self.current.tag == .kw_export) "export" else "extern";
return self.failFmt("conflicting linkage: prefix '#foreign' cannot be combined with postfix '{s}'; use either '#foreign' or postfix 'extern'/'export', not both", .{kw});
}
is_foreign_eff = self.current.tag == .kw_extern;
self.advance(); self.advance();
} }