@scriptc/compiler 0.2.4 → 0.2.6

package/dist/ir/api.js

@@ -0,0 +1,6 @@
+/* Public IR facade. Compiler passes import their implementation owner directly. */
+export * from "./ir.js";
+export { MAY_THROW_LIB_FNS } from "./builtin-effects.js";
+export { moduleRuntimeFeatures, moduleUsesRegex, moduleUsesCopying, moduleUsesLegacyTextDecoder, moduleUsesFileHandle, moduleUsesFetch, moduleUsesProcessEvents, moduleUsesEmitter, moduleUsesStream, moduleEmbedsBuiltin, NPM_COMPRESS_MIN, moduleEmbedsCompressedNpm, moduleUsesZlib, moduleUsesDc, moduleUsesAssert, moduleUsesDynInvoke, moduleUsesDynAsync, moduleUsesInspect, moduleUsesChildProcess, moduleUsesNet, moduleUsesSymbol, moduleUsesBigInt, moduleUsesSearchParams, moduleUsesQs, moduleUsesParseArgs, moduleUsesFsWatch, moduleUsesNodeTest, moduleUsesDgram, moduleUsesHttpServer, moduleUsesHttp2, moduleUsesTls, moduleUsesTlsCa, } from "./runtime-features.js";
+export { LIB_NONDETERMINISTIC_PREFIXES, moduleLibAsyncSurface, moduleLibNondeterministicSurface, } from "../library/ir-policy.js";
+//# sourceMappingURL=api.js.map

package/dist/ir/api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.js","sourceRoot":"","sources":["../../src/ir/api.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,cAAc,SAAS,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAEL,qBAAqB,EACrB,eAAe,EACf,iBAAiB,EACjB,2BAA2B,EAC3B,oBAAoB,EACpB,eAAe,EACf,uBAAuB,EACvB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,yBAAyB,EACzB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,EACtB,aAAa,EACb,gBAAgB,EAChB,gBAAgB,EAChB,sBAAsB,EACtB,YAAY,EACZ,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,oBAAoB,EACpB,eAAe,EACf,aAAa,EACb,eAAe,GAChB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,6BAA6B,EAC7B,qBAAqB,EACrB,gCAAgC,GACjC,MAAM,yBAAyB,CAAC"}

package/dist/ir/build.d.ts

@@ -7,3 +7,10 @@ export declare function boolLit(value: boolean, loc: SrcLoc): IrExpr;
  * index local. The bound expression remains in the condition and is
  * therefore evaluated once per iteration, matching the expanded IR. */
 export declare function countedFor(loc: SrcLoc, bound: IrExpr, body: (index: IrExpr) => IrStmt[]): IrStmt;
+/** A readable checked-dynamic binding starts with this undefined value.
+ * A null dyn slot is an uninitialized trap, not JavaScript undefined. */
+export declare function dynUndefinedExpr(loc: SrcLoc): IrExpr;
+/** An always-throwing Node error with the replaced expression's type.
+ * Kinds: 0 Error, 1 TypeError, 2 RangeError, 5 ReferenceError. An empty
+ * code omits the error code property. */
+export declare function nodeThrowExpr(kind: 0 | 1 | 2 | 5, code: string, message: string, type: IrType, loc: SrcLoc): IrExpr;

package/dist/ir/build.js

@@ -1,4 +1,4 @@
-import { BOOL, F64, STRING } from "./ir.js";
+import { BOOL, DYN, F64, UNDEFINED_T, STRING, } from "./ir.js";
 export function varRef(localId, type, loc) {
     return { kind: "varRef", localId, type, loc };
 }
@@ -30,4 +30,30 @@ export function countedFor(loc, bound, body) {
         loc,
     };
 }
+/** A readable checked-dynamic binding starts with this undefined value.
+ * A null dyn slot is an uninitialized trap, not JavaScript undefined. */
+export function dynUndefinedExpr(loc) {
+    return {
+        kind: "dynFrom",
+        value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+        type: DYN,
+        loc,
+    };
+}
+/** An always-throwing Node error with the replaced expression's type.
+ * Kinds: 0 Error, 1 TypeError, 2 RangeError, 5 ReferenceError. An empty
+ * code omits the error code property. */
+export function nodeThrowExpr(kind, code, message, type, loc) {
+    return {
+        kind: "libCall",
+        fn: "error.nodeThrow",
+        args: [
+            { kind: "numLit", value: kind, type: F64, loc },
+            { kind: "strLit", value: code, type: STRING, loc },
+            { kind: "strLit", value: message, type: STRING, loc },
+        ],
+        type,
+        loc,
+    };
+}
 //# sourceMappingURL=build.js.map

package/dist/ir/build.js.map

@@ -1 +1 @@
-{"version":3,"file":"build.js","sourceRoot":"","sources":["../../src/ir/build.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAyC,MAAM,EAAe,MAAM,SAAS,CAAC;AAEhG,MAAM,UAAU,MAAM,CAAC,OAAe,EAAE,IAAY,EAAE,GAAW;IAC/D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,GAAW;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,GAAW;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAc,EAAE,GAAW;IACjD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrD,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,UAAU,CACxB,GAAW,EACX,KAAa,EACb,IAAiC;IAEjC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;QACpE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnF,GAAG;SACJ;QACD,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"build.js","sourceRoot":"","sources":["../../src/ir/build.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,WAAW,EAIX,MAAM,GAEP,MAAM,SAAS,CAAC;AAEjB,MAAM,UAAU,MAAM,CAAC,OAAe,EAAE,IAAY,EAAE,GAAW;IAC/D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,GAAW;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,GAAW;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAc,EAAE,GAAW;IACjD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrD,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,KAAa,EAAE,IAAiC;IACtF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;QACpE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnF,GAAG;SACJ;QACD,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;QACrE,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;yCAEyC;AACzC,MAAM,UAAU,aAAa,CAC3B,IAAmB,EACnB,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;SACtD;QACD,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/ir/builtin-effects.d.ts

@@ -0,0 +1,9 @@
+import type { IrLibFn } from "./builtin-signatures.js";
+/** The may-throw seed: libCall members that can raise. Every fs.* member
+ * EXCEPT existsSync (which, like Node's, swallows errors and returns false)
+ * throws a catchable error on failure; json.parse throws a catchable
+ * SyntaxError-shaped string on malformed input. Backends' may-throw analyses must treat a function containing one
+ * of these as throwing, exactly like a `throw` statement (and must ALSO
+ * seed on `dynCheck` and `awaitExpr` nodes, which throw on validation
+ * failure / promise rejection). */
+export declare const MAY_THROW_LIB_FNS: ReadonlySet<IrLibFn>;