moon/zygotec/src/compiler/base.zc, branch work/uninit-locals work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=work%2Funinit-locals2026-10-15T18:58:06+00:00uninit: track aggregate fills per part, sticky computed-index fills, &a[k] and method calls set the aggregate; fix test/example hits; docs2026-10-15T18:58:06+00:00zinczinc@downsta.ir2026-10-15T18:58:06+00:00urn:sha1:5a4dc62a79af6135c7050e81a82dbfdfb0a7d4e0definite assignment: reading a local before it is initialized is a compile error (spec 4.1.5, b.1.9)2026-10-15T18:45:38+00:00zinczinc@downsta.ir2026-10-15T18:45:38+00:00urn:sha1:be43babc1886fc5efee898b2a3d0285012e511fb
track linited per local alongside the ownership state; snapshots, exit records and joins carry it, and a join keeps a local set only when every reaching path set it. x = e, a declaration initializer, &x (out-parameter), a full array initializer, or using an aggregate as an address set a local; field and element writes do not set the aggregate. while/for bodies that may run zero times do not count; do/while does. compiler, runtime, std, actor and lsp sources initialize the locals the rule flagged; zc0 accepts = {} brace lists (zeroed). tests: tests/errors/uninit_*.zc, tests/conformance/4-statements/uninit_*.zc
constant expressions: c precedence and / % ^ (b.1.3); local const usable in constant expressions (b.1.7, b.2.16); zc0 matches2026-10-15T14:55:36+00:00zinczinc@downsta.ir2026-10-15T14:55:36+00:00urn:sha1:08173d7f88f8551caca81594ed8af79d82d3f71fmerge work/demo-fixes: analyzer ownership fixes (back links, loop-built lists, .u inference), Io.print any args, block-end borrow messages2026-10-15T14:20:10+00:00zinczinc@downsta.ir2026-10-15T14:20:10+00:00urn:sha1:251b0212f626d0f92eda51906d353712ef4a63b8analyzer: infer .u from returns of fresh objects in the body (prescan guess, then checked as .u)2026-10-15T11:28:36+00:00zinczinc@downsta.ir2026-10-15T11:28:36+00:00urn:sha1:2b9e79db9e1f4d1f74c6ca99c794ba4886e9f003analyzer: an outer owner moved into a deeper container can take it back (loop-built lists); block-end frees name the owner (why 9) in messages and LSP related info2026-10-15T11:27:42+00:00zinczinc@downsta.ir2026-10-15T11:27:42+00:00urn:sha1:0432ac6aefccbc5a9af25bd4ed2d4451611c4ff4hold blocks: top-level hold { shared let ...; fn ... } monitors; shared values kept by the host and copied in/out at the outermost call, reentrant per-block locks in declaration order (core, micro)2026-10-15T11:02:10+00:00zinczinc@downsta.ir2026-10-15T11:02:10+00:00urn:sha1:253ac862c696d73fb17c14a847270b6e08aa8769lsp: borrow errors ranged on the use, with related information for where the owner ended and was declared; vscode client passes relatedInformation through2026-10-15T06:41:56+00:00zinczinc@downsta.ir2026-10-15T06:41:56+00:00urn:sha1:e1e0a265e931637f452ac05bb7d912e07bcee574analyzer: check borrow returns of forward-called functions at the unit's end; borrows clause for prototypes, definitions, externs and function types, checked against the body2026-10-15T06:26:19+00:00zinczinc@downsta.ir2026-10-15T06:26:19+00:00urn:sha1:6bbac2edf7c50dac4d755a364b6dfd16471284d7analyzer: use-after-end messages name the borrower, the owner and how the owner ended (freed, moved, .d parameter, push, global, reassignment), with fixtures2026-10-15T06:18:10+00:00zinczinc@downsta.ir2026-10-15T06:18:10+00:00urn:sha1:0a87c4663fc52bf60f3d440200b3b3ad6b39bd3e