@aster-cloud/aster-lang-ts 0.0.11 → 0.0.12
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/dist/src/effects/effect_inference_browser.d.ts +29 -0
- package/dist/src/effects/effect_inference_browser.d.ts.map +1 -0
- package/dist/src/effects/effect_inference_browser.js +525 -0
- package/dist/src/effects/effect_inference_browser.js.map +1 -0
- package/dist/src/typecheck/browser.js +1 -1
- package/dist/src/typecheck/browser.js.map +1 -1
- package/dist/src/typecheck/utils.d.ts +18 -0
- package/dist/src/typecheck/utils.d.ts.map +1 -1
- package/dist/src/typecheck/utils.js +90 -11
- package/dist/src/typecheck/utils.js.map +1 -1
- package/dist/test/unit/typecheck/effects-and-capabilities.test.js +1 -1
- package/dist/test/unit/typecheck/effects-and-capabilities.test.js.map +1 -1
- package/package.json +1 -1
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Browser-compatible effect inference module.
|
|
3
|
+
*
|
|
4
|
+
* This module provides effect inference without Node.js dependencies (no file system access).
|
|
5
|
+
* It uses hardcoded default prefixes and works in browser/edge runtime environments.
|
|
6
|
+
*
|
|
7
|
+
* For full effect inference with custom configuration, use the main effect_inference module.
|
|
8
|
+
*/
|
|
9
|
+
import type { Core, TypecheckDiagnostic, Origin } from '../types.js';
|
|
10
|
+
import type { EffectSignature } from './effect_signature.js';
|
|
11
|
+
export interface EffectConstraint {
|
|
12
|
+
caller: string;
|
|
13
|
+
callee: string;
|
|
14
|
+
location?: Origin;
|
|
15
|
+
}
|
|
16
|
+
export interface EffectInferenceOptions {
|
|
17
|
+
moduleName?: string;
|
|
18
|
+
moduleUri?: string | null;
|
|
19
|
+
imports?: Map<string, string>;
|
|
20
|
+
importedEffects?: Map<string, EffectSignature>;
|
|
21
|
+
}
|
|
22
|
+
/**
|
|
23
|
+
* Infer effects for a Core module (browser-compatible).
|
|
24
|
+
*
|
|
25
|
+
* This version uses hardcoded default IO/CPU prefixes and doesn't require
|
|
26
|
+
* file system access for configuration loading.
|
|
27
|
+
*/
|
|
28
|
+
export declare function inferEffects(core: Core.Module, options?: EffectInferenceOptions): TypecheckDiagnostic[];
|
|
29
|
+
//# sourceMappingURL=effect_inference_browser.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"effect_inference_browser.d.ts","sourceRoot":"","sources":["../../../src/effects/effect_inference_browser.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAKrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AA8BD,MAAM,WAAW,sBAAsB;IACrC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAChD;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,sBAAsB,GAAG,mBAAmB,EAAE,CAkFvG"}
|
|
@@ -0,0 +1,525 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Browser-compatible effect inference module.
|
|
3
|
+
*
|
|
4
|
+
* This module provides effect inference without Node.js dependencies (no file system access).
|
|
5
|
+
* It uses hardcoded default prefixes and works in browser/edge runtime environments.
|
|
6
|
+
*
|
|
7
|
+
* For full effect inference with custom configuration, use the main effect_inference module.
|
|
8
|
+
*/
|
|
9
|
+
import { Effect } from '../types.js';
|
|
10
|
+
import { getIOPrefixesCompat, getCPUPrefixesCompat, resolveAlias } from '../typecheck/utils.js';
|
|
11
|
+
import { DefaultCoreVisitor, createVisitorContext } from '../core/visitor.js';
|
|
12
|
+
function effectRank(atom) {
|
|
13
|
+
switch (atom) {
|
|
14
|
+
case Effect.PURE:
|
|
15
|
+
return 0;
|
|
16
|
+
case Effect.CPU:
|
|
17
|
+
return 1;
|
|
18
|
+
case Effect.IO:
|
|
19
|
+
return 2;
|
|
20
|
+
default:
|
|
21
|
+
return 3;
|
|
22
|
+
}
|
|
23
|
+
}
|
|
24
|
+
function strongerEffect(a, b) {
|
|
25
|
+
return effectRank(a) >= effectRank(b) ? a : b;
|
|
26
|
+
}
|
|
27
|
+
/**
|
|
28
|
+
* Infer effects for a Core module (browser-compatible).
|
|
29
|
+
*
|
|
30
|
+
* This version uses hardcoded default IO/CPU prefixes and doesn't require
|
|
31
|
+
* file system access for configuration loading.
|
|
32
|
+
*/
|
|
33
|
+
export function inferEffects(core, options) {
|
|
34
|
+
// Use browser-compatible prefix getters
|
|
35
|
+
const ioPrefixes = getIOPrefixesCompat();
|
|
36
|
+
const cpuPrefixes = getCPUPrefixesCompat();
|
|
37
|
+
const funcIndex = new Map();
|
|
38
|
+
for (const decl of core.decls) {
|
|
39
|
+
if (decl.kind === 'Func')
|
|
40
|
+
funcIndex.set(decl.name, decl);
|
|
41
|
+
}
|
|
42
|
+
const constraints = [];
|
|
43
|
+
const declaredEffects = new Map();
|
|
44
|
+
const inferredEffects = new Map();
|
|
45
|
+
const requiredEffects = new Map();
|
|
46
|
+
const effectParams = new Map();
|
|
47
|
+
const bindings = new Map();
|
|
48
|
+
// First pass: collect local effects and constraints
|
|
49
|
+
for (const func of funcIndex.values()) {
|
|
50
|
+
const analysis = analyzeFunction(func, funcIndex, ioPrefixes, cpuPrefixes, options?.imports, options?.importedEffects);
|
|
51
|
+
constraints.push(...analysis.constraints);
|
|
52
|
+
const paramSet = new Set(func.effectParams ?? []);
|
|
53
|
+
effectParams.set(func.name, paramSet);
|
|
54
|
+
bindings.set(func.name, initBindings(paramSet));
|
|
55
|
+
const declared = new Set();
|
|
56
|
+
const declaredSource = func.declaredEffects ??
|
|
57
|
+
func.effects;
|
|
58
|
+
for (const eff of declaredSource)
|
|
59
|
+
declared.add(normalizeEffectRef(eff));
|
|
60
|
+
const inferred = new Set(declared);
|
|
61
|
+
const required = new Set();
|
|
62
|
+
for (const eff of analysis.localEffects) {
|
|
63
|
+
const ref = normalizeEffectRef(eff);
|
|
64
|
+
inferred.add(ref);
|
|
65
|
+
required.add(ref);
|
|
66
|
+
}
|
|
67
|
+
declaredEffects.set(func.name, declared);
|
|
68
|
+
inferredEffects.set(func.name, inferred);
|
|
69
|
+
requiredEffects.set(func.name, required);
|
|
70
|
+
}
|
|
71
|
+
// Second pass: add callee declared effects to requiredEffects
|
|
72
|
+
for (const constraint of constraints) {
|
|
73
|
+
const callerRequired = requiredEffects.get(constraint.caller);
|
|
74
|
+
const calleeDeclared = declaredEffects.get(constraint.callee);
|
|
75
|
+
if (callerRequired && calleeDeclared) {
|
|
76
|
+
for (const eff of calleeDeclared) {
|
|
77
|
+
callerRequired.add(eff);
|
|
78
|
+
}
|
|
79
|
+
}
|
|
80
|
+
}
|
|
81
|
+
propagateEffects(constraints, inferredEffects, bindings);
|
|
82
|
+
propagateEffects(constraints, requiredEffects, bindings);
|
|
83
|
+
const resolvedDeclared = resolveEffectMap(declaredEffects, bindings);
|
|
84
|
+
const resolvedInferred = resolveEffectMap(inferredEffects, bindings);
|
|
85
|
+
const resolvedRequired = resolveEffectMap(requiredEffects, bindings);
|
|
86
|
+
const diagnostics = buildDiagnostics(funcIndex, resolvedDeclared, resolvedInferred, resolvedRequired, bindings, effectParams);
|
|
87
|
+
// Note: In browser mode, we skip caching effect signatures since there's no module cache
|
|
88
|
+
return diagnostics;
|
|
89
|
+
}
|
|
90
|
+
function analyzeFunction(func, index, ioPrefixes, cpuPrefixes, imports, importedEffects) {
|
|
91
|
+
const constraints = [];
|
|
92
|
+
const localEffects = new Set();
|
|
93
|
+
class EffectCollector extends DefaultCoreVisitor {
|
|
94
|
+
visitStatement(statement, context) {
|
|
95
|
+
if (statement.kind === 'workflow') {
|
|
96
|
+
this.visitWorkflow(statement, context);
|
|
97
|
+
return;
|
|
98
|
+
}
|
|
99
|
+
super.visitStatement(statement, context);
|
|
100
|
+
}
|
|
101
|
+
visitWorkflow(workflow, context) {
|
|
102
|
+
localEffects.add(Effect.IO);
|
|
103
|
+
for (const step of workflow.steps) {
|
|
104
|
+
this.visitBlock(step.body, context);
|
|
105
|
+
if (step.compensate)
|
|
106
|
+
this.visitBlock(step.compensate, context);
|
|
107
|
+
}
|
|
108
|
+
}
|
|
109
|
+
visitExpression(e, context) {
|
|
110
|
+
if (e.kind === 'Call') {
|
|
111
|
+
const calleeName = extractFunctionName(e.target);
|
|
112
|
+
if (calleeName) {
|
|
113
|
+
const resolvedName = imports ? resolveAlias(calleeName, imports) : calleeName;
|
|
114
|
+
const isLocal = index.has(resolvedName);
|
|
115
|
+
const imported = importedEffects?.get(resolvedName);
|
|
116
|
+
if (imported) {
|
|
117
|
+
for (const effect of imported.required) {
|
|
118
|
+
localEffects.add(effect);
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
else if (!isLocal) {
|
|
122
|
+
recordBuiltinEffect(resolvedName, localEffects, ioPrefixes, cpuPrefixes);
|
|
123
|
+
}
|
|
124
|
+
if (isLocal) {
|
|
125
|
+
const constraint = { caller: func.name, callee: resolvedName };
|
|
126
|
+
const call = e;
|
|
127
|
+
if (call.origin)
|
|
128
|
+
constraint.location = call.origin;
|
|
129
|
+
constraints.push(constraint);
|
|
130
|
+
}
|
|
131
|
+
}
|
|
132
|
+
}
|
|
133
|
+
else if (e.kind === 'Lambda') {
|
|
134
|
+
const lambda = e;
|
|
135
|
+
this.visitBlock(lambda.body, context);
|
|
136
|
+
return;
|
|
137
|
+
}
|
|
138
|
+
super.visitExpression(e, context);
|
|
139
|
+
}
|
|
140
|
+
}
|
|
141
|
+
if (func.body)
|
|
142
|
+
new EffectCollector().visitBlock(func.body, createVisitorContext());
|
|
143
|
+
return { constraints, localEffects };
|
|
144
|
+
}
|
|
145
|
+
function extractFunctionName(expr) {
|
|
146
|
+
return expr.kind === 'Name' ? expr.name : null;
|
|
147
|
+
}
|
|
148
|
+
function recordBuiltinEffect(name, effects, ioPrefixes, cpuPrefixes) {
|
|
149
|
+
if (ioPrefixes.some(prefix => name.startsWith(prefix)))
|
|
150
|
+
effects.add(Effect.IO);
|
|
151
|
+
if (cpuPrefixes.some(prefix => name.startsWith(prefix)))
|
|
152
|
+
effects.add(Effect.CPU);
|
|
153
|
+
}
|
|
154
|
+
function propagateEffects(constraints, effectMap, bindings) {
|
|
155
|
+
if (effectMap.size === 0)
|
|
156
|
+
return;
|
|
157
|
+
const { nodes, adjacency } = buildEffectFlowGraph(constraints, effectMap);
|
|
158
|
+
if (nodes.length === 0)
|
|
159
|
+
return;
|
|
160
|
+
seedBindingsWithEffects(effectMap, bindings);
|
|
161
|
+
const { components, componentByNode } = runTarjan(nodes, adjacency);
|
|
162
|
+
const { componentEdges, indegree } = buildComponentGraph(components, componentByNode, adjacency);
|
|
163
|
+
const order = topologicalSort(componentEdges, indegree);
|
|
164
|
+
for (const componentIndex of order) {
|
|
165
|
+
const members = components[componentIndex];
|
|
166
|
+
if (!members || members.length === 0)
|
|
167
|
+
continue;
|
|
168
|
+
const firstMember = members[0];
|
|
169
|
+
if (members.length > 1 || hasSelfLoop(firstMember, adjacency)) {
|
|
170
|
+
let localChanged = true;
|
|
171
|
+
while (localChanged) {
|
|
172
|
+
localChanged = false;
|
|
173
|
+
for (const node of members) {
|
|
174
|
+
const neighbors = adjacency.get(node);
|
|
175
|
+
if (!neighbors)
|
|
176
|
+
continue;
|
|
177
|
+
for (const neighbor of neighbors) {
|
|
178
|
+
if (componentByNode.get(neighbor) !== componentIndex)
|
|
179
|
+
continue;
|
|
180
|
+
const changed = mergeEffects(node, neighbor, effectMap, bindings);
|
|
181
|
+
if (changed)
|
|
182
|
+
localChanged = true;
|
|
183
|
+
}
|
|
184
|
+
}
|
|
185
|
+
}
|
|
186
|
+
}
|
|
187
|
+
for (const node of members) {
|
|
188
|
+
const neighbors = adjacency.get(node);
|
|
189
|
+
if (!neighbors)
|
|
190
|
+
continue;
|
|
191
|
+
for (const neighbor of neighbors) {
|
|
192
|
+
if (componentByNode.get(neighbor) === componentIndex)
|
|
193
|
+
continue;
|
|
194
|
+
void mergeEffects(node, neighbor, effectMap, bindings);
|
|
195
|
+
}
|
|
196
|
+
}
|
|
197
|
+
}
|
|
198
|
+
}
|
|
199
|
+
function effectRefKey(ref) {
|
|
200
|
+
if (ref.kind === 'EffectVar')
|
|
201
|
+
return `var:${ref.name}`;
|
|
202
|
+
return String(ref);
|
|
203
|
+
}
|
|
204
|
+
function normalizeEffectRef(effect) {
|
|
205
|
+
if (effect.kind === 'EffectVar') {
|
|
206
|
+
return { kind: 'EffectVar', name: effect.name };
|
|
207
|
+
}
|
|
208
|
+
return effect;
|
|
209
|
+
}
|
|
210
|
+
function initBindings(params) {
|
|
211
|
+
const binding = new Map();
|
|
212
|
+
for (const name of params) {
|
|
213
|
+
binding.set(name, { value: Effect.PURE, resolved: false });
|
|
214
|
+
}
|
|
215
|
+
return binding;
|
|
216
|
+
}
|
|
217
|
+
function resolveEffectRef(ref, binding) {
|
|
218
|
+
if (ref.kind === 'EffectVar') {
|
|
219
|
+
const target = binding?.get(ref.name);
|
|
220
|
+
return target ? target.value : null;
|
|
221
|
+
}
|
|
222
|
+
return ref;
|
|
223
|
+
}
|
|
224
|
+
function addEffectAtom(target, effect) {
|
|
225
|
+
for (const existing of target) {
|
|
226
|
+
if (effectRefKey(existing) === effectRefKey(effect))
|
|
227
|
+
return false;
|
|
228
|
+
}
|
|
229
|
+
target.add(effect);
|
|
230
|
+
return true;
|
|
231
|
+
}
|
|
232
|
+
function updateBindingsWithEffect(funcName, effect, bindings) {
|
|
233
|
+
const binding = bindings.get(funcName);
|
|
234
|
+
if (!binding)
|
|
235
|
+
return;
|
|
236
|
+
for (const [name, entry] of binding) {
|
|
237
|
+
const merged = strongerEffect(entry.value, effect);
|
|
238
|
+
const resolved = entry.resolved || effectRank(effect) > effectRank(Effect.PURE);
|
|
239
|
+
if (merged !== entry.value || resolved !== entry.resolved) {
|
|
240
|
+
binding.set(name, { value: merged, resolved });
|
|
241
|
+
}
|
|
242
|
+
}
|
|
243
|
+
}
|
|
244
|
+
function seedBindingsWithEffects(effectMap, bindings) {
|
|
245
|
+
for (const [fn, effects] of effectMap) {
|
|
246
|
+
const binding = bindings.get(fn);
|
|
247
|
+
if (!binding)
|
|
248
|
+
continue;
|
|
249
|
+
for (const ref of effects) {
|
|
250
|
+
const atom = resolveEffectRef(ref, binding);
|
|
251
|
+
if (atom)
|
|
252
|
+
updateBindingsWithEffect(fn, atom, bindings);
|
|
253
|
+
}
|
|
254
|
+
}
|
|
255
|
+
}
|
|
256
|
+
function mergeEffects(source, target, effectMap, bindings) {
|
|
257
|
+
const sourceEffects = effectMap.get(source);
|
|
258
|
+
const targetEffects = effectMap.get(target);
|
|
259
|
+
if (!sourceEffects || !targetEffects)
|
|
260
|
+
return false;
|
|
261
|
+
const binding = bindings.get(source);
|
|
262
|
+
let changed = false;
|
|
263
|
+
for (const ref of sourceEffects) {
|
|
264
|
+
const atom = resolveEffectRef(ref, binding);
|
|
265
|
+
if (!atom)
|
|
266
|
+
continue;
|
|
267
|
+
if (addEffectAtom(targetEffects, atom)) {
|
|
268
|
+
changed = true;
|
|
269
|
+
updateBindingsWithEffect(target, atom, bindings);
|
|
270
|
+
}
|
|
271
|
+
}
|
|
272
|
+
return changed;
|
|
273
|
+
}
|
|
274
|
+
function resolveEffectMap(effectMap, bindings) {
|
|
275
|
+
const resolved = new Map();
|
|
276
|
+
for (const [fn, effects] of effectMap) {
|
|
277
|
+
const binding = bindings.get(fn);
|
|
278
|
+
const set = new Set();
|
|
279
|
+
for (const ref of effects) {
|
|
280
|
+
const atom = resolveEffectRef(ref, binding);
|
|
281
|
+
if (atom)
|
|
282
|
+
set.add(atom);
|
|
283
|
+
}
|
|
284
|
+
resolved.set(fn, set);
|
|
285
|
+
}
|
|
286
|
+
return resolved;
|
|
287
|
+
}
|
|
288
|
+
function buildEffectFlowGraph(constraints, effectMap) {
|
|
289
|
+
const adjacency = new Map();
|
|
290
|
+
const nodes = [];
|
|
291
|
+
for (const node of effectMap.keys()) {
|
|
292
|
+
nodes.push(node);
|
|
293
|
+
adjacency.set(node, new Set());
|
|
294
|
+
}
|
|
295
|
+
for (const constraint of constraints) {
|
|
296
|
+
if (!effectMap.has(constraint.caller) || !effectMap.has(constraint.callee))
|
|
297
|
+
continue;
|
|
298
|
+
let followers = adjacency.get(constraint.callee);
|
|
299
|
+
if (!followers) {
|
|
300
|
+
followers = new Set();
|
|
301
|
+
adjacency.set(constraint.callee, followers);
|
|
302
|
+
}
|
|
303
|
+
followers.add(constraint.caller);
|
|
304
|
+
}
|
|
305
|
+
return { nodes, adjacency };
|
|
306
|
+
}
|
|
307
|
+
function runTarjan(nodes, adjacency) {
|
|
308
|
+
let index = 0;
|
|
309
|
+
const indices = new Map();
|
|
310
|
+
const lowLinks = new Map();
|
|
311
|
+
const stack = [];
|
|
312
|
+
const onStack = new Set();
|
|
313
|
+
const components = [];
|
|
314
|
+
const componentByNode = new Map();
|
|
315
|
+
function strongConnect(node) {
|
|
316
|
+
indices.set(node, index);
|
|
317
|
+
lowLinks.set(node, index);
|
|
318
|
+
index += 1;
|
|
319
|
+
stack.push(node);
|
|
320
|
+
onStack.add(node);
|
|
321
|
+
const neighbors = adjacency.get(node);
|
|
322
|
+
if (neighbors) {
|
|
323
|
+
for (const neighbor of neighbors) {
|
|
324
|
+
if (!indices.has(neighbor)) {
|
|
325
|
+
strongConnect(neighbor);
|
|
326
|
+
const currentLow = lowLinks.get(node);
|
|
327
|
+
const neighborLow = lowLinks.get(neighbor);
|
|
328
|
+
if (neighborLow < currentLow)
|
|
329
|
+
lowLinks.set(node, neighborLow);
|
|
330
|
+
}
|
|
331
|
+
else if (onStack.has(neighbor)) {
|
|
332
|
+
const currentLow = lowLinks.get(node);
|
|
333
|
+
const neighborIndex = indices.get(neighbor);
|
|
334
|
+
if (neighborIndex < currentLow)
|
|
335
|
+
lowLinks.set(node, neighborIndex);
|
|
336
|
+
}
|
|
337
|
+
}
|
|
338
|
+
}
|
|
339
|
+
if (lowLinks.get(node) === indices.get(node)) {
|
|
340
|
+
const component = [];
|
|
341
|
+
while (true) {
|
|
342
|
+
const member = stack.pop();
|
|
343
|
+
if (!member)
|
|
344
|
+
break;
|
|
345
|
+
onStack.delete(member);
|
|
346
|
+
component.push(member);
|
|
347
|
+
componentByNode.set(member, components.length);
|
|
348
|
+
if (member === node)
|
|
349
|
+
break;
|
|
350
|
+
}
|
|
351
|
+
components.push(component);
|
|
352
|
+
}
|
|
353
|
+
}
|
|
354
|
+
for (const node of nodes) {
|
|
355
|
+
if (!indices.has(node))
|
|
356
|
+
strongConnect(node);
|
|
357
|
+
}
|
|
358
|
+
return { components, componentByNode };
|
|
359
|
+
}
|
|
360
|
+
function buildComponentGraph(components, componentByNode, adjacency) {
|
|
361
|
+
const componentEdges = new Map();
|
|
362
|
+
const indegree = Array.from({ length: components.length }, () => 0);
|
|
363
|
+
for (let componentIndex = 0; componentIndex < components.length; componentIndex += 1) {
|
|
364
|
+
const componentMembers = components[componentIndex];
|
|
365
|
+
if (!componentMembers)
|
|
366
|
+
continue;
|
|
367
|
+
for (const node of componentMembers) {
|
|
368
|
+
const neighbors = adjacency.get(node);
|
|
369
|
+
if (!neighbors)
|
|
370
|
+
continue;
|
|
371
|
+
for (const neighbor of neighbors) {
|
|
372
|
+
const neighborComponent = componentByNode.get(neighbor);
|
|
373
|
+
if (neighborComponent === undefined || neighborComponent === componentIndex)
|
|
374
|
+
continue;
|
|
375
|
+
let edges = componentEdges.get(componentIndex);
|
|
376
|
+
if (!edges) {
|
|
377
|
+
edges = new Set();
|
|
378
|
+
componentEdges.set(componentIndex, edges);
|
|
379
|
+
}
|
|
380
|
+
if (!edges.has(neighborComponent)) {
|
|
381
|
+
edges.add(neighborComponent);
|
|
382
|
+
indegree[neighborComponent] = (indegree[neighborComponent] ?? 0) + 1;
|
|
383
|
+
}
|
|
384
|
+
}
|
|
385
|
+
}
|
|
386
|
+
}
|
|
387
|
+
return { componentEdges, indegree };
|
|
388
|
+
}
|
|
389
|
+
function topologicalSort(componentEdges, indegree) {
|
|
390
|
+
const order = [];
|
|
391
|
+
const queue = [];
|
|
392
|
+
const visited = Array.from({ length: indegree.length }, () => false);
|
|
393
|
+
for (let i = 0; i < indegree.length; i += 1) {
|
|
394
|
+
if (indegree[i] === 0) {
|
|
395
|
+
queue.push(i);
|
|
396
|
+
}
|
|
397
|
+
}
|
|
398
|
+
while (queue.length > 0) {
|
|
399
|
+
const idx = queue.shift();
|
|
400
|
+
if (visited[idx])
|
|
401
|
+
continue;
|
|
402
|
+
visited[idx] = true;
|
|
403
|
+
order.push(idx);
|
|
404
|
+
const edges = componentEdges.get(idx);
|
|
405
|
+
if (!edges)
|
|
406
|
+
continue;
|
|
407
|
+
for (const next of edges) {
|
|
408
|
+
if (next < 0 || next >= indegree.length)
|
|
409
|
+
continue;
|
|
410
|
+
const current = indegree[next];
|
|
411
|
+
if (current === undefined)
|
|
412
|
+
continue;
|
|
413
|
+
const updated = current - 1;
|
|
414
|
+
indegree[next] = updated;
|
|
415
|
+
if (updated === 0 && !visited[next]) {
|
|
416
|
+
queue.push(next);
|
|
417
|
+
}
|
|
418
|
+
}
|
|
419
|
+
}
|
|
420
|
+
if (order.length !== indegree.length) {
|
|
421
|
+
for (let i = 0; i < indegree.length; i += 1) {
|
|
422
|
+
if (!visited[i])
|
|
423
|
+
order.push(i);
|
|
424
|
+
}
|
|
425
|
+
}
|
|
426
|
+
return order;
|
|
427
|
+
}
|
|
428
|
+
function hasSelfLoop(node, adjacency) {
|
|
429
|
+
const neighbors = adjacency.get(node);
|
|
430
|
+
return neighbors ? neighbors.has(node) : false;
|
|
431
|
+
}
|
|
432
|
+
function buildDiagnostics(funcIndex, declared, inferred, required, bindings, effectParams) {
|
|
433
|
+
const diagnostics = [];
|
|
434
|
+
for (const [name, func] of funcIndex) {
|
|
435
|
+
const declaredSet = declared.get(name) ?? new Set();
|
|
436
|
+
const inferredSet = inferred.get(name) ?? new Set();
|
|
437
|
+
const requiredSet = required.get(name) ?? new Set();
|
|
438
|
+
const inferredHasIO = inferredSet.has(Effect.IO);
|
|
439
|
+
const inferredHasCPU = inferredSet.has(Effect.CPU);
|
|
440
|
+
const declaredHasIO = declaredSet.has(Effect.IO);
|
|
441
|
+
const declaredHasCPU = declaredSet.has(Effect.CPU);
|
|
442
|
+
if (inferredHasIO && !declaredHasIO) {
|
|
443
|
+
const diag = {
|
|
444
|
+
severity: 'error',
|
|
445
|
+
message: `函数 '${name}' 缺少 @io 效果声明，推断要求 IO。`,
|
|
446
|
+
code: "E205" /* ErrorCode.EFF_INFER_MISSING_IO */,
|
|
447
|
+
help: '根据推断结果为函数添加 @io 效果。',
|
|
448
|
+
...(func.span ? { span: func.span } : {}),
|
|
449
|
+
data: { func: name, effect: 'io' },
|
|
450
|
+
};
|
|
451
|
+
diagnostics.push(diag);
|
|
452
|
+
}
|
|
453
|
+
if (inferredHasCPU && !(declaredHasCPU || declaredHasIO)) {
|
|
454
|
+
const diag = {
|
|
455
|
+
severity: 'error',
|
|
456
|
+
message: `函数 '${name}' 缺少 @cpu 效果声明，推断要求 CPU（或 @io）。`,
|
|
457
|
+
code: "E206" /* ErrorCode.EFF_INFER_MISSING_CPU */,
|
|
458
|
+
help: '根据推断结果补齐 @cpu 或 @io 效果。',
|
|
459
|
+
...(func.span ? { span: func.span } : {}),
|
|
460
|
+
data: { func: name, effect: 'cpu' },
|
|
461
|
+
};
|
|
462
|
+
diagnostics.push(diag);
|
|
463
|
+
}
|
|
464
|
+
const requiredHasIO = requiredSet.has(Effect.IO);
|
|
465
|
+
const requiredHasCPU = requiredSet.has(Effect.CPU);
|
|
466
|
+
if (declaredHasIO && !requiredHasIO) {
|
|
467
|
+
const diag = {
|
|
468
|
+
severity: 'warning',
|
|
469
|
+
message: `函数 '${name}' 声明了 @io，但推断未发现 IO 副作用。`,
|
|
470
|
+
code: "E207" /* ErrorCode.EFF_INFER_REDUNDANT_IO */,
|
|
471
|
+
help: '确认是否需要保留 @io 声明。',
|
|
472
|
+
...(func.span ? { span: func.span } : {}),
|
|
473
|
+
data: { func: name, effect: 'io' },
|
|
474
|
+
};
|
|
475
|
+
diagnostics.push(diag);
|
|
476
|
+
}
|
|
477
|
+
if (declaredHasCPU) {
|
|
478
|
+
if (!requiredHasCPU && !requiredHasIO) {
|
|
479
|
+
const diag = {
|
|
480
|
+
severity: 'warning',
|
|
481
|
+
message: `函数 '${name}' 声明了 @cpu，但推断未发现 CPU 副作用。`,
|
|
482
|
+
code: "E208" /* ErrorCode.EFF_INFER_REDUNDANT_CPU */,
|
|
483
|
+
help: '若无 CPU 副作用，可删除 @cpu 声明。',
|
|
484
|
+
...(func.span ? { span: func.span } : {}),
|
|
485
|
+
data: { func: name, effect: 'cpu' },
|
|
486
|
+
};
|
|
487
|
+
diagnostics.push(diag);
|
|
488
|
+
}
|
|
489
|
+
else if (!requiredHasCPU && requiredHasIO) {
|
|
490
|
+
const diag = {
|
|
491
|
+
severity: 'warning',
|
|
492
|
+
message: `函数 '${name}' 同时声明 @cpu 和 @io；由于需要 @io，@cpu 可移除。`,
|
|
493
|
+
code: "E209" /* ErrorCode.EFF_INFER_REDUNDANT_CPU_WITH_IO */,
|
|
494
|
+
help: '保留 @io 即可满足需求，移除多余的 @cpu。',
|
|
495
|
+
...(func.span ? { span: func.span } : {}),
|
|
496
|
+
data: { func: name, effect: 'cpu' },
|
|
497
|
+
};
|
|
498
|
+
diagnostics.push(diag);
|
|
499
|
+
}
|
|
500
|
+
}
|
|
501
|
+
const binding = bindings.get(name);
|
|
502
|
+
const params = effectParams.get(name) ?? new Set();
|
|
503
|
+
if (binding && params.size > 0) {
|
|
504
|
+
const unresolved = [];
|
|
505
|
+
for (const param of params) {
|
|
506
|
+
const status = binding.get(param);
|
|
507
|
+
if (!status || !status.resolved)
|
|
508
|
+
unresolved.push(param);
|
|
509
|
+
}
|
|
510
|
+
if (unresolved.length > 0) {
|
|
511
|
+
const diag = {
|
|
512
|
+
severity: 'error',
|
|
513
|
+
code: "E211" /* ErrorCode.EFFECT_VAR_UNRESOLVED */,
|
|
514
|
+
message: `效应变量 ${unresolved.join(', ')} 无法推断出具体效果`,
|
|
515
|
+
help: '参考调用或声明补充明确的效果（pure/cpu/io/workflow），或移除未使用的效应变量。',
|
|
516
|
+
...(func.span ? { span: func.span } : {}),
|
|
517
|
+
data: { func: name, vars: unresolved },
|
|
518
|
+
};
|
|
519
|
+
diagnostics.push(diag);
|
|
520
|
+
}
|
|
521
|
+
}
|
|
522
|
+
}
|
|
523
|
+
return diagnostics;
|
|
524
|
+
}
|
|
525
|
+
//# sourceMappingURL=effect_inference_browser.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"effect_inference_browser.js","sourceRoot":"","sources":["../../../src/effects/effect_inference_browser.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAqB9E,SAAS,UAAU,CAAC,IAAgB;IAClC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM,CAAC,IAAI;YACd,OAAO,CAAC,CAAC;QACX,KAAK,MAAM,CAAC,GAAG;YACb,OAAO,CAAC,CAAC;QACX,KAAK,MAAM,CAAC,EAAE;YACZ,OAAO,CAAC,CAAC;QACX;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,CAAa,EAAE,CAAa;IAClD,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAiB,EAAE,OAAgC;IAC9E,wCAAwC;IACxC,MAAM,UAAU,GAAG,mBAAmB,EAAE,CAAC;IACzC,MAAM,WAAW,GAAG,oBAAoB,EAAE,CAAC;IAE3C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,eAAe,GAAiB,IAAI,GAAG,EAAE,CAAC;IAChD,MAAM,eAAe,GAAiB,IAAI,GAAG,EAAE,CAAC;IAChD,MAAM,eAAe,GAAiB,IAAI,GAAG,EAAE,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,MAAM,QAAQ,GAAuB,IAAI,GAAG,EAAE,CAAC;IAE/C,oDAAoD;IACpD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,eAAe,CAC9B,IAAI,EACJ,SAAS,EACT,UAAU,EACV,WAAW,EACX,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,eAAe,CACzB,CAAC;QACF,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;QAE1C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QAC1D,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAa,CAAC;QACtC,MAAM,cAAc,GACjB,IAA8E,CAAC,eAAe;YAC/F,IAAI,CAAC,OAAO,CAAC;QACf,KAAK,MAAM,GAAG,IAAI,cAAc;YAAE,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;QAExE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAY,QAAQ,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAa,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QAED,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,CAAC;IAED,8DAA8D;IAC9D,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9D,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9D,IAAI,cAAc,IAAI,cAAc,EAAE,CAAC;YACrC,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;gBACjC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,WAAW,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IACzD,gBAAgB,CAAC,WAAW,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IAEzD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IACrE,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IACrE,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IAErE,MAAM,WAAW,GAAG,gBAAgB,CAClC,SAAS,EACT,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,QAAQ,EACR,YAAY,CACb,CAAC;IAEF,yFAAyF;IAEzF,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,eAAe,CACtB,IAAe,EACf,KAA6B,EAC7B,UAA6B,EAC7B,WAA8B,EAC9B,OAA6B,EAC7B,eAA8C;IAE9C,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAEvC,MAAM,eAAgB,SAAQ,kBAAkB;QACrC,cAAc,CACrB,SAAyB,EACzB,OAAoD;YAEpD,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBACvC,OAAO;YACT,CAAC;YACD,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QAED,aAAa,CAAC,QAAuB,EAAE,OAAoD;YACzF,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBAClC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpC,IAAI,IAAI,CAAC,UAAU;oBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAEQ,eAAe,CAAC,CAAkB,EAAE,OAAoD;YAC/F,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACjD,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;oBAC9E,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;oBACxC,MAAM,QAAQ,GAAG,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;oBAEpD,IAAI,QAAQ,EAAE,CAAC;wBACb,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;4BACvC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3B,CAAC;oBACH,CAAC;yBAAM,IAAI,CAAC,OAAO,EAAE,CAAC;wBACpB,mBAAmB,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;oBAC3E,CAAC;oBAED,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,UAAU,GAAqB,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;wBACjF,MAAM,IAAI,GAAG,CAAc,CAAC;wBAC5B,IAAI,IAAI,CAAC,MAAM;4BAAE,UAAU,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAgB,CAAC;wBAC7D,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC/B,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,CAAgB,CAAC;gBAChC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACtC,OAAO;YACT,CAAC;YACD,KAAK,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACpC,CAAC;KACF;IAED,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,eAAe,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAEnF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAqB;IAChD,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAY,EACZ,OAAoB,EACpB,UAA6B,EAC7B,WAA8B;IAE9B,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,gBAAgB,CACvB,WAA+B,EAC/B,SAAuB,EACvB,QAA4B;IAE5B,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAEjC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,oBAAoB,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAE/B,uBAAuB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAE7C,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,mBAAmB,CAAC,UAAU,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,eAAe,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IAExD,KAAK,MAAM,cAAc,IAAI,KAAK,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE/C,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QAChC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;YAC9D,IAAI,YAAY,GAAG,IAAI,CAAC;YACxB,OAAO,YAAY,EAAE,CAAC;gBACpB,YAAY,GAAG,KAAK,CAAC;gBACrB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;oBAC3B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACtC,IAAI,CAAC,SAAS;wBAAE,SAAS;oBACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;wBACjC,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,cAAc;4BAAE,SAAS;wBAC/D,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;wBAClE,IAAI,OAAO;4BAAE,YAAY,GAAG,IAAI,CAAC;oBACnC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,cAAc;oBAAE,SAAS;gBAC/D,KAAK,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,GAAc;IAClC,IAAK,GAAyB,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,OAAQ,GAAwB,CAAC,IAAI,EAAE,CAAC;IACpG,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAA+B;IACzD,IAAK,MAA4B,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAG,MAAyB,CAAC,IAAI,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,MAAgB,CAAC;AAC1B,CAAC;AAED,SAAS,YAAY,CAAC,MAAmB;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,GAAc,EACd,OAA+C;IAE/C,IAAK,GAAyB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,EAAE,GAAG,CAAE,GAAwB,CAAC,IAAI,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACtC,CAAC;IACD,OAAO,GAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,aAAa,CAAC,MAAsB,EAAE,MAAkB;IAC/D,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;QAC9B,IAAI,YAAY,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;IACpE,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAgB,EAChB,MAAkB,EAClB,QAA4B;IAE5B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,MAAM,KAAK,KAAK,CAAC,KAAK,IAAI,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YAC1D,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,SAAuB,EAAE,QAA4B;IACpF,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC5C,IAAI,IAAI;gBAAE,wBAAwB,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,MAAc,EACd,MAAc,EACd,SAAuB,EACvB,QAA4B;IAE5B,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IACnD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,aAAa,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC;YACvC,OAAO,GAAG,IAAI,CAAC;YACf,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAuB,EACvB,QAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAc,CAAC;QAClC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC5C,IAAI,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAA+B,EAC/B,SAAuB;IAEvB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,SAAS;QACrF,IAAI,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;YACtB,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC9C,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,SAAS,CAChB,KAAe,EACf,SAAmC;IAEnC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,UAAU,GAAe,EAAE,CAAC;IAClC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAElD,SAAS,aAAa,CAAC,IAAY;QACjC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1B,KAAK,IAAI,CAAC,CAAC;QACX,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3B,aAAa,CAAC,QAAQ,CAAC,CAAC;oBACxB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;oBACvC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;oBAC5C,IAAI,WAAW,GAAG,UAAU;wBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAChE,CAAC;qBAAM,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;oBACvC,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;oBAC7C,IAAI,aAAa,GAAG,UAAU;wBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,MAAM,SAAS,GAAa,EAAE,CAAC;YAC/B,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBAC3B,IAAI,CAAC,MAAM;oBAAE,MAAM;gBACnB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACvB,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,MAAM,KAAK,IAAI;oBAAE,MAAM;YAC7B,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAsB,EACtB,eAAoC,EACpC,SAAmC;IAEnC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAC;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpE,KAAK,IAAI,cAAc,GAAG,CAAC,EAAE,cAAc,GAAG,UAAU,CAAC,MAAM,EAAE,cAAc,IAAI,CAAC,EAAE,CAAC;QACrF,MAAM,gBAAgB,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB;YAAE,SAAS;QAChC,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;YACpC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,iBAAiB,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACxD,IAAI,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,KAAK,cAAc;oBAAE,SAAS;gBACtF,IAAI,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;oBAClB,cAAc,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;gBAC5C,CAAC;gBACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAClC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;oBAC7B,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBACvE,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CACtB,cAAwC,EACxC,QAAkB;IAElB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAErE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC3B,IAAI,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3B,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,IAAI,QAAQ,CAAC,MAAM;gBAAE,SAAS;YAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS;YACpC,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;YACzB,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAClB,IAAY,EACZ,SAAmC;IAEnC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAiC,EACjC,QAAsC,EACtC,QAAsC,EACtC,QAAsC,EACtC,QAA4B,EAC5B,YAAsC;IAEtC,MAAM,WAAW,GAA0B,EAAE,CAAC;IAE9C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;QAChE,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;QAChE,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;QAEhE,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACnD,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEnD,IAAI,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;YACpC,MAAM,IAAI,GAAwB;gBAChC,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,OAAO,IAAI,wBAAwB;gBAC5C,IAAI,6CAAgC;gBACpC,IAAI,EAAE,qBAAqB;gBAC3B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;aACnC,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,cAAc,IAAI,CAAC,CAAC,cAAc,IAAI,aAAa,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,GAAwB;gBAChC,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,OAAO,IAAI,iCAAiC;gBACrD,IAAI,8CAAiC;gBACrC,IAAI,EAAE,yBAAyB;gBAC/B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;aACpC,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEnD,IAAI,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;YACpC,MAAM,IAAI,GAAwB;gBAChC,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,OAAO,IAAI,0BAA0B;gBAC9C,IAAI,+CAAkC;gBACtC,IAAI,EAAE,kBAAkB;gBACxB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;aACnC,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,cAAc,IAAI,CAAC,aAAa,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAwB;oBAChC,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,OAAO,IAAI,4BAA4B;oBAChD,IAAI,gDAAmC;oBACvC,IAAI,EAAE,yBAAyB;oBAC/B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;iBACpC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;iBAAM,IAAI,CAAC,cAAc,IAAI,aAAa,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAwB;oBAChC,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,OAAO,IAAI,sCAAsC;oBAC1D,IAAI,wDAA2C;oBAC/C,IAAI,EAAE,2BAA2B;oBACjC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;iBACpC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC3D,IAAI,OAAO,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ;oBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,GAAwB;oBAChC,QAAQ,EAAE,OAAO;oBACjB,IAAI,8CAAiC;oBACrC,OAAO,EAAE,QAAQ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY;oBAClD,IAAI,EAAE,mDAAmD;oBACzD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;iBACvC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC"}
|
|
@@ -11,7 +11,7 @@
|
|
|
11
11
|
*
|
|
12
12
|
* For full type checking with module resolution, use the LSP server.
|
|
13
13
|
*/
|
|
14
|
-
import { inferEffects } from '../effects/
|
|
14
|
+
import { inferEffects } from '../effects/effect_inference_browser.js';
|
|
15
15
|
import { DiagnosticBuilder } from './diagnostics.js';
|
|
16
16
|
import { SymbolTable } from './symbol_table.js';
|
|
17
17
|
import { TypeSystem } from './type_system.js';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"browser.js","sourceRoot":"","sources":["../../../src/typecheck/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"browser.js","sourceRoot":"","sources":["../../../src/typecheck/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAEtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACL,YAAY,GAGb,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,8BAA8B,EAAE,MAAM,cAAc,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAwBhF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,CAAc,EACd,OAAiC;IAEjC,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IAChE,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,IAAI,aAAa,CAAC;IAE3C,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,IAAI,iBAAiB,EAAE,CAAC;QAE5C,+DAA+D;QAC/D,MAAM,GAAG,GAAkB;YACzB,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,cAAc,EAAE,IAAI,GAAG,EAAE;YACzB,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,IAAI,GAAG,EAAE;YACtD,iBAAiB,EAAE,EAAE,EAAE,sBAAsB;SAC9C,CAAC;QAEF,0CAA0C;QAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAiB,CAAC,CAAC,CAAC;gBAC/E,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAgB,CAAC,CAAC;gBAC5C,IAAK,CAAmC,CAAC,eAAe,EAAE,CAAC;oBACzD,MAAM,QAAQ,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;yBACvE,GAAgB,CAAC;oBACpB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;wBAAE,GAAG,GAAG,QAAQ,CAAC;gBAC3C,CAAC;gBACD,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC;gBACjC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC/B,sEAAsE;gBACtE,+EAA+E;YACjF,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAChD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,CAAC;QAED,mCAAmC;QACnC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,aAAa,CAAC,GAAG,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,qEAAqE;QACrE,8EAA8E;QAC9E,MAAM,WAAW,GAA0B,EAAE,CAAC;QAC9C,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,EAAE;gBACpC,UAAU;gBACV,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;gBACpC,SAAS,EAAE,OAAO,EAAE,GAAG,IAAI,IAAI;aAChC,CAAC,CAAC;YACH,WAAW,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC;YACP,6EAA6E;QAC/E,CAAC;QAED,gDAAgD;QAChD,MAAM,cAAc,GAA0B,EAAE,CAAC;QACjD,IAAI,OAAO,EAAE,UAAU,EAAE,CAAC;YACxB,kEAAkE;YAClE,oDAAoD;QACtD,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,GAAG,WAAW,CAAC,cAAc,EAAE,EAAE,GAAG,WAAW,EAAE,GAAG,cAAc,CAAC,CAAC;QAEpF,uCAAuC;QACvC,MAAM,QAAQ,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,SAAS,CAAC;QAC7E,IAAI,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC;YAC9B,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,iCAAiC,UAAU,EAAE,EAAE;gBACtE,UAAU,EAAE,MAAM,CAAC,MAAM;gBACzB,WAAW,EAAE,QAAQ;aACtB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,iDAAiD;QACjD,OAAO;YACL;gBACE,QAAQ,EAAE,OAAO;gBACjB,IAAI,2CAA8B,EAAE,yBAAyB;gBAC7D,OAAO,EAAE,sBAAsB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;aACxF;SACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,GAAkB,EAAE,CAAY,EAAE,WAA8B;IACrF,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC/B,MAAM,eAAe,GAA2B,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IAEtF,oBAAoB;IACpB,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,IAAiB,CAAC,CAAC;QACzD,YAAY,CAAC,eAAe,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,sBAAsB;IACtB,MAAM,cAAc,GAAG,aAAa,CAAC,CAAC,CAAC,GAAgB,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9F,MAAM,eAAe,GAAI,CAAmC,CAAC,eAAe,KAAK,IAAI,CAAC;IAEtF,0BAA0B;IAC1B,IAAI,CAAC,eAAe,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,CAAC;QAChE,WAAW,CAAC,KAAK,8CAAiC,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE;YACvF,QAAQ,EAAE,UAAU,CAAC,cAAc,CAAC;YACpC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,oBAAoB;IACpB,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;IAClC,8BAA8B,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC/C,oBAAoB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IACrC,iBAAiB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAElC,gCAAgC;IAChC,MAAM,UAAU,GAAI,CAAmD,CAAC,UAAU,IAAI,EAAE,CAAC;IACzF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC9C,mBAAmB,CAAC,cAAc,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;IAChG,CAAC;IAED,0BAA0B,CAAC,GAAG,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;IAEhD,OAAO,CAAC,SAAS,EAAE,CAAC;AACtB,CAAC"}
|
|
@@ -4,6 +4,16 @@ export declare const UNIT_TYPE: Core.Type;
|
|
|
4
4
|
export declare const IO_EFFECT_TYPE: Core.Type;
|
|
5
5
|
export declare const CPU_EFFECT_TYPE: Core.Type;
|
|
6
6
|
export declare const PURE_EFFECT_TYPE: Core.Type;
|
|
7
|
+
/**
|
|
8
|
+
* Get IO prefixes for effect inference.
|
|
9
|
+
* Loads from config in Node.js, uses defaults in browser.
|
|
10
|
+
*/
|
|
11
|
+
export declare function getIOPrefixesCompat(): readonly string[];
|
|
12
|
+
/**
|
|
13
|
+
* Get CPU prefixes for effect inference.
|
|
14
|
+
* Loads from config in Node.js, uses defaults in browser.
|
|
15
|
+
*/
|
|
16
|
+
export declare function getCPUPrefixesCompat(): readonly string[];
|
|
7
17
|
export declare const IO_PREFIXES: readonly string[];
|
|
8
18
|
export declare const CPU_PREFIXES: readonly string[];
|
|
9
19
|
/**
|
|
@@ -40,6 +50,14 @@ export declare function isWorkflowType(type: Core.Type): type is Core.TypeApp;
|
|
|
40
50
|
export declare function unwrapWorkflowResult(type: Core.Type): Core.Type;
|
|
41
51
|
export declare function typesEqual(a: Core.Type | undefined | null, b: Core.Type | undefined | null, strict?: boolean): boolean;
|
|
42
52
|
export declare function originToSpan(origin: Origin | undefined): Span | undefined;
|
|
53
|
+
/**
|
|
54
|
+
* Get default module search paths.
|
|
55
|
+
* Uses dynamic import to avoid Node.js dependency at module load time.
|
|
56
|
+
*/
|
|
43
57
|
export declare function defaultModuleSearchPaths(): string[];
|
|
58
|
+
/**
|
|
59
|
+
* Normalize module search paths.
|
|
60
|
+
* Uses dynamic import to avoid Node.js dependency at module load time.
|
|
61
|
+
*/
|
|
44
62
|
export declare function normalizeModuleSearchPaths(paths?: readonly string[]): readonly string[];
|
|
45
63
|
//# sourceMappingURL=utils.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/typecheck/utils.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/typecheck/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAKtD,eAAO,MAAM,YAAY,EAAE,IAAI,CAAC,IAA2B,CAAC;AAC5D,eAAO,MAAM,SAAS,EAAE,IAAI,CAAC,IAAyC,CAAC;AACvE,eAAO,MAAM,cAAc,EAAE,IAAI,CAAC,IAAuC,CAAC;AAC1E,eAAO,MAAM,eAAe,EAAE,IAAI,CAAC,IAAwC,CAAC;AAC5E,eAAO,MAAM,gBAAgB,EAAE,IAAI,CAAC,IAAyC,CAAC;AAuC9E;;;GAGG;AACH,wBAAgB,mBAAmB,IAAI,SAAS,MAAM,EAAE,CAGvD;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,IAAI,SAAS,MAAM,EAAE,CAGxD;AAKD,eAAO,MAAM,WAAW,EAAE,SAAS,MAAM,EAAiB,CAAC;AAC3D,eAAO,MAAM,YAAY,EAAE,SAAS,MAAM,EAAkB,CAAC;AAE7D;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAKvF;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,gBAAgB,IAAI,OAAO,CAc1C;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,OAAO,CAGrE;AAED,wBAAgB,WAAW,IAAI,IAAI,CAAC,IAAI,CAEvC;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAE3E;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM,CAErE;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,OAAO,CAEpE;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAK/D;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,EAAE,MAAM,UAAQ,GAAG,OAAO,CAYpH;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,SAAS,CAGzE;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,IAAI,MAAM,EAAE,CAUnD;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAoBvF"}
|
|
@@ -1,5 +1,3 @@
|
|
|
1
|
-
import { join, resolve } from 'node:path';
|
|
2
|
-
import { getIOPrefixes, getCPUPrefixes } from '../config/effect_config.js';
|
|
3
1
|
import { TypeSystem } from './type_system.js';
|
|
4
2
|
// 类型检查工具模块：收敛常量、类型辅助与路径规范化逻辑，供多个子模块复用。
|
|
5
3
|
export const UNKNOWN_TYPE = TypeSystem.unknown();
|
|
@@ -7,9 +5,62 @@ export const UNIT_TYPE = { kind: 'TypeName', name: 'Unit' };
|
|
|
7
5
|
export const IO_EFFECT_TYPE = { kind: 'TypeName', name: 'IO' };
|
|
8
6
|
export const CPU_EFFECT_TYPE = { kind: 'TypeName', name: 'CPU' };
|
|
9
7
|
export const PURE_EFFECT_TYPE = { kind: 'TypeName', name: 'PURE' };
|
|
10
|
-
//
|
|
11
|
-
|
|
12
|
-
|
|
8
|
+
// Default IO prefixes (matches DEFAULT_CONFIG in effect_config.ts)
|
|
9
|
+
const DEFAULT_IO_PREFIXES = [
|
|
10
|
+
'IO.',
|
|
11
|
+
'Http.',
|
|
12
|
+
'AuthRepo.',
|
|
13
|
+
'ProfileSvc.',
|
|
14
|
+
'FeedSvc.',
|
|
15
|
+
'Db.',
|
|
16
|
+
'UUID.randomUUID',
|
|
17
|
+
];
|
|
18
|
+
// Default CPU prefixes (matches DEFAULT_CONFIG in effect_config.ts)
|
|
19
|
+
const DEFAULT_CPU_PREFIXES = [];
|
|
20
|
+
// Effect prefixes - try loading from config, fallback to defaults for browser compatibility
|
|
21
|
+
let _ioPrefixes = null;
|
|
22
|
+
let _cpuPrefixes = null;
|
|
23
|
+
let _prefixesLoaded = false;
|
|
24
|
+
function loadPrefixes() {
|
|
25
|
+
if (_prefixesLoaded)
|
|
26
|
+
return; // Already loaded
|
|
27
|
+
_prefixesLoaded = true;
|
|
28
|
+
try {
|
|
29
|
+
// Use dynamic import with createRequire for proper ESM compatibility
|
|
30
|
+
// eslint-disable-next-line @typescript-eslint/no-require-imports
|
|
31
|
+
const { createRequire } = require('node:module');
|
|
32
|
+
const require2 = createRequire(import.meta.url);
|
|
33
|
+
const config = require2('../config/effect_config.js');
|
|
34
|
+
_ioPrefixes = config.getIOPrefixes();
|
|
35
|
+
_cpuPrefixes = config.getCPUPrefixes();
|
|
36
|
+
}
|
|
37
|
+
catch {
|
|
38
|
+
// Fallback to defaults in browser environment
|
|
39
|
+
_ioPrefixes = DEFAULT_IO_PREFIXES;
|
|
40
|
+
_cpuPrefixes = DEFAULT_CPU_PREFIXES;
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
/**
|
|
44
|
+
* Get IO prefixes for effect inference.
|
|
45
|
+
* Loads from config in Node.js, uses defaults in browser.
|
|
46
|
+
*/
|
|
47
|
+
export function getIOPrefixesCompat() {
|
|
48
|
+
loadPrefixes();
|
|
49
|
+
return _ioPrefixes;
|
|
50
|
+
}
|
|
51
|
+
/**
|
|
52
|
+
* Get CPU prefixes for effect inference.
|
|
53
|
+
* Loads from config in Node.js, uses defaults in browser.
|
|
54
|
+
*/
|
|
55
|
+
export function getCPUPrefixesCompat() {
|
|
56
|
+
loadPrefixes();
|
|
57
|
+
return _cpuPrefixes;
|
|
58
|
+
}
|
|
59
|
+
// Exported constants for backward compatibility - use getter functions for lazy loading
|
|
60
|
+
// Initialize immediately since many modules expect these as constants
|
|
61
|
+
loadPrefixes();
|
|
62
|
+
export const IO_PREFIXES = _ioPrefixes;
|
|
63
|
+
export const CPU_PREFIXES = _cpuPrefixes;
|
|
13
64
|
/**
|
|
14
65
|
* 解析导入别名到真实模块前缀
|
|
15
66
|
* @param name 原始名称（如 "H.get"）
|
|
@@ -93,17 +144,45 @@ export function originToSpan(origin) {
|
|
|
93
144
|
return undefined;
|
|
94
145
|
return { start: origin.start, end: origin.end };
|
|
95
146
|
}
|
|
147
|
+
/**
|
|
148
|
+
* Get default module search paths.
|
|
149
|
+
* Uses dynamic import to avoid Node.js dependency at module load time.
|
|
150
|
+
*/
|
|
96
151
|
export function defaultModuleSearchPaths() {
|
|
97
|
-
|
|
98
|
-
|
|
152
|
+
try {
|
|
153
|
+
// eslint-disable-next-line @typescript-eslint/no-require-imports
|
|
154
|
+
const path = require('node:path');
|
|
155
|
+
const cwd = process.cwd();
|
|
156
|
+
return [cwd, path.join(cwd, '.aster', 'packages')];
|
|
157
|
+
}
|
|
158
|
+
catch {
|
|
159
|
+
// In browser environment, return empty array
|
|
160
|
+
return [];
|
|
161
|
+
}
|
|
99
162
|
}
|
|
163
|
+
/**
|
|
164
|
+
* Normalize module search paths.
|
|
165
|
+
* Uses dynamic import to avoid Node.js dependency at module load time.
|
|
166
|
+
*/
|
|
100
167
|
export function normalizeModuleSearchPaths(paths) {
|
|
101
168
|
const source = paths && paths.length > 0 ? paths : defaultModuleSearchPaths();
|
|
102
169
|
const normalized = new Set();
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
170
|
+
try {
|
|
171
|
+
// eslint-disable-next-line @typescript-eslint/no-require-imports
|
|
172
|
+
const path = require('node:path');
|
|
173
|
+
for (const candidate of source) {
|
|
174
|
+
if (!candidate)
|
|
175
|
+
continue;
|
|
176
|
+
normalized.add(path.resolve(candidate));
|
|
177
|
+
}
|
|
178
|
+
}
|
|
179
|
+
catch {
|
|
180
|
+
// In browser environment, use paths as-is
|
|
181
|
+
for (const candidate of source) {
|
|
182
|
+
if (!candidate)
|
|
183
|
+
continue;
|
|
184
|
+
normalized.add(candidate);
|
|
185
|
+
}
|
|
107
186
|
}
|
|
108
187
|
return [...normalized];
|
|
109
188
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../src/typecheck/utils.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../src/typecheck/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,uCAAuC;AAEvC,MAAM,CAAC,MAAM,YAAY,GAAc,UAAU,CAAC,OAAO,EAAE,CAAC;AAC5D,MAAM,CAAC,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACvE,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC1E,MAAM,CAAC,MAAM,eAAe,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC5E,MAAM,CAAC,MAAM,gBAAgB,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAE9E,mEAAmE;AACnE,MAAM,mBAAmB,GAAsB;IAC7C,KAAK;IACL,OAAO;IACP,WAAW;IACX,aAAa;IACb,UAAU;IACV,KAAK;IACL,iBAAiB;CAClB,CAAC;AAEF,oEAAoE;AACpE,MAAM,oBAAoB,GAAsB,EAAE,CAAC;AAEnD,4FAA4F;AAC5F,IAAI,WAAW,GAA6B,IAAI,CAAC;AACjD,IAAI,YAAY,GAA6B,IAAI,CAAC;AAClD,IAAI,eAAe,GAAG,KAAK,CAAC;AAE5B,SAAS,YAAY;IACnB,IAAI,eAAe;QAAE,OAAO,CAAC,iBAAiB;IAC9C,eAAe,GAAG,IAAI,CAAC;IACvB,IAAI,CAAC;QACH,qEAAqE;QACrE,iEAAiE;QACjE,MAAM,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,4BAA4B,CAAC,CAAC;QACtD,WAAW,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;QACrC,YAAY,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,8CAA8C;QAC9C,WAAW,GAAG,mBAAmB,CAAC;QAClC,YAAY,GAAG,oBAAoB,CAAC;IACtC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB;IACjC,YAAY,EAAE,CAAC;IACf,OAAO,WAAY,CAAC;AACtB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB;IAClC,YAAY,EAAE,CAAC;IACf,OAAO,YAAa,CAAC;AACvB,CAAC;AAED,wFAAwF;AACxF,sEAAsE;AACtE,YAAY,EAAE,CAAC;AACf,MAAM,CAAC,MAAM,WAAW,GAAsB,WAAY,CAAC;AAC3D,MAAM,CAAC,MAAM,YAAY,GAAsB,YAAa,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,OAAoC;IAC7E,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAO,CAAC,CAAC;IACtC,OAAO,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,gBAAgB;IAC9B,+CAA+C;IAC/C,IAAI,UAAU,CAAC,SAAS,EAAE,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACzD,OAAO,UAAU,CAAC,SAAS,CAAC,gBAAgB,CAAC;IAC/C,CAAC;IAED,sCAAsC;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IAC1E,IAAI,QAAQ,EAAE,WAAW,EAAE,KAAK,MAAM,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8BAA8B;IAC9B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAkC;IAC1D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAkC;IAC9D,OAAO,IAAI,IAAI,YAAY,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAkC;IAC3D,OAAO,UAAU,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAe;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAe;IAClD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAc,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAA+B,EAAE,CAA+B,EAAE,MAAM,GAAG,KAAK;IACzG,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAE/B,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,UAAU,CAAC,IAAI,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAA0B;IACrD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;AAClD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB;IACtC,IAAI,CAAC;QACH,iEAAiE;QACjE,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,6CAA6C;QAC7C,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAyB;IAClE,MAAM,MAAM,GAAG,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,wBAAwB,EAAE,CAAC;IAC9E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,IAAI,CAAC;QACH,iEAAiE;QACjE,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QAClC,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,0CAA0C;QAC1C,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC;AACzB,CAAC"}
|
|
@@ -105,7 +105,7 @@ const ast = parse(tokens);
|
|
|
105
105
|
const core = lowerModule(ast);
|
|
106
106
|
const diags = typecheckModule(core);
|
|
107
107
|
for (const diag of diags) {
|
|
108
|
-
if (diag.code === '${"
|
|
108
|
+
if (diag.code === '${"E206" /* ErrorCode.EFF_INFER_MISSING_CPU */}') {
|
|
109
109
|
console.log('FOUND');
|
|
110
110
|
process.exit(0);
|
|
111
111
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effects-and-capabilities.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/effects-and-capabilities.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAK7F;;GAEG;AACH,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAS,KAAK,CAAC,KAAqC;IAClD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,sDAAsD;QACtD,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,IAAI,EACJ,mBAAmB,CACpB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,EAC/D,IAAI,EACJ,sBAAsB,CACvB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;QACzD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG;YACb,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,OAAO,CAAC;oBACf,GAAG,EAAE,EAAE;oBACP,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,EAAE;iBACT;gBACD,GAAG,EAAE,CAAC,UAAU,CAAC;gBACjB,EAAE,EAAE,EAAE;aACP;SACF,CAAC;QACF,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QAE1D,MAAM,YAAY,GAAG;;;;;CAKxB,CAAC;QAEE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG;gCACW,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,oCAAoC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;uBACtF,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,4BAA4B,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;yBACnE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,oBAAoB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;+BACvD,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,2BAA2B,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;mCAChE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,uBAAuB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;;iBAElF,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC;;;;;;;uBAOtB,
|
|
1
|
+
{"version":3,"file":"effects-and-capabilities.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/effects-and-capabilities.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAK7F;;GAEG;AACH,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAS,KAAK,CAAC,KAAqC;IAClD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,sDAAsD;QACtD,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,IAAI,EACJ,mBAAmB,CACpB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,EAC/D,IAAI,EACJ,sBAAsB,CACvB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;QACzD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG;YACb,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,IAAI,EAAE,CAAC,OAAO,CAAC;oBACf,GAAG,EAAE,EAAE;oBACP,KAAK,EAAE,EAAE;oBACT,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,EAAE;iBACT;gBACD,GAAG,EAAE,CAAC,UAAU,CAAC;gBACjB,EAAE,EAAE,EAAE;aACP;SACF,CAAC;QACF,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QAE1D,MAAM,YAAY,GAAG;;;;;CAKxB,CAAC;QAEE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG;gCACW,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,oCAAoC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;uBACtF,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,4BAA4B,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;yBACnE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,oBAAoB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;+BACvD,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,2BAA2B,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;mCAChE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,uBAAuB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;;iBAElF,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC;;;;;;;uBAOtB,4CAA+B;;;;;;CAMrD,CAAC;YACI,YAAY,CACV,OAAO,CAAC,QAAQ,EAChB,CAAC,qBAAqB,EAAE,QAAQ,EAAE,MAAM,CAAC,EACzC;gBACE,GAAG,EAAE;oBACH,GAAG,OAAO,CAAC,GAAG;oBACd,mBAAmB,EAAE,UAAU;iBAChC;aACF,CACF,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,2CAA8B,CAAC,EAC3D,IAAI,EACJ,cAAc,CACf,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,CAAC;QACpF,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG;;;;;CAKlB,CAAC;QACE,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE;gBACL,IAAI,EAAE,CAAC,yCAAyC,CAAC;aAClD;SACF,CAAC;QACF,MAAM,WAAW,GAAG,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,IAAI,EACJ,YAAY,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,MAAM,GAAG;;;;;CAKlB,CAAC;QACE,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,YAAY,GAAG,CAAC,qCAAqC,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE;gBACL,IAAI,EAAE,YAAY;gBAClB,GAAG,EAAE,YAAY;gBACjB,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,YAAY;gBACrB,OAAO,EAAE,YAAY;aACtB;SACF,CAAC;QACF,MAAM,WAAW,GAAG,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,KAAK,EACL,WAAW,CACZ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/package.json
CHANGED