Files
sx/examples/1140-diagnostics-reserved-name-const-fn-decl.sx
agra 811a280517 refactor(ffi-linkage): Phase 9.3 — purge 'foreign' from comments (src caps + examples + docs)
src/: ~21 capital-Foreign comments the case-sensitive verify grep missed
(Foreign-class→Runtime-class, Foreign path→Runtime path, Foreign decls→Extern decls,
FOREIGN function→extern function) across calls/inst/ffi_objc/jni_descriptor/emit_llvm/
c_import/lower.*/ops. src 'foreign' now = ONLY the hash_foreign token + 4 rejection
messages (9.0-delete targets). examples/*.sx comments → extern/runtime-class (1219
stdout regen; KEPT 1176). docs/inline-asm-design + debugger purged. Comments only —
no build impact. 9.0 ratified: DELETE hash_foreign token next.
2026-06-15 10:52:56 +03:00

20 lines
831 B
Plaintext

// A reserved/builtin type-name spelling is rejected as the NAME of a `::`
// declaration too — both a constant (`i2 :: 5`) and a function
// (`u8 :: (…) {…}`). A function name and a const name are binding sites just
// like `i2 := …`; previously the `::` decl forms slipped past the
// reserved-name check, so a bare reserved-name function compiled silently and
// became callable — bypassing the backtick rule that handwritten sx must use.
// The backtick escape (`` `i2 :: … ``, examples/0153) is the only way to spell
// these names; `#import c` extern decls remain exempt (examples/1220).
//
// Regression (issue 0089). Expected: one error per declaration, each caret on
// the declared name; exit 1.
#import "modules/std.sx";
i2 :: 5;
u8 :: (n: i64) -> i64 { return n + 7; }
main :: () -> i32 {
return 0;
}