From 1c53304d03414890af0da7432d1aea87e754a14a Mon Sep 17 00:00:00 2001
From: Moon Flower <moonflower@elhenney.local>
Date: Wed, 14 Oct 2026 08:29:46 +0330
Subject: feat: grow memory limits, add icon/actor libraries, overhaul LSP
 diagnostics

Compiler and VM
- make every memory map limit dynamic and adjustable at both build time and
  runtime, including compiler tables, stacks, and every execution region
- reserve and grow tables, operand and return stacks, frame segments, and
  image-building output without relocating live code or globals
- rename i/o and string helpers consistently (puts -> put_s, putn -> put_n,
  scat -> cat_s) across compiler, runtime, examples, tests, and docs
- recast and consume values assigned to globals from inside functions
- allow fixed and const together, add typed closure returns (fn:t(...)),
  multi-include syntax (include rt, run, core;), and recurse type inference
- never infer string literals as word, anywhere, as argument, variable, or
  return type
- draft docs/BORROW.md: a borrow checker less intrusive than Rust's but more
  intelligent

LSP and editor integration
- require explicit includes and give every toolchain area its own namespace
  (rt, lsp, run, core)
- hover for built-in types, inferred types, values known at hover time, array
  and pointer lifetime/size, library names in include statements, and inferred
  lifetimes with explanations
- honor /* */ comments as documentation for variables and arguments, and stop
  misattributing section headers or trailing comments as variable hints
- stream diagnostics and cancel stale requests on change
- jump to definition and references, including cross-file
- quick fixes with automatic library import, and namespace completion

Hints and diagnostics
- render hints as blue squigglies by default, with hints on/small/off per file
- suppress magic-number hints via a preceding /* */ comment, and say so
- warn on unused arguments; allow multiple _ discards in parameters, pattern
  matching, and tagged enums, warning if a _ is actually used
- rewrite hint and comment prose in professional compiler-doc register

Libraries
- add icon.zc: run-time self-modification, find/replace syntax, type and block
  edits, and step-through inspection of locals and globals
- add actor.zc: async actors with Actor<I,O>, implicit this, spawn/recv/send,
  injected into the compiler machinery at include time rather than built in

Tooling and docs
- reorganize sources, tests, and designs into subdirectories
- unify windows entry points in tinyvm.bat and add a matching tinyvm.sh
- add --help across the toolchain
- polish the learning guide, stdlib docs, and design notes

Tests
- add accept, reject, and regression coverage across the compiler, LSP,
- runtime, icon, actors, threads, formatting, and the toolchain contracts,
  plus fuzzers and property tests
---
 examples/opt_test.zc | 25 ++++++++++++++-----------
 1 file changed, 14 insertions(+), 11 deletions(-)

(limited to 'examples/opt_test.zc')

diff --git a/examples/opt_test.zc b/examples/opt_test.zc
index c581283..e310690 100644
--- a/examples/opt_test.zc
+++ b/examples/opt_test.zc
@@ -1,8 +1,11 @@
+namespace;
+include rt;
+
 // a tour of the compiler's optimization hints. the program is valid and runs;
 // the hints only show up in the editor (or the lsp cli), never in a normal build.
 // each function below triggers one of them.
 
-fn sink(.d p) { free(d*p); return 0; }
+void sink(.d p) { rt.free(p); return; }
 
 // a variable that is written and never read
 fn dead() {
@@ -26,9 +29,9 @@ fn magic(n) { return n + 1234; }
 fn looping() {
 	let i = 0;
 	while (i < 3) {
-		let buf = new(10);
+		let buf = rt.new(10);
 		buf[0] = i;
-		sink(d*buf);
+		sink(buf);
 		i++;
 	}
 	return i;
@@ -36,19 +39,19 @@ fn looping() {
 
 // a small buffer that never leaves the function can live on the stack
 fn scratch() {
-	let buf = new(8);
+	let buf = rt.new(8);
 	buf[0] = 7;
 	return buf[0];
 }
 
 // a consuming call takes the object after its allocation
-fn handoff() {
-	let tmp = new(4);
-	sink(d*tmp);
-	return 0;
+void handoff() {
+	let tmp = rt.new(4);
+	sink(tmp);
+	return;
 }
 
-fn main() {
-	put_n(dead() + constant() + shifty(2) + magic(0) + looping() + scratch() + handoff()); put_c(10);
-	return 0;
+void main() {
+	rt.put_n(dead() + constant() + shifty(2) + magic(0) + looping() + scratch()); handoff(); rt.put_c(10);
+	return;
 }
-- 
cgit v1.2.3