nx_smoke_lex7.nx source
↩ module page · 34 lines · 1204 B
1// smoke_lex7.nx -- exact lex_test logic.
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 let t_base: i64 = toks as i64
17
18 let t0: *Tok = (t_base + 0 * TOK_BYTES) as *Tok
19 if t0.kind != TK_FUNC { return __syscall(93, 1, 0, 0, 0, 0, 0) }
20
21 let t1: *Tok = (t_base + 1 * TOK_BYTES) as *Tok
22 if t1.kind != TK_IDENT { return __syscall(93, 2, 0, 0, 0, 0, 0) }
23
24 let t2: *Tok = (t_base + 2 * TOK_BYTES) as *Tok
25 if t2.kind != TK_LPAREN { return __syscall(93, 3, 0, 0, 0, 0, 0) }
26
27 let t11: *Tok = (t_base + 11 * TOK_BYTES) as *Tok
28 if t11.kind != TK_ARROW { return __syscall(93, 4, 0, 0, 0, 0, 0) }
29
30 let t14: *Tok = (t_base + 14 * TOK_BYTES) as *Tok
31 if t14.kind != TK_RETURN { return __syscall(93, 5, 0, 0, 0, 0, 0) }
32
33 return __syscall(93, 0, 0, 0, 0, 0, 0)
34}