@scriptc/compiler 0.1.1 → 0.1.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/ambient/scriptc-node-fallback.d.ts +45 -17
- package/ambient/scriptc.d.ts +2 -1
- package/dist/backend/build-cache.js.map +1 -1
- package/dist/backend/c/async.js +24 -2
- package/dist/backend/c/async.js.map +1 -1
- package/dist/backend/c/c-emitter.d.ts +22 -10
- package/dist/backend/c/c-emitter.js +60 -15
- package/dist/backend/c/c-emitter.js.map +1 -1
- package/dist/backend/c/exprs.js +220 -10
- package/dist/backend/c/exprs.js.map +1 -1
- package/dist/backend/c/island.js.map +1 -1
- package/dist/backend/c/may-throw.js.map +1 -1
- package/dist/backend/c/stmts.d.ts +3 -5
- package/dist/backend/c/stmts.js +58 -17
- package/dist/backend/c/stmts.js.map +1 -1
- package/dist/backend/c/types.js.map +1 -1
- package/dist/backend/c/walkers.js +31 -5
- package/dist/backend/c/walkers.js.map +1 -1
- package/dist/backend/external-c.js.map +1 -1
- package/dist/backend/linker.js.map +1 -1
- package/dist/backend/llvm/blocks.js.map +1 -1
- package/dist/backend/llvm/dyn.js +56 -3
- package/dist/backend/llvm/dyn.js.map +1 -1
- package/dist/backend/llvm/emitter.js +98 -19
- package/dist/backend/llvm/emitter.js.map +1 -1
- package/dist/backend/llvm/expr-async.js +85 -3
- package/dist/backend/llvm/expr-async.js.map +1 -1
- package/dist/backend/llvm/expr-bytes.js.map +1 -1
- package/dist/backend/llvm/expr-calls.js.map +1 -1
- package/dist/backend/llvm/expr-containers.js.map +1 -1
- package/dist/backend/llvm/expr-context.d.ts +1 -0
- package/dist/backend/llvm/expr-control.js.map +1 -1
- package/dist/backend/llvm/expr-dispatch.js.map +1 -1
- package/dist/backend/llvm/expr-dynamic.js +6 -3
- package/dist/backend/llvm/expr-dynamic.js.map +1 -1
- package/dist/backend/llvm/expr-island.js.map +1 -1
- package/dist/backend/llvm/expr-primitives.js.map +1 -1
- package/dist/backend/llvm/expr-records.js.map +1 -1
- package/dist/backend/llvm/expr-stream-bridges.js +220 -9
- package/dist/backend/llvm/expr-stream-bridges.js.map +1 -1
- package/dist/backend/llvm/lib-dispatch.js +2 -0
- package/dist/backend/llvm/lib-dispatch.js.map +1 -1
- package/dist/backend/llvm/lib-shared.js +18 -0
- package/dist/backend/llvm/lib-shared.js.map +1 -1
- package/dist/backend/llvm/lib-stream.js +6 -3
- package/dist/backend/llvm/lib-stream.js.map +1 -1
- package/dist/backend/llvm/split.js.map +1 -1
- package/dist/backend/llvm/unsupported.js.map +1 -1
- package/dist/backend/llvm/walkers.js.map +1 -1
- package/dist/backend/native-codegen.js.map +1 -1
- package/dist/backend/native-codegen.test.js +2 -0
- package/dist/backend/native-codegen.test.js.map +1 -1
- package/dist/backend/native-toolchain.js.map +1 -1
- package/dist/backend/native-toolchain.test.js.map +1 -1
- package/dist/backend/runtime-pack.js.map +1 -1
- package/dist/backend/targets.js.map +1 -1
- package/dist/backend/vendor-archives.js.map +1 -1
- package/dist/compat/fetch-profile.js +4 -2
- package/dist/compat/fetch-profile.js.map +1 -1
- package/dist/coverage/report.js.map +1 -1
- package/dist/coverage/surface-manifest.js +12 -0
- package/dist/coverage/surface-manifest.js.map +1 -1
- package/dist/diagnostics/diagnostic.d.ts +6 -5
- package/dist/diagnostics/diagnostic.js +7 -6
- package/dist/diagnostics/diagnostic.js.map +1 -1
- package/dist/diagnostics/render.js.map +1 -1
- package/dist/ffi/ffi-manifest.js.map +1 -1
- package/dist/frontend/cjs-lexer.js.map +1 -1
- package/dist/frontend/dts-paths.js.map +1 -1
- package/dist/frontend/input-tracker.d.ts +10 -0
- package/dist/frontend/input-tracker.js +26 -3
- package/dist/frontend/input-tracker.js.map +1 -1
- package/dist/frontend/input-tracker.test.js +8 -1
- package/dist/frontend/input-tracker.test.js.map +1 -1
- package/dist/frontend/lib-contract.js.map +1 -1
- package/dist/frontend/lowering/array-values.d.ts +4 -0
- package/dist/frontend/lowering/array-values.js +18 -2
- package/dist/frontend/lowering/array-values.js.map +1 -1
- package/dist/frontend/lowering/callback-arg.js.map +1 -1
- package/dist/frontend/lowering/containers/bytes.d.ts +35 -0
- package/dist/frontend/lowering/containers/bytes.js +1021 -0
- package/dist/frontend/lowering/containers/bytes.js.map +1 -0
- package/dist/frontend/lowering/containers/string-and-regexp.d.ts +17 -0
- package/dist/frontend/lowering/containers/string-and-regexp.js +345 -0
- package/dist/frontend/lowering/containers/string-and-regexp.js.map +1 -0
- package/dist/frontend/lowering/expressions/evaluation-safety.d.ts +13 -0
- package/dist/frontend/lowering/expressions/evaluation-safety.js +76 -0
- package/dist/frontend/lowering/expressions/evaluation-safety.js.map +1 -0
- package/dist/frontend/lowering/expressions/object-literals.d.ts +44 -0
- package/dist/frontend/lowering/expressions/object-literals.js +1815 -0
- package/dist/frontend/lowering/expressions/object-literals.js.map +1 -0
- package/dist/frontend/lowering/expressions/optional-chains.d.ts +31 -0
- package/dist/frontend/lowering/expressions/optional-chains.js +382 -0
- package/dist/frontend/lowering/expressions/optional-chains.js.map +1 -0
- package/dist/frontend/lowering/expressions/try-lower-expression.d.ts +7 -0
- package/dist/frontend/lowering/expressions/try-lower-expression.js +26 -0
- package/dist/frontend/lowering/expressions/try-lower-expression.js.map +1 -0
- package/dist/frontend/lowering/lib-boundary.js +7 -2
- package/dist/frontend/lowering/lib-boundary.js.map +1 -1
- package/dist/frontend/lowering/lower-assert.js.map +1 -1
- package/dist/frontend/lowering/lower-async-iteration.d.ts +7 -0
- package/dist/frontend/lowering/lower-async-iteration.js +657 -0
- package/dist/frontend/lowering/lower-async-iteration.js.map +1 -0
- package/dist/frontend/lowering/lower-builtins.d.ts +18 -0
- package/dist/frontend/lowering/lower-builtins.js +219 -48
- package/dist/frontend/lowering/lower-builtins.js.map +1 -1
- package/dist/frontend/lowering/lower-calls.d.ts +13 -4
- package/dist/frontend/lowering/lower-calls.js +407 -64
- package/dist/frontend/lowering/lower-calls.js.map +1 -1
- package/dist/frontend/lowering/lower-classes.d.ts +7 -13
- package/dist/frontend/lowering/lower-classes.js +128 -35
- package/dist/frontend/lowering/lower-classes.js.map +1 -1
- package/dist/frontend/lowering/lower-comptime.js.map +1 -1
- package/dist/frontend/lowering/lower-containers.d.ts +1 -47
- package/dist/frontend/lowering/lower-containers.js +135 -1467
- package/dist/frontend/lowering/lower-containers.js.map +1 -1
- package/dist/frontend/lowering/lower-event-emitter.js +51 -5
- package/dist/frontend/lowering/lower-event-emitter.js.map +1 -1
- package/dist/frontend/lowering/lower-exprs.d.ts +0 -78
- package/dist/frontend/lowering/lower-exprs.js +402 -2351
- package/dist/frontend/lowering/lower-exprs.js.map +1 -1
- package/dist/frontend/lowering/lower-generators.d.ts +18 -3
- package/dist/frontend/lowering/lower-generators.js +145 -9
- package/dist/frontend/lowering/lower-generators.js.map +1 -1
- package/dist/frontend/lowering/lower-inspect.js +3 -3
- package/dist/frontend/lowering/lower-inspect.js.map +1 -1
- package/dist/frontend/lowering/lower-island.d.ts +6 -0
- package/dist/frontend/lowering/lower-island.js +37 -5
- package/dist/frontend/lowering/lower-island.js.map +1 -1
- package/dist/frontend/lowering/lower-modules.js +52 -15
- package/dist/frontend/lowering/lower-modules.js.map +1 -1
- package/dist/frontend/lowering/lower-node-module.d.ts +18 -0
- package/dist/frontend/lowering/lower-node-module.js +302 -0
- package/dist/frontend/lowering/lower-node-module.js.map +1 -0
- package/dist/frontend/lowering/lower-server.js +1 -1
- package/dist/frontend/lowering/lower-server.js.map +1 -1
- package/dist/frontend/lowering/lower-stmts.d.ts +5 -24
- package/dist/frontend/lowering/lower-stmts.js +519 -253
- package/dist/frontend/lowering/lower-stmts.js.map +1 -1
- package/dist/frontend/lowering/lower-stream.js +4 -4
- package/dist/frontend/lowering/lower-stream.js.map +1 -1
- package/dist/frontend/lowering/lowerer.d.ts +37 -34
- package/dist/frontend/lowering/lowerer.js +143 -57
- package/dist/frontend/lowering/lowerer.js.map +1 -1
- package/dist/frontend/lowering/optional-arguments.d.ts +9 -0
- package/dist/frontend/lowering/optional-arguments.js +57 -0
- package/dist/frontend/lowering/optional-arguments.js.map +1 -0
- package/dist/frontend/npm-static-declarations.d.ts +35 -0
- package/dist/frontend/npm-static-declarations.js +506 -0
- package/dist/frontend/npm-static-declarations.js.map +1 -0
- package/dist/frontend/npm-static-declarations.test.d.ts +1 -0
- package/dist/frontend/npm-static-declarations.test.js +122 -0
- package/dist/frontend/npm-static-declarations.test.js.map +1 -0
- package/dist/frontend/npm-static.d.ts +2 -0
- package/dist/frontend/npm-static.js +26 -10
- package/dist/frontend/npm-static.js.map +1 -1
- package/dist/frontend/npm.d.ts +60 -0
- package/dist/frontend/npm.js +38 -4
- package/dist/frontend/npm.js.map +1 -1
- package/dist/frontend/npm.test.d.ts +1 -0
- package/dist/frontend/npm.test.js +50 -0
- package/dist/frontend/npm.test.js.map +1 -0
- package/dist/frontend/program.d.ts +3 -2
- package/dist/frontend/program.js +495 -68
- package/dist/frontend/program.js.map +1 -1
- package/dist/frontend/resolve.d.ts +10 -2
- package/dist/frontend/resolve.js +90 -14
- package/dist/frontend/resolve.js.map +1 -1
- package/dist/frontend/resolve.test.js +4 -1
- package/dist/frontend/resolve.test.js.map +1 -1
- package/dist/frontend/runtime-resolve.d.ts +22 -0
- package/dist/frontend/runtime-resolve.js +101 -0
- package/dist/frontend/runtime-resolve.js.map +1 -0
- package/dist/frontend/runtime-resolve.test.d.ts +1 -0
- package/dist/frontend/runtime-resolve.test.js +18 -0
- package/dist/frontend/runtime-resolve.test.js.map +1 -0
- package/dist/frontend/ts7/adapter.js +12 -13
- package/dist/frontend/ts7/adapter.js.map +1 -1
- package/dist/frontend/ts7/ast.js.map +1 -1
- package/dist/frontend/ts7/census-check.js +3 -3
- package/dist/frontend/ts7/census-check.js.map +1 -1
- package/dist/frontend/ts7/checker.d.ts +3 -0
- package/dist/frontend/ts7/checker.js +12 -3
- package/dist/frontend/ts7/checker.js.map +1 -1
- package/dist/frontend/ts7/enums.js.map +1 -1
- package/dist/frontend/ts7/program-adapter.js +42 -3
- package/dist/frontend/ts7/program-adapter.js.map +1 -1
- package/dist/frontend/type-mapper.js +120 -7
- package/dist/frontend/type-mapper.js.map +1 -1
- package/dist/index.js +5 -5
- package/dist/index.js.map +1 -1
- package/dist/ir/analysis.js.map +1 -1
- package/dist/ir/ir.d.ts +60 -30
- package/dist/ir/ir.js +57 -6
- package/dist/ir/ir.js.map +1 -1
- package/dist/ir/validate.js +44 -59
- package/dist/ir/validate.js.map +1 -1
- package/dist/library/cache-primitives.js.map +1 -1
- package/dist/library/cache-reset.test.js.map +1 -1
- package/dist/library/compiler-self-identity.js.map +1 -1
- package/dist/library/int-infer.js.map +1 -1
- package/dist/library/int-infer.test.js.map +1 -1
- package/dist/library/library-profile.js.map +1 -1
- package/dist/library/sidecar-validate.js.map +1 -1
- package/dist/library/sidecar.js.map +1 -1
- package/dist/startup-cache.js.map +1 -1
- package/dist/wasi-paths.js.map +1 -1
- package/package.json +18 -18
- package/surface-manifest.json +60 -4
|
@@ -0,0 +1,302 @@
|
|
|
1
|
+
/* Engine-free CommonJS Module graph introspection. Module objects use the
|
|
2
|
+
* process-lifetime f64-handle pattern (readline/diagnostics_channel): the
|
|
3
|
+
* generated program defines immutable metadata once, while the runtime
|
|
4
|
+
* registry tracks cache membership, parent/children, and loaded state as
|
|
5
|
+
* require sites execute. */
|
|
6
|
+
import { posix, win32 } from "node:path";
|
|
7
|
+
import * as ts from "../ts7/adapter.js";
|
|
8
|
+
import { isNodeEsmFile, locOf } from "../program.js";
|
|
9
|
+
import { runtimePathForTarget } from "../runtime-resolve.js";
|
|
10
|
+
import { BOOL, F64, NULL_T, STRING, UNDEFINED_T, VOID, arrayOf } from "../../ir/ir.js";
|
|
11
|
+
import { boolLit, numLit, strLit, varRef } from "../../ir/build.js";
|
|
12
|
+
const MODULE_FIELDS = new Set([
|
|
13
|
+
"children", "filename", "id", "isPreloading", "loaded", "parent", "path", "paths", "require",
|
|
14
|
+
]);
|
|
15
|
+
function cjsGlobal(lowerer, node, name) {
|
|
16
|
+
if (!ts.isIdentifier(node) || node.text !== name)
|
|
17
|
+
return false;
|
|
18
|
+
if (lowerer.isStdlibGlobal(node, name))
|
|
19
|
+
return true;
|
|
20
|
+
const symbol = lowerer.checker.getSymbolAtLocation(node);
|
|
21
|
+
const decls = symbol ? lowerer.checker.declarationsOf(symbol) : [];
|
|
22
|
+
const sourceShadow = decls.some((decl) => !decl.getSourceFile().isDeclarationFile &&
|
|
23
|
+
(ts.isVariableDeclaration(decl) || ts.isParameter(decl) || ts.isBindingElement(decl) ||
|
|
24
|
+
ts.isFunctionDeclaration(decl) || ts.isClassDeclaration(decl) ||
|
|
25
|
+
ts.isImportSpecifier(decl) || ts.isNamespaceImport(decl) || ts.isImportEqualsDeclaration(decl)));
|
|
26
|
+
return !sourceShadow && !isNodeEsmFile(node.getSourceFile());
|
|
27
|
+
}
|
|
28
|
+
function graphSyntax(lowerer, sf) {
|
|
29
|
+
let found = false;
|
|
30
|
+
ts.walkPreorder(sf, (node) => {
|
|
31
|
+
if (ts.isPropertyAccessExpression(node)) {
|
|
32
|
+
if (cjsGlobal(lowerer, node.expression, "require") && (node.name.text === "main" || node.name.text === "cache")) {
|
|
33
|
+
found = true;
|
|
34
|
+
return "stop";
|
|
35
|
+
}
|
|
36
|
+
if (cjsGlobal(lowerer, node.expression, "module") && MODULE_FIELDS.has(node.name.text)) {
|
|
37
|
+
found = true;
|
|
38
|
+
return "stop";
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
if (ts.isIdentifier(node) && cjsGlobal(lowerer, node, "module")) {
|
|
42
|
+
const parent = node.parent;
|
|
43
|
+
if (!ts.isPropertyAccessExpression(parent) || parent.expression !== node ||
|
|
44
|
+
(parent.name.text !== "exports" && MODULE_FIELDS.has(parent.name.text))) {
|
|
45
|
+
found = true;
|
|
46
|
+
return "stop";
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
return undefined;
|
|
50
|
+
});
|
|
51
|
+
return found;
|
|
52
|
+
}
|
|
53
|
+
export function prepareCjsModuleGraph(lowerer, parts) {
|
|
54
|
+
lowerer.cjsModuleGraphEnabled = parts.some(({ sf }) => graphSyntax(lowerer, sf));
|
|
55
|
+
if (!lowerer.cjsModuleGraphEnabled)
|
|
56
|
+
return;
|
|
57
|
+
for (const { sf } of parts) {
|
|
58
|
+
if (sf.isDeclarationFile || sf.fileName.endsWith(".json") || isNodeEsmFile(sf))
|
|
59
|
+
continue;
|
|
60
|
+
// Zero stays reserved so every module handle is truthy like the object
|
|
61
|
+
// it represents, even when a value reaches a generic boolean context.
|
|
62
|
+
const id = lowerer.cjsModuleFiles.length + 1;
|
|
63
|
+
lowerer.cjsModuleFiles.push(sf);
|
|
64
|
+
lowerer.cjsModuleIdOf.set(sf, id);
|
|
65
|
+
}
|
|
66
|
+
}
|
|
67
|
+
function moduleFileName(lowerer, sf) {
|
|
68
|
+
return runtimePathForTarget(sf.fileName, lowerer.targetPlatform);
|
|
69
|
+
}
|
|
70
|
+
function nodeModulePaths(fileName, targetPlatform) {
|
|
71
|
+
const api = targetPlatform === "win32" ? win32 : posix;
|
|
72
|
+
const paths = [];
|
|
73
|
+
let dir = api.dirname(fileName);
|
|
74
|
+
for (;;) {
|
|
75
|
+
if (api.basename(dir).toLowerCase() !== "node_modules")
|
|
76
|
+
paths.push(api.join(dir, "node_modules"));
|
|
77
|
+
const parent = api.dirname(dir);
|
|
78
|
+
if (parent === dir)
|
|
79
|
+
break;
|
|
80
|
+
dir = parent;
|
|
81
|
+
}
|
|
82
|
+
return paths;
|
|
83
|
+
}
|
|
84
|
+
export function cjsModuleRegistryPrelude(lowerer, loc) {
|
|
85
|
+
if (!lowerer.cjsModuleGraphEnabled)
|
|
86
|
+
return [];
|
|
87
|
+
const body = [{
|
|
88
|
+
kind: "exprStmt",
|
|
89
|
+
expr: { kind: "libCall", fn: "module.registryInit", args: [numLit(lowerer.cjsModuleFiles.length + 1, loc)], type: VOID, loc },
|
|
90
|
+
loc,
|
|
91
|
+
}];
|
|
92
|
+
for (const [index, sf] of lowerer.cjsModuleFiles.entries()) {
|
|
93
|
+
const moduleId = index + 1;
|
|
94
|
+
const filename = moduleFileName(lowerer, sf);
|
|
95
|
+
const isMain = sf === lowerer.entry && !isNodeEsmFile(lowerer.entry);
|
|
96
|
+
const path = (lowerer.targetPlatform === "win32" ? win32 : posix).dirname(filename);
|
|
97
|
+
const paths = {
|
|
98
|
+
kind: "arrayLit",
|
|
99
|
+
elems: nodeModulePaths(filename, lowerer.targetPlatform).map((value) => strLit(value, loc)),
|
|
100
|
+
type: arrayOf(STRING),
|
|
101
|
+
loc,
|
|
102
|
+
};
|
|
103
|
+
body.push({
|
|
104
|
+
kind: "exprStmt",
|
|
105
|
+
expr: {
|
|
106
|
+
kind: "libCall",
|
|
107
|
+
fn: "module.define",
|
|
108
|
+
args: [numLit(moduleId, loc), strLit(filename, loc), strLit(isMain ? "." : filename, loc), strLit(path, loc), paths, boolLit(isMain, loc)],
|
|
109
|
+
type: VOID,
|
|
110
|
+
loc,
|
|
111
|
+
},
|
|
112
|
+
loc,
|
|
113
|
+
});
|
|
114
|
+
}
|
|
115
|
+
return body;
|
|
116
|
+
}
|
|
117
|
+
export function cjsModuleRef(lowerer, node) {
|
|
118
|
+
const id = lowerer.cjsModuleIdOf.get(node.getSourceFile());
|
|
119
|
+
return id === undefined ? null : numLit(id, locOf(node));
|
|
120
|
+
}
|
|
121
|
+
export function isCjsModuleGlobal(lowerer, node) {
|
|
122
|
+
return cjsGlobal(lowerer, node, "module");
|
|
123
|
+
}
|
|
124
|
+
export function isNodeModuleValue(lowerer, node) {
|
|
125
|
+
return isCjsModuleGlobal(lowerer, node) || nodeModuleType(lowerer, node);
|
|
126
|
+
}
|
|
127
|
+
export function isRequireCacheExpr(lowerer, node) {
|
|
128
|
+
if (!ts.isPropertyAccessExpression(node) || node.name.text !== "cache")
|
|
129
|
+
return false;
|
|
130
|
+
return cjsGlobal(lowerer, node.expression, "require");
|
|
131
|
+
}
|
|
132
|
+
function nodeModuleType(lowerer, node) {
|
|
133
|
+
const type = lowerer.typeOf(node);
|
|
134
|
+
const mapped = lowerer.mapTypeOf(type);
|
|
135
|
+
const symbol = type.getSymbol();
|
|
136
|
+
if (symbol && (symbol.name === "Module" || symbol.name === "ScriptcModule") &&
|
|
137
|
+
lowerer.checker.declarationsOf(symbol).some((decl) => lowerer.isStdlibFile(decl.getSourceFile()))) {
|
|
138
|
+
return true;
|
|
139
|
+
}
|
|
140
|
+
const property = lowerer.checker.getPropertyOfType(type, "filename");
|
|
141
|
+
const declaredByModule = property && lowerer.checker.declarationsOf(property).some((decl) => {
|
|
142
|
+
for (let parent = decl.parent; parent; parent = parent.parent) {
|
|
143
|
+
if ((ts.isInterfaceDeclaration(parent) || ts.isClassDeclaration(parent)) &&
|
|
144
|
+
parent.name && (parent.name.text === "ScriptcModule" || parent.name.text === "Module") &&
|
|
145
|
+
lowerer.isStdlibFile(parent.getSourceFile())) {
|
|
146
|
+
return true;
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
return false;
|
|
150
|
+
});
|
|
151
|
+
if (declaredByModule)
|
|
152
|
+
return true;
|
|
153
|
+
if (mapped?.kind !== "f64")
|
|
154
|
+
return false;
|
|
155
|
+
const rendered = lowerer.checker.typeToString(type);
|
|
156
|
+
return rendered === "ScriptcModule" || rendered === "NodeModule" || rendered === "NodeJS.Module";
|
|
157
|
+
}
|
|
158
|
+
function optionalModule(lowerer, node, raw, absent) {
|
|
159
|
+
const target = lowerer.irTypeOf(node);
|
|
160
|
+
if (target.kind !== "union")
|
|
161
|
+
return raw;
|
|
162
|
+
const loc = locOf(node);
|
|
163
|
+
const slot = lowerer.declareHiddenLocal("%module", F64);
|
|
164
|
+
const ref = () => varRef(slot.id, F64, loc);
|
|
165
|
+
const moduleValue = lowerer.coerceInto(node, ref(), target);
|
|
166
|
+
const undefinedValue = lowerer.coerceInto(node, { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc }, target);
|
|
167
|
+
const missing = absent === "undefined"
|
|
168
|
+
? undefinedValue
|
|
169
|
+
: {
|
|
170
|
+
kind: "ternary",
|
|
171
|
+
cond: { kind: "bin", op: "===", left: ref(), right: numLit(-1, loc), type: BOOL, loc },
|
|
172
|
+
then: lowerer.coerceInto(node, { kind: "unitLit", unit: "null", type: NULL_T, loc }, target),
|
|
173
|
+
else_: undefinedValue,
|
|
174
|
+
type: target,
|
|
175
|
+
loc,
|
|
176
|
+
};
|
|
177
|
+
return {
|
|
178
|
+
kind: "seqExpr",
|
|
179
|
+
stmts: [{ kind: "varDecl", localId: slot.id, init: raw, loc }],
|
|
180
|
+
result: {
|
|
181
|
+
kind: "ternary",
|
|
182
|
+
cond: { kind: "bin", op: ">=", left: ref(), right: numLit(0, loc), type: BOOL, loc },
|
|
183
|
+
then: moduleValue,
|
|
184
|
+
else_: missing,
|
|
185
|
+
type: target,
|
|
186
|
+
loc,
|
|
187
|
+
},
|
|
188
|
+
type: target,
|
|
189
|
+
loc,
|
|
190
|
+
};
|
|
191
|
+
}
|
|
192
|
+
export function lowerRequireMainProperty(lowerer, expr) {
|
|
193
|
+
if (expr.questionDotToken || expr.name.text !== "main" || !cjsGlobal(lowerer, expr.expression, "require"))
|
|
194
|
+
return null;
|
|
195
|
+
const entryId = lowerer.cjsModuleIdOf.get(lowerer.entry);
|
|
196
|
+
const raw = entryId === undefined ? numLit(-1, locOf(expr)) : numLit(entryId, locOf(expr));
|
|
197
|
+
return lowerer.maybeNarrow(optionalModule(lowerer, expr, raw, "undefined"), expr);
|
|
198
|
+
}
|
|
199
|
+
export function lowerNodeModuleIdentifier(lowerer, expr) {
|
|
200
|
+
if (!isCjsModuleGlobal(lowerer, expr))
|
|
201
|
+
return null;
|
|
202
|
+
const ref = cjsModuleRef(lowerer, expr);
|
|
203
|
+
if (ref)
|
|
204
|
+
return ref;
|
|
205
|
+
lowerer.unsupported("SC1090", expr, "the CommonJS 'module' object in an ES module");
|
|
206
|
+
}
|
|
207
|
+
export function lowerNodeModuleProperty(lowerer, expr) {
|
|
208
|
+
const direct = isCjsModuleGlobal(lowerer, expr.expression);
|
|
209
|
+
if (!direct && !nodeModuleType(lowerer, expr.expression))
|
|
210
|
+
return null;
|
|
211
|
+
if (expr.questionDotToken)
|
|
212
|
+
return null;
|
|
213
|
+
const member = expr.name.text;
|
|
214
|
+
if (member === "exports" || member === "require")
|
|
215
|
+
return null;
|
|
216
|
+
let moduleRef = direct ? cjsModuleRef(lowerer, expr.expression) : lowerer.lowerExpr(expr.expression);
|
|
217
|
+
if (moduleRef?.type.kind === "union") {
|
|
218
|
+
const present = lowerer.stripUndefinedArm(moduleRef.type);
|
|
219
|
+
const helper = present.kind === "f64"
|
|
220
|
+
? lowerer.narrowedArmHelper(moduleRef.type.unionId, present, locOf(expr.expression))
|
|
221
|
+
: null;
|
|
222
|
+
if (helper) {
|
|
223
|
+
moduleRef = { kind: "call", callee: helper, args: [moduleRef], type: F64, loc: locOf(expr.expression) };
|
|
224
|
+
}
|
|
225
|
+
}
|
|
226
|
+
if (!moduleRef || moduleRef.type.kind !== "f64")
|
|
227
|
+
return null;
|
|
228
|
+
const loc = locOf(expr);
|
|
229
|
+
const call = (fn, type) => ({ kind: "libCall", fn, args: [moduleRef], type, loc });
|
|
230
|
+
switch (member) {
|
|
231
|
+
case "filename":
|
|
232
|
+
return call("module.filename", STRING);
|
|
233
|
+
case "id":
|
|
234
|
+
return call("module.id", STRING);
|
|
235
|
+
case "path":
|
|
236
|
+
return call("module.path", STRING);
|
|
237
|
+
case "paths":
|
|
238
|
+
return call("module.paths", arrayOf(STRING));
|
|
239
|
+
case "children":
|
|
240
|
+
return call("module.children", arrayOf(F64));
|
|
241
|
+
case "loaded":
|
|
242
|
+
return call("module.loaded", BOOL);
|
|
243
|
+
case "isPreloading":
|
|
244
|
+
return boolLit(false, loc);
|
|
245
|
+
case "parent":
|
|
246
|
+
return lowerer.maybeNarrow(optionalModule(lowerer, expr, call("module.parent", F64), "parent"), expr);
|
|
247
|
+
default:
|
|
248
|
+
lowerer.noLowering(`module.${member}`, expr, "the static CommonJS module surface is id, filename, path, paths, loaded, isPreloading, parent, children, exports, and require");
|
|
249
|
+
}
|
|
250
|
+
}
|
|
251
|
+
export function lowerRequireCacheElement(lowerer, expr) {
|
|
252
|
+
if (expr.questionDotToken || !isRequireCacheExpr(lowerer, expr.expression))
|
|
253
|
+
return null;
|
|
254
|
+
const key = lowerer.lowerExpr(expr.argumentExpression);
|
|
255
|
+
if (key.type.kind !== "string") {
|
|
256
|
+
lowerer.noLowering("require.cache lookup with a non-string key", expr.argumentExpression);
|
|
257
|
+
}
|
|
258
|
+
const raw = { kind: "libCall", fn: "module.cacheGet", args: [key], type: F64, loc: locOf(expr) };
|
|
259
|
+
return lowerer.maybeNarrow(optionalModule(lowerer, expr, raw, "undefined"), expr);
|
|
260
|
+
}
|
|
261
|
+
export function lowerRequireCacheHas(lowerer, expr) {
|
|
262
|
+
if (expr.operatorToken.kind !== ts.SyntaxKind.InKeyword || !isRequireCacheExpr(lowerer, expr.right))
|
|
263
|
+
return null;
|
|
264
|
+
const key = lowerer.lowerExpr(expr.left);
|
|
265
|
+
if (key.type.kind !== "string")
|
|
266
|
+
lowerer.noLowering("require.cache membership with a non-string key", expr.left);
|
|
267
|
+
return { kind: "libCall", fn: "module.cacheHas", args: [key], type: BOOL, loc: locOf(expr) };
|
|
268
|
+
}
|
|
269
|
+
export function lowerRequireCacheKeys(lowerer, call, member) {
|
|
270
|
+
const argument = call.arguments[0];
|
|
271
|
+
if (member !== "keys" || call.arguments.length !== 1 || argument === undefined || !isRequireCacheExpr(lowerer, argument))
|
|
272
|
+
return null;
|
|
273
|
+
return { kind: "libCall", fn: "module.cacheKeys", args: [], type: arrayOf(STRING), loc: locOf(call) };
|
|
274
|
+
}
|
|
275
|
+
function modulePropertyReceiver(lowerer, node) {
|
|
276
|
+
return isNodeModuleValue(lowerer, node);
|
|
277
|
+
}
|
|
278
|
+
export function fenceNodeModuleMutation(lowerer, target, action) {
|
|
279
|
+
if (ts.isElementAccessExpression(target) && isRequireCacheExpr(lowerer, target.expression)) {
|
|
280
|
+
lowerer.noLowering(`${action} through require.cache`, target, "a compiled binary has a fixed module graph; cache lookup and Object.keys(require.cache) are read-only");
|
|
281
|
+
}
|
|
282
|
+
if (ts.isPropertyAccessExpression(target) && target.name.text !== "exports" &&
|
|
283
|
+
modulePropertyReceiver(lowerer, target.expression)) {
|
|
284
|
+
lowerer.noLowering(`${action} to module.${target.name.text}`, target, "CommonJS module metadata is read-only in static builds; assign application state to a separate binding");
|
|
285
|
+
}
|
|
286
|
+
if (ts.isElementAccessExpression(target) && ts.isPropertyAccessExpression(target.expression) &&
|
|
287
|
+
target.expression.name.text === "paths" && modulePropertyReceiver(lowerer, target.expression.expression)) {
|
|
288
|
+
lowerer.noLowering(`${action} through module.paths`, target, "module.paths is introspection-only in a fixed compiled graph; configure resolution at build time");
|
|
289
|
+
}
|
|
290
|
+
}
|
|
291
|
+
export function fenceNodeModuleMutationCall(lowerer, call, access) {
|
|
292
|
+
if (!ts.isPropertyAccessExpression(access.expression))
|
|
293
|
+
return null;
|
|
294
|
+
const paths = access.expression;
|
|
295
|
+
if (paths.name.text !== "paths" || !modulePropertyReceiver(lowerer, paths.expression))
|
|
296
|
+
return null;
|
|
297
|
+
const mutators = new Set(["copyWithin", "fill", "pop", "push", "reverse", "shift", "sort", "splice", "unshift"]);
|
|
298
|
+
if (!mutators.has(access.name.text))
|
|
299
|
+
return null;
|
|
300
|
+
lowerer.noLowering(`module.paths.${access.name.text}()`, call, "module.paths is introspection-only in a fixed compiled graph; configure resolution at build time");
|
|
301
|
+
}
|
|
302
|
+
//# sourceMappingURL=lower-node-module.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"lower-node-module.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-node-module.ts"],"names":[],"mappings":"AAAA;;;;4BAI4B;AAC5B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,GAAG,EAA0B,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC/G,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEpE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS;CAC7F,CAAC,CAAC;AAEH,SAAS,SAAS,CAAC,OAAgB,EAAE,IAAmB,EAAE,IAA0B;IAClF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC/D,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACvC,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,iBAAiB;QACvC,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAClF,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC7D,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAClG,CAAC;IACF,OAAO,CAAC,YAAY,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,WAAW,CAAC,OAAgB,EAAE,EAAiB;IACtD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,IAAI,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;gBAChH,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,IAAI,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvF,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YAChE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;gBACpE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACvE,CAAC;gBACD,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,KAA2B;IACjF,OAAO,CAAC,qBAAqB,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;IACjF,IAAI,CAAC,OAAO,CAAC,qBAAqB;QAAE,OAAO;IAC3C,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,KAAK,EAAE,CAAC;QAC3B,IAAI,EAAE,CAAC,iBAAiB,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC,EAAE,CAAC;YAAE,SAAS;QACzF,uEAAuE;QACvE,sEAAsE;QACtE,MAAM,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7C,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB,EAAE,EAAiB;IACzD,OAAO,oBAAoB,CAAC,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB,EAAE,cAAsB;IAC/D,MAAM,GAAG,GAAG,cAAc,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,SAAS,CAAC;QACR,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,KAAK,cAAc;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC;QAClG,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,GAAkB;IAC3E,IAAI,CAAC,OAAO,CAAC,qBAAqB;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAa,CAAC;YACtB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC7H,GAAG;SACJ,CAAC,CAAC;IACH,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,EAAE,KAAK,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACpF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3F,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;YACrB,GAAG;SACJ,CAAC;QACF,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,eAAe;gBACnB,IAAI,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC1I,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,IAAa;IAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IAC3D,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IACrE,OAAO,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IACrE,OAAO,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IACtE,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACrF,OAAO,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB,EAAE,IAAmB;IAC3D,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,IACE,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC;QACvE,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,EACjG,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrE,MAAM,gBAAgB,GAAG,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1F,KAAK,IAAI,MAAM,GAAwB,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;YACnF,IACE,CAAC,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBACpE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;gBACtF,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,EAC5C,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,IAAI,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,MAAM,EAAE,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,QAAQ,KAAK,eAAe,IAAI,QAAQ,KAAK,YAAY,IAAI,QAAQ,KAAK,eAAe,CAAC;AACnG,CAAC;AAED,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,MAA8B;IAE9B,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,GAAG,CAAC;IACxC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,CAAC,CAAC;IAC5D,MAAM,cAAc,GAAG,OAAO,CAAC,UAAU,CACvC,IAAI,EACJ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAC9D,MAAM,CACP,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,KAAK,WAAW;QACpC,CAAC,CAAC,cAAc;QAChB,CAAC,CAAC;YACE,IAAI,EAAE,SAAkB;YACxB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,EAAE,EAAE,KAAc,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACxG,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,MAAM,CAAC;YAC5F,KAAK,EAAE,cAAc;YACrB,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACN,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC9D,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACpF,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,IAAiC;IAC1F,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACvH,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,OAAO,OAAO,CAAC,WAAW,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,IAAmB;IAC7E,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxC,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IACpB,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,8CAA8C,CAAC,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAiC;IACzF,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrG,IAAI,SAAS,EAAE,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,KAAK,KAAK;YACnC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACpF,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,MAAM,EAAE,CAAC;YACX,SAAS,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1G,CAAC;IACH,CAAC;IACD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,CAAC,EAA4H,EAAE,IAAY,EAAU,EAAE,CAClK,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;QACzC,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QACnC,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACrC,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/C,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,iBAAiB,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;QACrC,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,WAAW,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,eAAe,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;QACxG;YACE,OAAO,CAAC,UAAU,CAChB,UAAU,MAAM,EAAE,EAClB,IAAI,EACJ,+HAA+H,CAChI,CAAC;IACN,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,IAAgC;IACzF,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACvD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,CAAC,UAAU,CAAC,4CAA4C,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC5F,CAAC;IACD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IACzG,OAAO,OAAO,CAAC,WAAW,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAyB;IAC9E,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjH,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,UAAU,CAAC,gDAAgD,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAChH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAuB,EAAE,MAAc;IAC7F,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACtI,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AACxG,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAgB,EAAE,IAAmB;IACnE,OAAO,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,MAAgE,EAChE,MAA+B;IAE/B,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3F,OAAO,CAAC,UAAU,CAChB,GAAG,MAAM,wBAAwB,EACjC,MAAM,EACN,uGAAuG,CACxG,CAAC;IACJ,CAAC;IACD,IACE,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QACvE,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAClD,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,GAAG,MAAM,cAAc,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EACzC,MAAM,EACN,wGAAwG,CACzG,CAAC;IACJ,CAAC;IACD,IACE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;QACxF,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,EACxG,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,GAAG,MAAM,uBAAuB,EAChC,MAAM,EACN,kGAAkG,CACnG,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC;IAChC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IACjH,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,CAAC,UAAU,CAChB,gBAAgB,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EACpC,IAAI,EACJ,kGAAkG,CACnG,CAAC;AACJ,CAAC"}
|
|
@@ -13,7 +13,7 @@ import { ladderFenceExpr, nodeThrowExpr } from "./lowerer.js";
|
|
|
13
13
|
import { isJsSourceFile, locOf } from "../program.js";
|
|
14
14
|
import { arrayOf, BOOL, BYTES_U8, canBoxFuncIntoDyn, canConvertToDyn, DYN, DYN_HANDLE_KINDS, F64, funcOf, HTTP2SESSION_T, HTTP2STREAM_T, HTTPCLIENTREQ_T, HTTPREQ_T, HTTPRES_T, NETSERVER_T, NETSOCKET_T, NULL_T, SECURECTX_T, STRING, UNDEFINED_T, typeKey, VOID } from "../../ir/ir.js";
|
|
15
15
|
import { AGENT_DOCUMENTED_OPTIONS, builtinFenceHintOf, builtinModuleFnOf, fenceOrDropOptionKey, HTTP_CLIENT_DOCUMENTED_OPTIONS, HTTP_SERVER_DOCUMENTED_OPTIONS, HTTP2_SECURE_SERVER_DOCUMENTED_OPTIONS, HTTPS_CLIENT_DOCUMENTED_OPTIONS, sideEffectFreeOptionValue, TLS_SERVER_DOCUMENTED_OPTIONS, } from "./surfaces.js";
|
|
16
|
-
import { conditionalSpreadOf } from "./
|
|
16
|
+
import { conditionalSpreadOf } from "./expressions/object-literals.js";
|
|
17
17
|
import { boolLit, numLit, strLit, varRef } from "../../ir/build.js";
|
|
18
18
|
import { resultIsDiscarded } from "./call-position.js";
|
|
19
19
|
import { lowerCallbackArg as lowerCallbackArgShared } from "./callback-arg.js";
|