moon/zygotec/tests/xref.baseline, branch main work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main2026-10-15T16:00:58+00:00xref baseline: lkval (local const values) and xcval folded in bin2026-10-15T16:00:58+00:00zinczinc@downsta.ir2026-10-15T16:00:58+00:00urn:sha1:9a745b50399be3948c5c4e139c73d1808029b000merge 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:b6af0e942dcde433db96a298a25490aa44e88173prescan: 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:d36190a5f3b8fa33fe3381771cd1efb9a1335e50xref: baseline records the borrow globals (end_why, end_whom, arg_site, local_shadow, xshadow, effect_shadows, dgrel)2026-10-15T06:43:39+00:00zinczinc@downsta.ir2026-10-15T06:43:39+00:00urn:sha1:6a359be16f283517d97f9556b8741a33b4adf7eexref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and xubat (bin)2026-10-15T05:28:56+00:00zinczinc@downsta.ir2026-10-15T05:28:56+00:00urn:sha1:88fffdc0d4aacc007c3b2b9b2d2aab35d171c21ao3: break and continue out of an o3 { } block call rt.o3_leave for each block they leave (the loop records the o3 depth it began at), so the depth returns to 0 and pending collections and drops run; spec 4.10.3, o3_break_continue_leave.zc2026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:09:49+00:00urn:sha1:7ff224faa88725fe59441e73c70dfa4eedd76345destructors: nothing moves out of a value with a drop: pop on an array with a drop, or on an array field of a value with a drop, is error: a: can't move out of a value with drop (fields were already borrowed projections); spec 6.15.5, four conformance programs2026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:05:44+00:00urn:sha1:3de6ae4a6a74b2c4fa14c3f2d6fbfff3bb83c5f5destructors: 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:31ae48845492c12f2745c7f4c0cd2ea448e0942acompiler: a //:lines marker starts a new file, so unbounded; and unchecked; of the source before it end there: a program joined to the unbounded runtime in a self-hosted run-only image is bounds-checked again (since d55b5fd its index errors went unreported); runtime_image_test expects the trap's exit status 2; spec 4.15.1, 4.x unchecked, 5.15.32026-10-14T23:10:12+00:00zinczinc@downsta.ir2026-10-14T23:10:12+00:00urn:sha1:0970a68bcb9165aca8512ecd9ee9c0077abb9468