moon/zygotec/src/compiler/stmt.zc, branch work/bench work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=work%2Fbench2026-10-14T12:39:07+00:00merge bounds checking2026-10-14T12:39:07+00:00zinczinc@downsta.ir2026-10-14T12:39:07+00:00urn:sha1:e228e7609929763d5acddb728ba543832fcffc6amerge: seven self-hosted compiler fixes from conformance2026-10-14T12:33:48+00:00zinczinc@downsta.ir2026-10-14T12:33:48+00:00urn:sha1:29eb9e50d33d417035e133dcebb7111074a23b24bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main in o3call, o3 tests expect no check, boundsrules, bounds_fixed, bounds_heap and zc0unbounded tests2026-10-14T12:28:58+00:00zinczinc@downsta.ir2026-10-14T12:28:58+00:00urn:sha1:d55b5fdf92a674a6495878f97a09e95bafdcba3fswitch: case member(): with no names matches a tagged member by tag even when it has fields (spec 4.7.3)2026-10-14T12:27:41+00:00zinczinc@downsta.ir2026-10-14T12:27:41+00:00urn:sha1:2633a5ec3b1d8423b913e2d1868dfc445897d93dreturn: a value returned from a void function is dropped and the function yields 0 (typecheck off, spec 4.8.3)2026-10-14T12:26:18+00:00zinczinc@downsta.ir2026-10-14T12:26:18+00:00urn:sha1:f4efb7811b741d006e33838219b7f3857655a71bline tables and backtraces: port agent/line-tables onto main, op 56 on the x86-64 jit, docs, measurements, tests; default genome reservation 0x680002026-10-14T12:22:01+00:00zinczinc@downsta.ir2026-10-14T12:22:01+00:00urn:sha1:7c54e48bca711a6596be4bb17fcaa4330b9928e3zc: add the defer statement2026-10-14T10:39:47+00:00zinczinc@downsta.ir2026-10-14T10:39:47+00:00urn:sha1:54b8a8918bb63c98a8f58e823033232243647562
defer expr; and defer { ... } register code that runs when the enclosing
block ends: at the end of the block, and at return, break and continue
that leave it. the tokens are kept at the defer and compiled again at each
exit (block_close, body, kw_return, kw_break, kw_continue), newest first,
before the block's variables are released, so the analyzer sees a deferred
rt.free(p) as the transfer of p where it runs. names mean what they meant
at the defer; values are read when it runs. return, break and continue
inside a deferred statement are errors, reported once. works in unchecked
code and closures (own base per function context).
split compiler.zc into files by phase2026-10-14T10:05:40+00:00zinczinc@downsta.ir2026-10-14T10:05:40+00:00urn:sha1:ce920b6ff47f32bc06dd27124e1b882f82f3d6ae
src/compiler/compiler.zc is now twelve files under src/compiler/, listed in
order in src/compiler/parts. cat of the parts in order is byte-identical to
the old file, so every compiler and image except the language server's is
unchanged. no function was edited.
consumers read the list: the makefile, bootstrap-check, genmap (which still
writes one compiler.zc into a generated map directory), tinyvm.bat,
test.sh, test_win.ps1 and the lsp drivers. the language server embeds each
part and serves them joined as the one document tinyvm:/compiler.zc.