@hew-lang/wasm 0.6.0-rc7 → 0.6.0

package/package.json

@@ -2,7 +2,7 @@
   "name": "@hew-lang/wasm",
   "type": "module",
   "description": "WebAssembly bindings for Hew analysis and verified sandbox compilation",
-  "version": "0.6.0-rc7",
+  "version": "0.6.0",
   "license": "MIT OR Apache-2.0",
   "repository": {
     "type": "git",
@@ -26,8 +26,8 @@
     "webassembly"
   ],
   "hewSource": {
-    "commit": "f09d3403587d1cf1bc33d00444bc76ae96861c17",
-    "tag": "v0.6.0-rc7",
+    "commit": "c4b08fc6215201308794f6093aa67eb173eda1fd",
+    "tag": "v0.6.0",
     "dirty": false
   },
   "publishConfig": {

package/wasm.d.ts

@@ -2,15 +2,13 @@
 /* eslint-disable */
 
 /**
- * Analyze Hew source code and return diagnostics, tokens, and symbols as JSON.
- *
- * This is analysis-only and does not execute the program.
+ * Analyze source using the supplied browser input files.
  *
  * # Errors
  *
- * Returns a JavaScript error if the analysis result cannot be serialized.
+ * Returns a JavaScript error if an input is invalid or the result cannot be serialized.
  */
-export function analyze(source: string): string;
+export function analyze(source: string, files?: Map<any, any> | null): string;
 
 /**
  * Get code actions for given diagnostics JSON. Returns JSON array of `CodeAction`.
@@ -43,8 +41,12 @@ export function compileTestsToSandboxBytecode(source: string, file: string): str
  *
  * `profile` should be `"sandbox-vm-export"` for the educational sandbox VM.
  * An unrecognised profile is reported as a diagnostic with `bytecode: null`.
+ *
+ * # Panics
+ *
+ * Panics if the compiled output cannot be serialized as JSON.
  */
-export function compileToSandboxBytecode(source: string, profile: string): string;
+export function compileToSandboxBytecode(source: string, profile: string, files?: Map<any, any> | null): string;
 
 /**
  * Get completions at byte offset. Returns JSON array of `CompletionItem`.
@@ -64,6 +66,11 @@ export function complete(source: string, offset: number): string;
  */
 export function document_symbols(source: string): string;
 
+/**
+ * Execute the compiler's typed codec plan using the shared native engine.
+ */
+export function executeCodec(request: string): string;
+
 /**
  * Find all references at offset. Returns JSON `{ name, spans }` or `"null"` if no symbol found.
  *
@@ -182,28 +189,25 @@ export function semantic_tokens(source: string): string;
 export function signature_help(source: string, offset: number): string;
 
 /**
- * Type-check Hew source code and return JSON `{ diagnostics, type_info }`.
- *
- * `diagnostics` includes parser and checker diagnostics. `type_info` contains
- * byte-span keyed, user-facing resolved types for hover/editor consumers; it is
- * empty when parsing fails and the checker is skipped.
+ * Type-check source using the supplied browser input files.
  *
  * # Errors
  *
- * Returns a JavaScript error if the type-check result cannot be serialized.
+ * Returns a JavaScript error if an input is invalid or the result cannot be serialized.
  */
-export function type_check(source: string): string;
+export function type_check(source: string, files?: Map<any, any> | null): string;
 
 export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
 
 export interface InitOutput {
     readonly memory: WebAssembly.Memory;
-    readonly analyze: (a: number, b: number, c: number) => void;
+    readonly analyze: (a: number, b: number, c: number, d: number) => void;
     readonly code_actions: (a: number, b: number, c: number, d: number, e: number) => void;
     readonly compileTestsToSandboxBytecode: (a: number, b: number, c: number, d: number, e: number) => void;
-    readonly compileToSandboxBytecode: (a: number, b: number, c: number, d: number, e: number) => void;
+    readonly compileToSandboxBytecode: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
     readonly complete: (a: number, b: number, c: number, d: number) => void;
     readonly document_symbols: (a: number, b: number, c: number) => void;
+    readonly executeCodec: (a: number, b: number, c: number) => void;
     readonly find_references: (a: number, b: number, c: number, d: number) => void;
     readonly folding_ranges: (a: number, b: number, c: number) => void;
     readonly format_source: (a: number, b: number, c: number) => void;
@@ -216,11 +220,12 @@ export interface InitOutput {
     readonly rename: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
     readonly semantic_tokens: (a: number, b: number, c: number) => void;
     readonly signature_help: (a: number, b: number, c: number, d: number) => void;
-    readonly type_check: (a: number, b: number, c: number) => void;
-    readonly __wbindgen_add_to_stack_pointer: (a: number) => number;
+    readonly type_check: (a: number, b: number, c: number, d: number) => void;
     readonly __wbindgen_export: (a: number, b: number) => number;
     readonly __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
-    readonly __wbindgen_export3: (a: number, b: number, c: number) => void;
+    readonly __wbindgen_export3: (a: number) => void;
+    readonly __wbindgen_add_to_stack_pointer: (a: number) => number;
+    readonly __wbindgen_export4: (a: number, b: number, c: number) => void;
 }
 
 export type SyncInitInput = BufferSource | WebAssembly.Module;

package/wasm.js

@@ -1,24 +1,23 @@
 /* @ts-self-types="./wasm.d.ts" */
 
 /**
- * Analyze Hew source code and return diagnostics, tokens, and symbols as JSON.
- *
- * This is analysis-only and does not execute the program.
+ * Analyze source using the supplied browser input files.
  *
  * # Errors
  *
- * Returns a JavaScript error if the analysis result cannot be serialized.
+ * Returns a JavaScript error if an input is invalid or the result cannot be serialized.
  * @param {string} source
+ * @param {Map<any, any> | null} [files]
  * @returns {string}
  */
-export function analyze(source) {
+export function analyze(source, files) {
     let deferred3_0;
     let deferred3_1;
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         const ptr0 = passStringToWasm0(source, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
-        wasm.analyze(retptr, ptr0, len0);
+        wasm.analyze(retptr, ptr0, len0, isLikeNone(files) ? 0 : addHeapObject(files));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -34,7 +33,7 @@ export function analyze(source) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -77,7 +76,7 @@ export function code_actions(source, diagnostics_json) {
         return getStringFromWasm0(ptr3, len3);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred4_0, deferred4_1, 1);
+        wasm.__wbindgen_export4(deferred4_0, deferred4_1, 1);
     }
 }
 
@@ -106,7 +105,7 @@ export function compileTestsToSandboxBytecode(source, file) {
         return getStringFromWasm0(r0, r1);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -121,11 +120,16 @@ export function compileTestsToSandboxBytecode(source, file) {
  *
  * `profile` should be `"sandbox-vm-export"` for the educational sandbox VM.
  * An unrecognised profile is reported as a diagnostic with `bytecode: null`.
+ *
+ * # Panics
+ *
+ * Panics if the compiled output cannot be serialized as JSON.
  * @param {string} source
  * @param {string} profile
+ * @param {Map<any, any> | null} [files]
  * @returns {string}
  */
-export function compileToSandboxBytecode(source, profile) {
+export function compileToSandboxBytecode(source, profile, files) {
     let deferred3_0;
     let deferred3_1;
     try {
@@ -134,7 +138,7 @@ export function compileToSandboxBytecode(source, profile) {
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passStringToWasm0(profile, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len1 = WASM_VECTOR_LEN;
-        wasm.compileToSandboxBytecode(retptr, ptr0, len0, ptr1, len1);
+        wasm.compileToSandboxBytecode(retptr, ptr0, len0, ptr1, len1, isLikeNone(files) ? 0 : addHeapObject(files));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         deferred3_0 = r0;
@@ -142,7 +146,7 @@ export function compileToSandboxBytecode(source, profile) {
         return getStringFromWasm0(r0, r1);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -179,7 +183,7 @@ export function complete(source, offset) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -215,7 +219,31 @@ export function document_symbols(source) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
+    }
+}
+
+/**
+ * Execute the compiler's typed codec plan using the shared native engine.
+ * @param {string} request
+ * @returns {string}
+ */
+export function executeCodec(request) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(request, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.executeCodec(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export4(deferred2_0, deferred2_1, 1);
     }
 }
 
@@ -252,7 +280,7 @@ export function find_references(source, offset) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -288,7 +316,7 @@ export function folding_ranges(source) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -327,7 +355,7 @@ export function format_source(source) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -360,7 +388,7 @@ export function get_keywords() {
         return getStringFromWasm0(ptr1, len1);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+        wasm.__wbindgen_export4(deferred2_0, deferred2_1, 1);
     }
 }
 
@@ -397,7 +425,7 @@ export function goto_definition(source, offset) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -436,7 +464,7 @@ export function hover(source, offset) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -472,7 +500,7 @@ export function inlay_hints(source) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -512,7 +540,7 @@ export function parse_source(source) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -549,7 +577,7 @@ export function prepare_rename(source, offset) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -589,7 +617,7 @@ export function rename(source, offset, new_name) {
         return getStringFromWasm0(ptr3, len3);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred4_0, deferred4_1, 1);
+        wasm.__wbindgen_export4(deferred4_0, deferred4_1, 1);
     }
 }
 
@@ -625,7 +653,7 @@ export function semantic_tokens(source) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
@@ -662,31 +690,28 @@ export function signature_help(source, offset) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 
 /**
- * Type-check Hew source code and return JSON `{ diagnostics, type_info }`.
- *
- * `diagnostics` includes parser and checker diagnostics. `type_info` contains
- * byte-span keyed, user-facing resolved types for hover/editor consumers; it is
- * empty when parsing fails and the checker is skipped.
+ * Type-check source using the supplied browser input files.
  *
  * # Errors
  *
- * Returns a JavaScript error if the type-check result cannot be serialized.
+ * Returns a JavaScript error if an input is invalid or the result cannot be serialized.
  * @param {string} source
+ * @param {Map<any, any> | null} [files]
  * @returns {string}
  */
-export function type_check(source) {
+export function type_check(source, files) {
     let deferred3_0;
     let deferred3_1;
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         const ptr0 = passStringToWasm0(source, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
-        wasm.type_check(retptr, ptr0, len0);
+        wasm.type_check(retptr, ptr0, len0, isLikeNone(files) ? 0 : addHeapObject(files));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -702,17 +727,97 @@ export function type_check(source) {
         return getStringFromWasm0(ptr2, len2);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
     }
 }
 function __wbg_get_imports() {
     const import0 = {
         __proto__: null,
+        __wbg___wbindgen_is_function_1f9d30630b8b1d3d: function(arg0) {
+            const ret = typeof(getObject(arg0)) === 'function';
+            return ret;
+        },
+        __wbg___wbindgen_is_object_3c45d4f2dde4e749: function(arg0) {
+            const val = getObject(arg0);
+            const ret = typeof(val) === 'object' && val !== null;
+            return ret;
+        },
+        __wbg___wbindgen_string_get_0380ccaa2f57f0d9: function(arg0, arg1) {
+            const obj = getObject(arg1);
+            const ret = typeof(obj) === 'string' ? obj : undefined;
+            var ptr1 = isLikeNone(ret) ? 0 : passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            var len1 = WASM_VECTOR_LEN;
+            getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
+            getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
+        },
+        __wbg___wbindgen_throw_41e9ee4f547fc59a: function(arg0, arg1) {
+            throw new Error(getStringFromWasm0(arg0, arg1));
+        },
+        __wbg_call_6137034ef55c9d0f: function() { return handleError(function (arg0, arg1) {
+            const ret = getObject(arg0).call(getObject(arg1));
+            return addHeapObject(ret);
+        }, arguments); },
+        __wbg_done_b41a1d26cdb37fb6: function(arg0) {
+            const ret = getObject(arg0).done;
+            return ret;
+        },
+        __wbg_from_296ca31f8d0f1c52: function(arg0) {
+            const ret = Array.from(getObject(arg0));
+            return addHeapObject(ret);
+        },
+        __wbg_get_658f6698067d9515: function() { return handleError(function (arg0, arg1) {
+            const ret = Reflect.get(getObject(arg0), getObject(arg1));
+            return addHeapObject(ret);
+        }, arguments); },
+        __wbg_get_6c896e0571ddae51: function(arg0, arg1) {
+            const ret = getObject(arg0)[arg1 >>> 0];
+            return addHeapObject(ret);
+        },
+        __wbg_instanceof_Uint8Array_828cef2aaacafc31: function(arg0) {
+            let result;
+            try {
+                result = getObject(arg0) instanceof Uint8Array;
+            } catch (_) {
+                result = false;
+            }
+            const ret = result;
+            return ret;
+        },
+        __wbg_iterator_e3c31c892080e444: function() {
+            const ret = Symbol.iterator;
+            return addHeapObject(ret);
+        },
+        __wbg_length_7f3c00c40364105e: function(arg0) {
+            const ret = getObject(arg0).length;
+            return ret;
+        },
+        __wbg_new_1dbf7428bba60a42: function(arg0) {
+            const ret = new Uint8Array(getObject(arg0));
+            return addHeapObject(ret);
+        },
+        __wbg_next_33784799010f1bbe: function(arg0) {
+            const ret = getObject(arg0).next;
+            return addHeapObject(ret);
+        },
+        __wbg_next_f4aac29c42af995c: function() { return handleError(function (arg0) {
+            const ret = getObject(arg0).next();
+            return addHeapObject(ret);
+        }, arguments); },
+        __wbg_prototypesetcall_bc27214492979395: function(arg0, arg1, arg2) {
+            Uint8Array.prototype.set.call(getArrayU8FromWasm0(arg0, arg1), getObject(arg2));
+        },
+        __wbg_value_f3c585ee8f5ba40c: function(arg0) {
+            const ret = getObject(arg0).value;
+            return addHeapObject(ret);
+        },
         __wbindgen_generic_0000000000000001: function(arg0, arg1) {
             // Cast intrinsic for `Ref(String) -> Externref`.
             const ret = getStringFromWasm0(arg0, arg1);
             return addHeapObject(ret);
         },
+        __wbindgen_object_drop_ref: function(arg0) {
+            takeObject(arg0);
+        },
     };
     return {
         __proto__: null,
@@ -735,6 +840,11 @@ function dropObject(idx) {
     heap_next = idx;
 }
 
+function getArrayU8FromWasm0(ptr, len) {
+    ptr = ptr >>> 0;
+    return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
+}
+
 let cachedDataViewMemory0 = null;
 function getDataViewMemory0() {
     if (cachedDataViewMemory0 === null || cachedDataViewMemory0.buffer.detached === true || (cachedDataViewMemory0.buffer.detached === undefined && cachedDataViewMemory0.buffer !== wasm.memory.buffer)) {
@@ -757,11 +867,23 @@ function getUint8ArrayMemory0() {
 
 function getObject(idx) { return heap[idx]; }
 
+function handleError(f, args) {
+    try {
+        return f.apply(this, args);
+    } catch (e) {
+        wasm.__wbindgen_export3(addHeapObject(e));
+    }
+}
+
 let heap = new Array(1024).fill(undefined);
 heap.push(undefined, null, true, false);
 
 let heap_next = heap.length;
 
+function isLikeNone(x) {
+    return x === undefined || x === null;
+}
+
 function passStringToWasm0(arg, malloc, realloc) {
     if (realloc === undefined) {
         const buf = cachedTextEncoder.encode(arg);