moon/zygotec - work-in-progress programming language.

	Commit message (Collapse)	Author	Age	Files	Lines
*	wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, ↵work/prover	zinc	13 days	1	-1/+2
\| \| \| \|	affine i*n+k); unbuilt and untested
*	explain-checks: the record writer moves to src/lib/explain.zc, embedded and ↵	zinc	13 days	1	-1/+1
\| \| \| \|	compiled only in that mode; the genome keeps the call sites and a hook
*	bounds: body scan, loop-entry hoisting, pointer proofs from requested size, ↵	zinc	13 days	1	-0/+9
\| \| \| \|	--explain-checks v1 (non-o3 code)
*	zy: nonzero exit on compile errors	zinc	13 days	1	-3/+5
\|
*	bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded ↵	zinc	13 days	1	-4/+8
\| \| \| \|	main in o3call, o3 tests expect no check, boundsrules, bounds_fixed, bounds_heap and zc0unbounded tests
*	line tables and backtraces: port agent/line-tables onto main, op 56 on the ↵	zinc	13 days	1	-1/+88
\| \| \| \|	x86-64 jit, docs, measurements, tests; default genome reservation 0x68000
*	zc: add the defer statement	zinc	13 days	1	-0/+8
\| \| \| \| \| \| \| \| \| \| \| \|	defer expr; and defer { ... } register code that runs when the enclosing block ends: at the end of the block, and at return, break and continue that leave it. the tokens are kept at the defer and compiled again at each exit (block_close, body, kw_return, kw_break, kw_continue), newest first, before the block's variables are released, so the analyzer sees a deferred rt.free(p) as the transfer of p where it runs. names mean what they meant at the defer; values are read when it runs. return, break and continue inside a deferred statement are errors, reported once. works in unchecked code and closures (own base per function context).
*	split compiler.zc into files by phase	zinc	13 days	1	-0/+1384
	src/compiler/compiler.zc is now twelve files under src/compiler/, listed in order in src/compiler/parts. cat of the parts in order is byte-identical to the old file, so every compiler and image except the language server's is unchanged. no function was edited. consumers read the list: the makefile, bootstrap-check, genmap (which still writes one compiler.zc into a generated map directory), tinyvm.bat, test.sh, test_win.ps1 and the lsp drivers. the language server embeds each part and serves them joined as the one document tinyvm:/compiler.zc.