@scriptc/compiler 0.1.5 → 0.1.6

package/dist/ir/validate.test.js

@@ -20,6 +20,23 @@ test("numeric array-read intrinsic validates and round-trips", () => {
     expect(validateModule(mod)).toEqual([]);
     expect(deserializeModule(serializeModule(mod))).toEqual(mod);
 });
+test("indexed equality validates primitive kinds, arguments, and result", () => {
+    const args = [
+        { kind: "numLit", value: 0, type: F64, loc },
+        { kind: "arrayLit", elems: [], type: arrayOf(F64), loc },
+        { kind: "numLit", value: 1, type: F64, loc },
+    ];
+    const mod = numericReadModule({ method: "indexEq", args, type: BOOL });
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+    for (const override of [
+        { args: [] }, { type: F64 },
+        { args: [args[0], { kind: "arrayLit", elems: [], type: arrayOf(STRING), loc }, args[2]] },
+        { receiver: { kind: "arrayLit", elems: [], type: arrayOf(arrayOf(F64)), loc } },
+    ]) {
+        expect(validateModule(numericReadModule({ method: "indexEq", args, type: BOOL, ...override }))).not.toEqual([]);
+    }
+});
 test.each([
     [{ receiver: { kind: "arrayLit", elems: [], type: arrayOf(STRING), loc } }, "requires f64 elements"],
     [{ args: [] }, "0 args, expected 1"],

package/dist/ir/validate.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../src/ir/validate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAA8B,MAAM,SAAS,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAE1D,SAAS,iBAAiB,CAAC,SAAS,GAA+C,EAAE;IACnF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW;QACzC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAClE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpD,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,SAAS;KAC7B,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;KAC5H,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,GAAG,GAAG,iBAAiB,EAAE,CAAC;IAChC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,uBAAuB,CAAC;IACpG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,oBAAoB,CAAC;IACpC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,qBAAqB,CAAC;IACtF,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,aAAa,CAAC;CACiC,CAAC,CAAC,sDAAsD,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;IACjJ,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnH,CAAC,CAAC,CAAC"}
+{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../src/ir/validate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAA8B,MAAM,SAAS,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAE1D,SAAS,iBAAiB,CAAC,SAAS,GAA+C,EAAE;IACnF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW;QACzC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAClE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpD,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,SAAS;KAC7B,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;KAC5H,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,GAAG,GAAG,iBAAiB,EAAE,CAAC;IAChC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC5C,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QACxD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KAC7C,CAAC;IACF,MAAM,GAAG,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,KAAK,MAAM,QAAQ,IAAI;QACrB,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE;QAC3B,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE;QAC3F,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;KACzB,EAAE,CAAC;QACzD,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,uBAAuB,CAAC;IACpG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,oBAAoB,CAAC;IACpC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,qBAAqB,CAAC;IACtF,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,aAAa,CAAC;CACiC,CAAC,CAAC,sDAAsD,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;IACjJ,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnH,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@scriptc/compiler",
-  "version": "0.1.5",
+  "version": "0.1.6",
   "description": "The scriptc compiler — TypeScript/JavaScript frontend, typed IR, LLVM and C backends",
   "license": "Apache-2.0",
   "homepage": "https://scriptc.dev",
@@ -31,24 +31,24 @@
   "dependencies": {
     "typescript": "7.0.2",
     "typescript5": "npm:typescript@5.9.3",
-    "@scriptc/runtime": "0.1.5"
+    "@scriptc/runtime": "0.1.6"
   },
   "optionalDependencies": {
-    "@scriptc/llvm-darwin-x64": "0.1.5",
-    "@scriptc/llvm-darwin-arm64": "0.1.5",
-    "@scriptc/llvm-linux-x64-gnu": "0.1.5",
-    "@scriptc/llvm-win32-x64-msvc": "0.1.5",
-    "@scriptc/runtime-linux-x64-gnu": "0.1.5",
-    "@scriptc/llvm-linux-arm64-gnu": "0.1.5",
-    "@scriptc/runtime-darwin-x64": "0.1.5",
-    "@scriptc/llvm-linux-x64-musl": "0.1.5",
-    "@scriptc/runtime-win32-x64-msvc": "0.1.5",
-    "@scriptc/runtime-linux-arm64-gnu": "0.1.5",
-    "@scriptc/runtime-wasm32-wasi": "0.1.5",
-    "@scriptc/llvm-linux-arm64-musl": "0.1.5",
-    "@scriptc/runtime-linux-x64-musl": "0.1.5",
-    "@scriptc/runtime-linux-arm64-musl": "0.1.5",
-    "@scriptc/runtime-darwin-arm64": "0.1.5"
+    "@scriptc/llvm-darwin-arm64": "0.1.6",
+    "@scriptc/llvm-darwin-x64": "0.1.6",
+    "@scriptc/llvm-linux-x64-gnu": "0.1.6",
+    "@scriptc/llvm-linux-arm64-gnu": "0.1.6",
+    "@scriptc/llvm-linux-arm64-musl": "0.1.6",
+    "@scriptc/llvm-linux-x64-musl": "0.1.6",
+    "@scriptc/llvm-win32-x64-msvc": "0.1.6",
+    "@scriptc/runtime-darwin-arm64": "0.1.6",
+    "@scriptc/runtime-darwin-x64": "0.1.6",
+    "@scriptc/runtime-linux-x64-gnu": "0.1.6",
+    "@scriptc/runtime-linux-arm64-musl": "0.1.6",
+    "@scriptc/runtime-linux-x64-musl": "0.1.6",
+    "@scriptc/runtime-win32-x64-msvc": "0.1.6",
+    "@scriptc/runtime-linux-arm64-gnu": "0.1.6",
+    "@scriptc/runtime-wasm32-wasi": "0.1.6"
   },
   "scripts": {
     "build": "node node_modules/typescript/bin/tsc -p tsconfig.json"

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.1.5",
+  "compilerVersion": "0.1.6",
   "coverage": [
     "Entries are projected mechanically from the compiler's own decision tables: the diagnostics registry, the unsupported-syntax dispatch tables, the stdlib and node-builtin lowering tables, and the supported-builtin-module list. Nothing is hand-maintained; the manifest regenerates byte-identically from the source tree at this version.",
     "Absence from this manifest means 'not projected', never 'unsupported'. Surfaces lowered through dedicated code paths rather than tables are not yet projected: console, JSON, Promise/async and the timer surface, the net/http/tls/https/dgram/dns/assert/test/stream/readline module member surfaces, template literals, the regex slice, global functions (parseInt, parseFloat, isNaN, isFinite), and the process surface outside its ambient slice.",
@@ -1621,6 +1621,13 @@
       "status": "static",
       "note": "getrusage's 16 fields — every field read samples live machine state"
     },
+    {
+      "id": "node-builtin.process.rows",
+      "kind": "node-builtin",
+      "name": "process.rows",
+      "status": "static",
+      "note": "the rows read on process.stdout/stderr (terminal geometry)"
+    },
     {
       "id": "node-builtin.process.threadCpuUsage",
       "kind": "node-builtin",
@@ -2116,12 +2123,24 @@
       "name": "Array.prototype.concat",
       "status": "static"
     },
+    {
+      "id": "stdlib.array.copyWithin",
+      "kind": "stdlib",
+      "name": "Array.prototype.copyWithin",
+      "status": "static"
+    },
     {
       "id": "stdlib.array.every",
       "kind": "stdlib",
       "name": "Array.prototype.every",
       "status": "static"
     },
+    {
+      "id": "stdlib.array.fill",
+      "kind": "stdlib",
+      "name": "Array.prototype.fill",
+      "status": "static"
+    },
     {
       "id": "stdlib.array.filter",
       "kind": "stdlib",
@@ -2152,6 +2171,12 @@
       "name": "Array.prototype.findLastIndex",
       "status": "static"
     },
+    {
+      "id": "stdlib.array.flat",
+      "kind": "stdlib",
+      "name": "Array.prototype.flat",
+      "status": "static"
+    },
     {
       "id": "stdlib.array.flatMap",
       "kind": "stdlib",
@@ -3489,8 +3514,8 @@
       "id": "stdlib.string.at",
       "kind": "stdlib",
       "name": "string.prototype.at",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "the lowered call form takes 0 to 1 arguments"
     },
     {
       "id": "stdlib.string.charAt",
@@ -3506,6 +3531,13 @@
       "status": "static",
       "note": "the lowered call form takes 0 to 1 arguments"
     },
+    {
+      "id": "stdlib.string.codePointAt",
+      "kind": "stdlib",
+      "name": "string.prototype.codePointAt",
+      "status": "static",
+      "note": "the lowered call form takes 0 to 1 arguments"
+    },
     {
       "id": "stdlib.string.endsWith",
       "kind": "stdlib",
@@ -3581,7 +3613,7 @@
       "kind": "stdlib",
       "name": "string.prototype.split",
       "status": "static",
-      "note": "the lowered call form takes 1 to 2 arguments"
+      "note": "the lowered call form takes 0 to 2 arguments"
     },
     {
       "id": "stdlib.string.startsWith",