nx_smoke_lex5.nx source
↩ module page · 20 lines · 657 B
1// smoke_lex5.nx -- exact lex_test source, but no token verification.
2
3// nx_safety_envelope:
4// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
5// sil_target: SIL1
6// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
7// verdict: NOT_YET_EVALUATED
8
9import "nx_syscalls.nx"
10import "nx_lex_kinds.nx"
11import "nx_tokenizer.nx"
12
13func main() -> i64 {
14 let src: *u8 = "func add(a: i64, b: i64) -> i64 { return a + b }"
15 let toks: *Tok = lex_source(src, 256)
16 if toks == (0 as *Tok) {
17 return __syscall(93, 1, 0, 0, 0, 0, 0)
18 }
19 return __syscall(93, 0, 0, 0, 0, 0, 0)
20}