moon/zygotec/src/compiler/builtins.zc, branch main work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main2026-10-15T06:26:19+00:00analyzer: 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:0a87c4663fc52bf60f3d440200b3b3ad6b39bd3eactor: a declared actor without its own drop gets one that awaits owed replies and closes the endpoint; the handler reaches the struct through endpoint.state so the struct isn't shared; spawn hint skips mailbox structs2026-10-14T23:21:54+00:00zinczinc@downsta.ir2026-10-14T23:21:54+00:00urn:sha1:fc89e5ea115d6da2217b52a87ba8eb73c207e916destructors: 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: 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: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop methods, collector drops after the sweep (once, resurrection), freed blocks forget their drop, temporaries drop at statement end with a hint, actor send check; o3: no collection inside a region (pending until the outermost exit), no drops set or ended inside o3; spec 3.11.6, 4.10.3-4, 6.152026-10-14T19:40:49+00:00zinczinc@downsta.ir2026-10-14T19:40:49+00:00urn:sha1:8af3174b04f18d858653ad70669dced71f5eaa99bounds: body scan, loop-entry hoisting, pointer proofs from requested size, --explain-checks v1 (non-o3 code)2026-10-14T16:33:38+00:00zinczinc@downsta.ir2026-10-14T14:52:04+00:00urn:sha1:459b7661aaa0d65d01be064bd4b9976c4f045a5clen: len on a char* is an error with typecheck off too (appendix b.2.14)2026-10-14T13:30:26+00:00zinczinc@downsta.ir2026-10-14T13:30:26+00:00urn:sha1:6ef2efb750622819a3ba3ae9ee061e512c1266d6enum: a member is defined as soon as it is declared, so later values can name it (appendix b.2.2)2026-10-14T13:18:18+00:00zinczinc@downsta.ir2026-10-14T13:18:18+00:00urn:sha1:37faa46eff8210365b144ccb4758dc3967b68b48Merge branch 'main' into work/spec2026-10-14T12:54:55+00:00zinczinc@downsta.ir2026-10-14T12:54:55+00:00urn:sha1:886fa9c0b7ad3c0316e85de1b2c87c54a3681b12