@scriptc/compiler 0.0.12 → 0.0.13

package/dist/backend/emission/emit-exprs.js

@@ -441,14 +441,25 @@ export function emitExpr(E, e) {
             E.line(`${cDecl(e.type, name)};`);
             E.line(`if (${E.unionTruthyHelper(e.left.type.unionId)}(${l.name})) {`);
             E.indent++;
-            const arm = e.type;
-            const read = arm.kind === "f64"
-                ? `scr_union_get_f64(${l.name})`
-                : arm.kind === "bool"
-                    ? `scr_union_get_bool(${l.name})`
-                    : retainCallC(arm, `(${cType(arm).trim()})scr_union_peek(${l.name})`);
-            E.line(`${name} = ${read};`);
-            E.releaseValue(l.name, e.left.type);
+            if (e.retag !== undefined) {
+                // The helper CONSUMES the left box (callees own their params), so
+                // no release on this side — the falsy side still owns and frees it.
+                // An unwind here produces the NULL dummy and never reaches the
+                // frame push below, so the slot needs no early registration.
+                E.line(`${name} = ${E.callTargetC(e.retag)}(${l.name});`);
+                if (E.mayThrow.has(e.retag))
+                    E.emitPendingCheck();
+            }
+            else {
+                const arm = e.type;
+                const read = arm.kind === "f64"
+                    ? `scr_union_get_f64(${l.name})`
+                    : arm.kind === "bool"
+                        ? `scr_union_get_bool(${l.name})`
+                        : retainCallC(arm, `(${cType(arm).trim()})scr_union_peek(${l.name})`);
+                E.line(`${name} = ${read};`);
+                E.releaseValue(l.name, e.left.type);
+            }
             E.indent--;
             E.line(`} else {`);
             E.indent++;
@@ -2237,6 +2248,10 @@ export function emitExpr(E, e) {
                     // Object.defineProperties over dyn values: both borrowed,
                     // result the target (+1); throws catchably (may-throw seed).
                     return finish(`scr_dyn_define_props(${arg(0)}, ${arg(1)})`);
+                case "dyn.hasKey":
+                    // `k in v` with a runtime key: the dyn presence answer (both
+                    // borrowed, no allocation, never throws).
+                    return finish(`scr_dyn_has_key(${arg(0)}, ${arg(1)})`);
                 case "dyn.keySet":
                     // Keyed write on a dyn receiver: all three borrowed (the
                     // member retains the value in); throws Node's TypeErrors on
@@ -3169,6 +3184,25 @@ export function emitExpr(E, e) {
                 case "net.sockDestroy":
                     E.line(`scr_net_sock_destroy(${arg(0)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
+                case "net.sockPause":
+                    return finish(`scr_net_sock_pause(${arg(0)})`);
+                case "net.sockResume":
+                    return finish(`scr_net_sock_resume(${arg(0)})`);
+                case "net.sockSetNoDelay":
+                    return finish(`scr_net_sock_set_nodelay(${arg(0)}, ${arg(1)})`);
+                case "net.sockDestroySoon":
+                    E.line(`scr_net_sock_destroy_soon(${arg(0)});${E.srcComment(e.loc)}`);
+                    return { name: "", type: e.type };
+                case "net.sockBytesWritten":
+                    return finish(`scr_net_sock_bytes_written(${arg(0)})`);
+                case "net.sockReadable":
+                    return finish(`scr_net_sock_readable(${arg(0)})`);
+                case "net.sockOnFinish": {
+                    const cb = args[1];
+                    E.moveTemp(cb);
+                    E.line(`scr_net_sock_on_finish(${arg(0)}, ${cb.name});${E.srcComment(e.loc)}`);
+                    return { name: "", type: e.type };
+                }
                 case "net.sockPipe":
                     E.line(`scr_net_sock_pipe(${arg(0)}, ${arg(1)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
@@ -3180,7 +3214,8 @@ export function emitExpr(E, e) {
                     E.moveTemp(cb);
                     const adapter = cbT.params.length === 0 ? "scr_net_data_thunk0"
                         : cbT.params[0].kind === "dyn" ? "scr_net_data_thunk_dyn"
-                            : "scr_net_data_thunk_bytes";
+                            : cbT.params[0].kind === "string" ? "scr_net_data_thunk_str"
+                                : "scr_net_data_thunk_bytes";
                     E.line(`scr_net_sock_on_data(${arg(0)}, ${cb.name}, &${adapter}, ${arg(2)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
                 }
@@ -3406,7 +3441,8 @@ export function emitExpr(E, e) {
                     E.moveTemp(cb);
                     const adapter = cbT.params.length === 0 ? "scr_net_data_thunk0"
                         : cbT.params[0].kind === "dyn" ? "scr_net_data_thunk_dyn"
-                            : "scr_net_data_thunk_bytes";
+                            : cbT.params[0].kind === "string" ? "scr_net_data_thunk_str"
+                                : "scr_net_data_thunk_bytes";
                     E.line(`scr_http_req_on_data(${arg(0)}, ${cb.name}, &${adapter}, ${arg(2)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
                 }
@@ -3726,6 +3762,25 @@ export function emitExpr(E, e) {
                     }
                     return finish(`scr_http_request(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)}, ${cbExpr}, ${adapter})`);
                 }
+                case "http.agentNew":
+                    E.usesTimers = true; // queued dials hold the loop open
+                    return finish(`scr_http_agent_new(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)})`);
+                case "http.requestAgent":
+                case "http.requestAgentCb": {
+                    E.usesTimers = true;
+                    let cbExpr = "NULL";
+                    let adapter = "NULL";
+                    if (e.fn === "http.requestAgentCb") {
+                        const cbT = e.args[8].type;
+                        if (cbT.kind !== "func")
+                            throw new Error("emitter bug: http.requestAgentCb callback not a func");
+                        const cb = args[8];
+                        E.moveTemp(cb);
+                        cbExpr = cb.name;
+                        adapter = cbT.params.length === 0 ? "&scr_http_resp_thunk0" : "&scr_http_resp_thunk_res";
+                    }
+                    return finish(`scr_http_request_agent(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)}, ${arg(7)}, ${cbExpr}, ${adapter})`);
+                }
                 case "http.requestUrl":
                 case "http.requestUrlCb": {
                     E.usesTimers = true; // an in-flight request holds the loop open
@@ -3892,6 +3947,42 @@ export function emitExpr(E, e) {
                     // 'stream'/'session' listeners, exactly the h2c surface.
                     E.usesTimers = true;
                     return finish(`scr_http2_create_secure_server((const char *)${arg(0)}->data, ${arg(0)}->len, (const char *)${arg(1)}->data, ${arg(1)}->len)`);
+                case "http2.createSecureServerReq":
+                case "http2.createSecureServerH2Req": {
+                    // createSecureServer(options, handler): the eager COMPAT
+                    // handler is the first 'request' listener on either flavor
+                    // (the createServerReq adapter family).
+                    E.usesTimers = true;
+                    const cbT = e.args[2].type;
+                    if (cbT.kind !== "func")
+                        throw new Error(`emitter bug: ${e.fn} handler not a func`);
+                    const cb = args[2];
+                    E.moveTemp(cb);
+                    const adapter = cbT.params.length === 2 ? "scr_http_handler_thunk2"
+                        : cbT.params.length === 1 ? "scr_http_handler_thunk1"
+                            : "scr_http_handler_thunk0";
+                    const certKey = `(const char *)${arg(0)}->data, ${arg(0)}->len, (const char *)${arg(1)}->data, ${arg(1)}->len`;
+                    return finish(fn === "http2.createSecureServerReq"
+                        ? `scr_https_create_server(${certKey}, ${cb.name}, &${adapter})`
+                        : `scr_http2_create_secure_server_req(${certKey}, ${cb.name}, &${adapter})`);
+                }
+                case "http2.createSecureServerDyn":
+                    // The runtime options record: allowHTTP1/cert/key read at
+                    // runtime (may-throw — the divergence-66 walk).
+                    E.usesTimers = true;
+                    return finish(`scr_http2_create_secure_server_dyn(${arg(0)}, NULL, NULL)`);
+                case "http2.createSecureServerDynCb": {
+                    E.usesTimers = true;
+                    const cbT = e.args[1].type;
+                    if (cbT.kind !== "func")
+                        throw new Error("emitter bug: createSecureServerDynCb handler not a func");
+                    const cb = args[1];
+                    E.moveTemp(cb);
+                    const adapter = cbT.params.length === 2 ? "scr_http_handler_thunk2"
+                        : cbT.params.length === 1 ? "scr_http_handler_thunk1"
+                            : "scr_http_handler_thunk0";
+                    return finish(`scr_http2_create_secure_server_dyn(${arg(0)}, ${cb.name}, &${adapter})`);
+                }
                 case "http2.createSecureServerSni": {
                     // The SNI form: the runtime parses each connection's
                     // ClientHello for server_name BEFORE the handshake, calls the
@@ -3942,6 +4033,15 @@ export function emitExpr(E, e) {
                 case "tls.caCertsChk":
                     // Always throws (validation error or the trailing fence).
                     return finish(`(scr_tls_ca_certs_chk(${arg(0)}, ${arg(1)}), ${isRefCounted(e.type) ? `(${cType(e.type).trim()})NULL` : "0"})`);
+                // The CA-store introspection unit (scr_tls_ca.c): cached
+                // per-type PEM string arrays (+1 retained answers), and the
+                // default-set replacement. get/set are may-throw seeds.
+                case "tlsca.get":
+                    return finish(`scr_tls_ca_get(${arg(0)})`);
+                case "tlsca.root":
+                    return finish(`scr_tls_ca_root()`);
+                case "tlsca.set":
+                    return finish(`scr_tls_ca_set_default(${arg(0)})`);
                 case "http.serverOnRequest": {
                     const cbT = e.args[1].type;
                     if (cbT.kind !== "func")
@@ -4174,7 +4274,8 @@ export function emitExpr(E, e) {
                     E.moveTemp(cb);
                     const adapter = cbT.params.length === 0 ? "scr_net_data_thunk0"
                         : cbT.params[0].kind === "dyn" ? "scr_net_data_thunk_dyn"
-                            : "scr_net_data_thunk_bytes";
+                            : cbT.params[0].kind === "string" ? "scr_net_data_thunk_str"
+                                : "scr_net_data_thunk_bytes";
                     E.line(`scr_http2_stream_on_data(${arg(0)}, ${cb.name}, &${adapter}, ${arg(2)});${E.srcComment(e.loc)}`);
                     return { name: "", type: e.type };
                 }
@@ -4240,6 +4341,22 @@ export function emitExpr(E, e) {
                     }
                     return finish(`scr_https_request(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)}, ${arg(7)}, (const char *)${arg(8)}->data, ${arg(8)}->len, ${cbExpr}, ${adapter})`);
                 }
+                case "https.requestAgent":
+                case "https.requestAgentCb": {
+                    E.usesTimers = true; // an in-flight request holds the loop open
+                    let cbExpr = "NULL";
+                    let adapter = "NULL";
+                    if (e.fn === "https.requestAgentCb") {
+                        const cbT = e.args[10].type;
+                        if (cbT.kind !== "func")
+                            throw new Error("emitter bug: https.requestAgentCb callback not a func");
+                        const cb = args[10];
+                        E.moveTemp(cb);
+                        cbExpr = cb.name;
+                        adapter = cbT.params.length === 0 ? "&scr_http_resp_thunk0" : "&scr_http_resp_thunk_res";
+                    }
+                    return finish(`scr_https_request_agent(${arg(0)}, ${arg(1)}, ${arg(2)}, ${arg(3)}, ${arg(4)}, ${arg(5)}, ${arg(6)}, ${arg(7)}, (const char *)${arg(8)}->data, ${arg(8)}->len, ${arg(9)}, ${cbExpr}, ${adapter})`);
+                }
                 case "https.requestFn":
                 case "https.requestFnCb": {
                     // The requestFn binding's runtime dial: arg 0 picks the client
@@ -4509,7 +4626,16 @@ export function emitExpr(E, e) {
                 case "process.onUnhandledRejection":
                     // The report at loop end dispatches the listeners.
                     E.usesTimers = true;
-                    return finish(`scr_process_on_unhandled_rejection(${arg(0)})`);
+                    return finish(`scr_process_on_unhandled_rejection(${arg(0)}, ${arg(1)})`);
+                case "process.offUnhandledRejection":
+                    return finish(`scr_process_off_unhandled_rejection(${arg(0)})`);
+                case "process.onRejectionHandled":
+                    // Fires (if ever) during the loop-end report's listener
+                    // dispatch — the loop must be live for the report to run.
+                    E.usesTimers = true;
+                    return finish(`scr_process_on_rejection_handled(${arg(0)}, ${arg(1)})`);
+                case "process.offRejectionHandled":
+                    return finish(`scr_process_off_rejection_handled(${arg(0)})`);
                 case "fsp.readFile":
                     return finish(`scr_fsp_read_file(${arg(0)})`);
                 case "fsp.writeFile":