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, ↵	zinc	13 days	1	-1/+2
\| \| \| \|	affine i*n+k); unbuilt and untested
*	destructors: reassigning an m owner that still holds a value frees the old ↵	zinc	13 days	1	-0/+1
\| \| \| \|	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.2
*	compiler: a //:lines marker starts a new file, so unbounded; and unchecked; ↵	zinc	13 days	1	-1/+3
\| \| \| \|	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.3
*	compiler: the drop globals' comment says mailbox send, so nothing the ↵	zinc	13 days	1	-1/+1
\| \| \| \|	compiler reads mentions actors (test.sh check)
*	destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop ↵	zinc	13 days	1	-0/+5
\| \| \| \|	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.15
*	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	14 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	14 days	1	-1/+88
\| \| \| \|	x86-64 jit, docs, measurements, tests; default genome reservation 0x68000
*	zc: add the defer statement	zinc	14 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	14 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.