moon/zygotec/src/lsp/server.zc, branch work/uninit-locals work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=work%2Funinit-locals2026-10-15T19:00:16+00:00lsp: initialize locals set under a found flag (definite assignment)2026-10-15T19:00:16+00:00zinczinc@downsta.ir2026-10-15T19:00:16+00:00urn:sha1:c55497afe921a4979290dc495e5811b045e0a14adefinite 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
merge 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:251b0212f626d0f92eda51906d353712ef4a63b8hold: copy hold.h with micro.c everywhere; xref baseline for hold globals; lsp keyword completion yields to a same-named symbol; compiler message avoids the word actor2026-10-15T11:55:23+00:00zinczinc@downsta.ir2026-10-15T11:55:23+00:00urn:sha1:b6af0e942dcde433db96a298a25490aa44e88173analyzer: 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:0432ac6aefccbc5a9af25bd4ed2d4451611c4ff4lsp: hold and shared hovers, completion of the keywords, shared variables marked in hover and completion; tmLanguage keywords; hold_lsp_test.js2026-10-15T11:05:19+00:00zinczinc@downsta.ir2026-10-15T11:05:19+00:00urn:sha1:ee4900f847eec5a050c1cf909d5662efe82930f4lsp: 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:e1e0a265e931637f452ac05bb7d912e07bcee574lsp: prefer the rt import fix when a library group wraps the same name2026-10-15T06:14:53+00:00zinczinc@downsta.ir2026-10-15T06:14:53+00:00urn:sha1:d1ded604460290b62fd9b9cd1d48090891cabe6flsp: complete a module path one level at a time (std. lists groups, std.File. and std.Io. their members)2026-10-15T06:13:55+00:00zinczinc@downsta.ir2026-10-15T06:13:55+00:00urn:sha1:992f004bf31e8902744d86dee595305907144ff1std: add std.Io (print, println, nl, put_*, put_f, get_c, eof, read, getline) with test, learn example and docs2026-10-15T06:12:25+00:00zinczinc@downsta.ir2026-10-15T06:12:25+00:00urn:sha1:de4da84ca3159ad0ebcf13729716be5f4d7bbc2a