moon/zygotec/src/lib, branch main work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main2026-10-15T11:30:36+00:00std.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:a5a5029a80a14be46c244b5bcca63e5e2cd9026fstd: 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:de4da84ca3159ad0ebcf13729716be5f4d7bbc2aactor: 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:fc89e5ea115d6da2217b52a87ba8eb73c207e916std: File, the first user of drops: std.Host.open(path, mode) returns an owned std.File (or null) with write and read, and its drop closes the descriptor; Host.writefile is built on it; file_drop.zc, learn and readme2026-10-14T23:16:57+00:00zinczinc@downsta.ir2026-10-14T23:16:57+00:00urn:sha1:54d316a531ddb8e293711761e4f29e93d282599cexplain-checks: the record writer moves to src/lib/explain.zc, embedded and compiled only in that mode; the genome keeps the call sites and a hook2026-10-14T16:34:08+00:00zinczinc@downsta.ir2026-10-14T16:33:11+00:00urn:sha1:6a7fe0898a2bde8abd3c28697e28c9fc0cb1e7b2bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main in o3call, o3 tests expect no check, boundsrules, bounds_fixed, bounds_heap and zc0unbounded tests2026-10-14T12:28:58+00:00zinczinc@downsta.ir2026-10-14T12:28:58+00:00urn:sha1:d55b5fdf92a674a6495878f97a09e95bafdcba3ffix std hover, full capture terminator, bare static calls, void main in run-only images2026-10-14T10:38:17+00:00zinczinc@downsta.ir2026-10-14T10:38:17+00:00urn:sha1:93340f97dce404a008f489729df144ace53528ab
- hover: a symbol from an embedded library source (tinyvm:std.zc, tinyvm:icon.zc) was
looked up only in the document; look it up by its qualified name in the library source
(hover_embedded_sym), and render a method found that way by its line (bs_hover).
- std.capture: allocate one word more than the 256 it holds, so end() terminates inside the buffer.
- a bare call to a static function of the enclosing struct resolves like a bare struct constant
(mstruct is set for every non-generic struct's methods); the struct's own wins over a global.
- run.zc declares main untyped (fn main();), so a run-only image accepts int, void or untyped main
with both compilers.
document the standard library api2026-10-14T09:32:37+00:00zinczinc@downsta.ir2026-10-14T09:32:37+00:00urn:sha1:35adc61f0b3d9e5748102df77655b90fa29eeb36
every public declaration in src/lib/std.zc has a comment directly above it,
so the language server can show it. comments only; no code changed. the
comments now match the bodies: Host.env and Bytes.env report the characters
copied (at most n - 1), capture drops output past 256 characters, and Buf.set
can raise the length past the current end.
adds examples/std_tour.zc, which calls one or two functions from each group,
and points the README standard-library section at it.
todo: one sorted list of open work; library suggestions without naming libraries2026-10-14T09:07:12+00:00zinczinc@downsta.ir2026-10-14T09:07:12+00:00urn:sha1:fd622c51be670bba2acf4b50c548acedbc8bb263
TODO.md ticks the items verified done (namespaces, actor and icon libraries
and their coverage, the genome embed, the bootstrap ownership limits, the
docs and fixtures sweep) and lists everything still open, including the
newly requested language features, sorted easiest first.
the compiler no longer names actor: file libraries for suggestions come from
src/lib/modules.txt, and lib.name before its include reports the missing
include. icon gains fixtures for reading globals while stepping and for
begin_function on a non-function, and the suite checks that nothing the
compiler reads by default mentions actors. bf.zc, the web sample and std's
capture example use qualified runtime names; LEARN.md uses build/bin paths.
lsp: quick fixes for hints and bare library names; comment cleanup2026-10-14T08:09:40+00:00zinczinc@downsta.ir2026-10-14T08:09:40+00:00urn:sha1:a3e9e53e64a1aa5692bca2b60bcbff6a0fcfdba1
an undefined bare name that a module exports now says which one:
"put_c is used but never defined; did you mean to include rt and use
rt.put_c?", and the import quick fix is titled the same way and marked
preferred when it is the only one, so the editor's auto-fix applies it.
hints gain quick fixes that keep the program's meaning: an unused
parameter, or a local with no other use, is renamed to _; a constant
local with one declarator becomes const; a power-of-two multiply becomes
a parenthesized shift (not when a * / or % binds its left operand); and
let p = rt.new(n) with a small constant becomes let p[n]. the hints no
longer fire for _ discards or for locals already declared const.
whole-line /* */ comments in zc sources are // comments now, and //: is
gone from the maintained sources: the notes it marked were mostly the
documentation of the declaration below, which hovers now show. section
headers are separated from the declarations after them.