moon/zygotec/tests/conformance, branch main work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main2026-10-15T14:59:55+00:00duplicate case labels are an error (b.2.15); unterminated string literal reported where it starts (b.2.11); an unreachable droppable cycle drops whole in one collection (6.15.3)2026-10-15T14:59:55+00:00zinczinc@downsta.ir2026-10-15T14:59:55+00:00urn:sha1:e7fe081efaae893ed46548fdbc3bfa39b2879878constant 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:08173d7f88f8551caca81594ed8af79d82d3f71fprescan: guess an owned return only from a local declared from new/heap, not a global assigned one (fixes lsp self-check); xref baseline for the new writers2026-10-15T11:49:17+00:00zinczinc@downsta.ir2026-10-15T11:49:17+00:00urn:sha1:d36190a5f3b8fa33fe3381771cd1efb9a1335e50tests: alias_scope expects the block-end message; plain_return now covers a forwarding owned return called early; direct owned return before its body is accepted2026-10-15T11:32:33+00:00zinczinc@downsta.ir2026-10-15T11:32:33+00:00urn:sha1:0c047b14a6488c4bda405cead225b7a700647c1aanalyzer: a .u (declared or inferred) function can't return a borrowed parameter or a value derived from one; fixtures2026-10-15T11:31:29+00:00zinczinc@downsta.ir2026-10-15T11:31:29+00:00urn:sha1:5aaf70abdda0026a7b4d647746a109d94b25f7a0std.Io.print/println take any mix of printable arguments (compiler expands per type); docs, conformance2026-10-15T11:30:36+00:00zinczinc@downsta.ir2026-10-15T11:30:36+00:00urn:sha1:a5a5029a80a14be46c244b5bcca63e5e2cd9026fanalyzer: a back link (container's owner stored into it) stays a plain reference, fixing a compile hang on a<->b and a leak; ending an owner kills its owned children too (fixes use after reassigning a container); escape fixtures2026-10-15T11:29:31+00:00zinczinc@downsta.ir2026-10-15T11:29:31+00:00urn:sha1:8703e2c85a8ecdea9e869e876e347ebd4cb6ef88analyzer: 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:0432ac6aefccbc5a9af25bd4ed2d4451611c4ff4rt: gc_drops finalizes a droppable value that reaches itself (a cycle, or a drop capturing its own value), one per collection, each once; before, each waited for the other forever; spec 6.15.3, drop_gc_cycle.zc, drop_gc_self_capture.zc, design doc lists what landed2026-10-14T23:14:26+00:00zinczinc@downsta.ir2026-10-14T23:14:26+00:00urn:sha1:a175ffd5d18d2883279c94d727f5966ecda409ab