mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-20 05:40:17 +08:00
Chris Tate
82cc41ab0a
- ServerResponse/IncomingMessage/Socket members that fenced on checked-dynamic values now dispatch: flushHeaders, getHeaders, setTimeout, cork/uncork with a real writableCorked counter and coalescing flush, writeHead's raw-array form, write/end encodings and deferred callbacks, req.pause/resume with buffered drain, destroyed/readable/bytesWritten/res.req reads, setNoDelay, destroySoon, end(cb), and dyn Buffer at()/slice() - new http.Agent/https.Agent lowers to a checked-dynamic handle: literal option parsing, getName, destroy, sockets/requests/freeSockets snapshots, settable defaultPort, and REAL maxSockets accounting (over-limit requests defer their dial and queue); keepAlive: true throws the named pooling fence - the request path threads the agent (http.requestAgent/https.requestAgent rows, both backends); dyn keys now stringify for indexing and the in-operator over dyn receivers (dyn.hasKey) - differential fixtures 2573-2577 pin both families against Node
53 lines
2.5 KiB
TypeScript
53 lines
2.5 KiB
TypeScript
/* The options-record stance's FENCE half (the accept-and-drop half is
|
|
* corpus 1750/1751): every key typechecks against the widened fallback
|
|
* declarations, and the option walks fence BY NAME — documented keys the
|
|
* compiler cannot honor, value shapes it cannot lower, and effectful
|
|
* values on keys Node would ignore but still evaluate. Never a generic
|
|
* excess-property error. */
|
|
import * as http from "node:http";
|
|
import * as tls from "node:tls";
|
|
import * as fs from "node:fs";
|
|
import * as dns from "node:dns";
|
|
import * as readline from "node:readline";
|
|
|
|
// The Agent lowers to a checked-dynamic handle now — but only from a
|
|
// LITERAL options object; a runtime options value cannot be walked.
|
|
const agentOpts: http.AgentOptions = { maxSockets: 1 };
|
|
const agent = new http.Agent(agentOpts);
|
|
http.get({ port: 80, agent }, () => {});
|
|
|
|
// agent: false needs a LITERAL headers object to inject Connection: close
|
|
// into; a record variable cannot be checked for a user connection header.
|
|
const dynHeaders: Record<string, string> = { "x-a": "1" };
|
|
http.get({ port: 80, agent: false, headers: dynHeaders }, () => {});
|
|
|
|
// Documented client options with no lowering fence by name.
|
|
http.get({ port: 80, socketPath: "/tmp/sock.s" }, () => {});
|
|
http.get({ port: 80, localAddress: "127.0.0.1" }, () => {});
|
|
|
|
// An UNDOCUMENTED key Node would ignore — but Node still evaluates the
|
|
// value, so an effectful one cannot silently drop.
|
|
function effect(): number {
|
|
console.log("observed");
|
|
return 1;
|
|
}
|
|
http.get({ port: 80, zorp: effect() }, () => {});
|
|
|
|
// Documented TLS server options with no lowering fence by name.
|
|
tls.createServer({ cert: "c", key: "k", ciphers: "TLS_AES_128_GCM_SHA256" }, () => {});
|
|
tls.createServer({ cert: "c", key: "k", ticketKeys: new Uint8Array(48) }, () => {});
|
|
|
|
// fs.watch: the options that would CHANGE behavior fence by name; the
|
|
// stated defaults are accepted (corpus 1751).
|
|
fs.watch("/tmp", { recursive: true }, () => {});
|
|
fs.watch("/tmp", { persistent: false }, () => {});
|
|
|
|
// dns.lookup: hints/all are documented knobs with no lowering.
|
|
dns.lookup("localhost", { family: 4, hints: 32 }, () => {});
|
|
dns.lookup("localhost", { family: 4, all: true }, () => {});
|
|
|
|
// readline: a finite crlfDelay is not the lowered splitter; completer
|
|
// needs an interactive terminal.
|
|
readline.createInterface({ input: process.stdin, output: process.stdout, crlfDelay: 100 });
|
|
readline.createInterface({ input: process.stdin, output: process.stdout, completer: (l: string) => [[l], l] });
|