moon/zygotec/src/compiler/expr.zc, branch main work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main2026-10-15T14:55:36+00:00constant 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:251b0212f626d0f92eda51906d353712ef4a63b8std.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:a5a5029a80a14be46c244b5bcca63e5e2cd9026fhold 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:253ac862c696d73fb17c14a847270b6e08aa8769analyzer: 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:0a87c4663fc52bf60f3d440200b3b3ad6b39bd3ewip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, affine i*n+k); unbuilt and untested2026-10-15T01:47:02+00:00zinczinc@downsta.ir2026-10-14T17:16:17+00:00urn:sha1:a1d546cc74a72abc4973bf96f72bbd529320d711o3: use new_k (size-class free lists) like plain code2026-10-15T01:46:53+00:00zinczinc@downsta.ir2026-10-15T01:46:53+00:00urn:sha1:b86db60d8b2a50b179d9a3e69a0b4951e0c196f9
Constant-size typed new inside o3 now calls rt.new_k instead of always
taking new_t/new_raw. new_k and recycle_leaf skip the o3 argument-fatten
path the way free/recycle already do. trees o3 new/free on the x86-64
jit dropped from about 4.1 ms to about 2.7 ms per iter (matches plain).
destructors: hint: x: has drop and is live at spawn; the worker's copy drops it too, on x.spawn() of a mailbox struct for each live owned local with a drop; spec 6.15.4, lsp hint check2026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:07:04+00:00urn:sha1:b02bdd043673419357eadd6c646b9a77c62e5792destructors: reassigning an m owner that still holds a value frees the old value first, running its drop (right side first, then the free, then the store), with hint: x: reassigning frees the old value; a new value that is part of the old one is an error; u, d and captured owners keep the leak error; the new value's size, leaf type and drop are recorded like a declaration's; spec 6.8.5, 6.15.22026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:05:04+00:00urn:sha1:31ae48845492c12f2745c7f4c0cd2ea448e0942a