aboutsummaryrefslogtreecommitdiff
path: root/src/js
diff options
context:
space:
mode:
authorGravatar Moon Flower <moonflower@elhenney.local> 2026-10-14 08:29:46 +0330
committerGravatar Moon Flower <moonflower@elhenney.local> 2026-10-14 08:29:46 +0330
commit1c53304d03414890af0da7432d1aea87e754a14a (patch)
tree97190d86cf548c9bc63f68c86a4d2a4f09809713 /src/js
parenta (diff)
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
Diffstat (limited to 'src/js')
-rw-r--r--src/js/extract_genome.js8
-rw-r--r--src/js/extract_lsp.js8
-rw-r--r--src/js/tinyvm.ts33
3 files changed, 49 insertions, 0 deletions
diff --git a/src/js/extract_genome.js b/src/js/extract_genome.js
index 5cb2b38..89bebe3 100644
--- a/src/js/extract_genome.js
+++ b/src/js/extract_genome.js
@@ -1,5 +1,13 @@
const fs = require('fs');
const path = require('path');
+if (process.argv.length > 2) {
+ if (process.argv.length === 3 && ['--help', '-h'].includes(process.argv[2])) {
+ console.log('usage: node src/js/extract_genome.js [--help|-h]\nconverts src/core/genome.h and memmap.h into the javascript genome and layout files.');
+ process.exit(0);
+ }
+ console.error('extract_genome: unexpected arguments; use --help for usage');
+ process.exit(2);
+}
const srcPath = path.join(__dirname, '..', 'core', 'genome.h');
const outPath = path.join(__dirname, 'genome.json');
diff --git a/src/js/extract_lsp.js b/src/js/extract_lsp.js
index 6f53ebc..358d404 100644
--- a/src/js/extract_lsp.js
+++ b/src/js/extract_lsp.js
@@ -3,6 +3,14 @@
// the vm needs the layout, because the server's map is not the compiler's.
const fs = require('fs');
const path = require('path');
+if (process.argv.length > 2) {
+ if (process.argv.length === 3 && ['--help', '-h'].includes(process.argv[2])) {
+ console.log('usage: node src/js/extract_lsp.js [--help|-h]\nconverts build/lsp/genome.h and its memory map into src/js/lsp.json; build the lsp first.');
+ process.exit(0);
+ }
+ console.error('extract_lsp: unexpected arguments; use --help for usage');
+ process.exit(2);
+}
const root = path.join(__dirname, '..', '..');
const genome = fs.readFileSync(path.join(root, 'build', 'lsp', 'genome.h'), 'utf8');
diff --git a/src/js/tinyvm.ts b/src/js/tinyvm.ts
index ab1e4da..b6146fb 100644
--- a/src/js/tinyvm.ts
+++ b/src/js/tinyvm.ts
@@ -171,6 +171,9 @@ export class TinyVM {
private inputBuffer: Uint8Array = new Uint8Array(0);
private inputPos: number = 0;
+ /** true while a streaming run is suspended by a poll (syscall 42) rather than by a read: the host
+ should resume it after its event loop has run, whether or not input came. */
+ public polling: boolean = false;
private outputBuffer: number[] = [];
private onOutput?: (byte: number) => void;
private onMessage?: (msg: string) => void;
@@ -429,6 +432,14 @@ export class TinyVM {
}
return -1n;
}
+ case 42: // poll: input is waiting
+ return this.inputPos < this.inputBuffer.length ? 1n : 0n;
+ case 41: { // shortest float text into a word buffer
+ const text = formatFloat(a, 0n, 17n);
+ if (b < 0n || c <= BigInt(text.length) || b > BigInt(this.mw) || c > BigInt(this.mw) - b) return -1n;
+ for (let i = 0; i < text.length; i++) this.mem[Number(b) + i] = BigInt(text.charCodeAt(i));
+ this.mem[Number(b) + text.length] = 0n; return BigInt(text.length);
+ }
case 18: { // fill heap words without running one vm store per word
if (a < BigInt(this.L.HEAP_LO) || c <= 0n || a > BigInt(this.mw) || c > BigInt(this.mw) - a) return -1n;
this.mem.fill(b, Number(a), Number(a + c)); return c;
@@ -721,6 +732,14 @@ export class TinyVM {
break;
case 2: // st
if (Number(a) === this.L.SYSGATE) {
+ if (b === 42n && this.streaming) {
+ // poll: suspend once so the host can deliver what has arrived, then say if input waits
+ if (!this.polling) { this.polling = true; this.rp = p - 1; this.rs = s; this.rr = r; this.blocked = true; return BLOCKED; }
+ this.polling = false;
+ mem[Number(a)] = this.inputPos < this.inputBuffer.length ? 1n : 0n;
+ s += 2;
+ break;
+ }
this.rs = s + 2; this.rr = r;
const result = this.syscall(b, mem[Number(a) + 1], mem[Number(a) + 2], mem[Number(a) + 3]);
mem = this.mem; bytes = this.bytes; view = this.view; mw = this.mw; // a grow may have moved them
@@ -898,6 +917,20 @@ export class TinyVM {
// command line runner: node src/js/tinyvm.js <file.zc>, or the source on stdin
if (typeof require === 'function' && typeof module !== 'undefined' && require.main === module) {
+ const option = process.argv[2];
+ if (option === '--help' || option === '-h') {
+ process.stdout.write('usage: node src/js/tinyvm.js [file.zc]\n' +
+ 'compiles and runs the file, or reads source from stdin when no file is supplied.\n' +
+ 'input after a backtick is program input.\n' +
+ 'options:\n --help, -h show this help and exit\n' +
+ 'environment:\n TINYVM_MEMORY_WORDS initial vm memory in words\n' +
+ ' TINYVM_MAX_MEMORY_WORDS maximum vm memory in words\n');
+ process.exit(0);
+ }
+ if (option && option.startsWith('-')) {
+ process.stderr.write('tinyvm.js: unknown option ' + option + '; use --help for usage\n');
+ process.exit(2);
+ }
const genomePath = path.join(__dirname, 'genome.json');
if (!fs.existsSync(genomePath)) {
console.error('Error: genome.json not found. Run extract_genome.js first.');