@kernlang/core 4.1.0 → 4.1.1-canary.227.1.dcaa3f78
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/codegen/body-ts.js +18 -0
- package/dist/codegen/body-ts.js.map +1 -1
- package/dist/index.d.ts +5 -4
- package/dist/index.js +7 -2
- package/dist/index.js.map +1 -1
- package/dist/ir/semantics/assign.js +4 -4
- package/dist/ir/semantics/assign.js.map +1 -1
- package/dist/ir/semantics/branch.js +11 -9
- package/dist/ir/semantics/branch.js.map +1 -1
- package/dist/ir/semantics/each.js +11 -10
- package/dist/ir/semantics/each.js.map +1 -1
- package/dist/ir/semantics/expression-v1.js +17 -17
- package/dist/ir/semantics/expression-v1.js.map +1 -1
- package/dist/ir/semantics/fmt.js +3 -3
- package/dist/ir/semantics/fmt.js.map +1 -1
- package/dist/ir/semantics/for.js +14 -10
- package/dist/ir/semantics/for.js.map +1 -1
- package/dist/ir/semantics/if.js +12 -4
- package/dist/ir/semantics/if.js.map +1 -1
- package/dist/ir/semantics/index.d.ts +35 -1
- package/dist/ir/semantics/index.js +59 -1
- package/dist/ir/semantics/index.js.map +1 -1
- package/dist/ir/semantics/let.js +3 -3
- package/dist/ir/semantics/let.js.map +1 -1
- package/dist/ir/semantics/portable-scalar.js +6 -5
- package/dist/ir/semantics/portable-scalar.js.map +1 -1
- package/dist/ir/semantics/primitives.js +3 -3
- package/dist/ir/semantics/primitives.js.map +1 -1
- package/dist/ir/semantics/print.d.ts +36 -0
- package/dist/ir/semantics/print.js +102 -0
- package/dist/ir/semantics/print.js.map +1 -0
- package/dist/ir/semantics/register-all.js +2 -0
- package/dist/ir/semantics/register-all.js.map +1 -1
- package/dist/ir/semantics/testing.d.ts +18 -0
- package/dist/ir/semantics/testing.js +19 -0
- package/dist/ir/semantics/testing.js.map +1 -0
- package/dist/ir/semantics/try.js +6 -6
- package/dist/ir/semantics/try.js.map +1 -1
- package/dist/ir/semantics/while.js +7 -4
- package/dist/ir/semantics/while.js.map +1 -1
- package/dist/parser-validate-body-statements.js +1 -0
- package/dist/parser-validate-body-statements.js.map +1 -1
- package/dist/rag-retrieve-runner.d.ts +9 -1
- package/dist/rag-retrieve-runner.js +149 -2
- package/dist/rag-retrieve-runner.js.map +1 -1
- package/dist/runner.d.ts +28 -0
- package/dist/runner.js +30 -0
- package/dist/runner.js.map +1 -0
- package/dist/schema.js +8 -0
- package/dist/schema.js.map +1 -1
- package/dist/spec.d.ts +2 -2
- package/dist/spec.js +3 -1
- package/dist/spec.js.map +1 -1
- package/dist/testing.d.ts +16 -0
- package/dist/testing.js +17 -0
- package/dist/testing.js.map +1 -0
- package/package.json +9 -1
|
@@ -40,7 +40,7 @@
|
|
|
40
40
|
* - non-identifier `in=` expressions
|
|
41
41
|
* - lazy / infinite iterables (the runner materializes through `for...of`)
|
|
42
42
|
*/
|
|
43
|
-
import { registerContract } from './index.js';
|
|
43
|
+
import { childEnv, defineBinding, getBinding, hasBinding, registerContract, } from './index.js';
|
|
44
44
|
import { referenceRunSequence } from './reference-runner.js';
|
|
45
45
|
import { emptyTrace } from './trace.js';
|
|
46
46
|
function asEachProps(ir) {
|
|
@@ -203,10 +203,10 @@ function eachEffects(ir, env) {
|
|
|
203
203
|
throw new Error('each: invariant violated — preconditions passed but shape is null');
|
|
204
204
|
}
|
|
205
205
|
const inName = p.in;
|
|
206
|
-
if (!env
|
|
206
|
+
if (!hasBinding(env, inName)) {
|
|
207
207
|
throw new Error(`each: binding "${inName}" not found in env`);
|
|
208
208
|
}
|
|
209
|
-
const collection = env
|
|
209
|
+
const collection = getBinding(env, inName);
|
|
210
210
|
if (collection === null || collection === undefined) {
|
|
211
211
|
throw new Error(`each: binding "${inName}" is nullish`);
|
|
212
212
|
}
|
|
@@ -214,14 +214,15 @@ function eachEffects(ir, env) {
|
|
|
214
214
|
const children = ir.children ?? [];
|
|
215
215
|
for (const step of iterateCollection(shape, collection, p)) {
|
|
216
216
|
out.events.push({ op: 'iter-next', binding: step.primary[0], value: step.primary[1] });
|
|
217
|
-
|
|
218
|
-
|
|
219
|
-
|
|
220
|
-
|
|
221
|
-
|
|
217
|
+
// Fresh CHILD scope per element: the element binding(s) and any inner `let`
|
|
218
|
+
// live only here (fresh per element, no post-loop leak), while an `assign` to
|
|
219
|
+
// an OUTER binding writes THROUGH to its declaring scope — so an `each`
|
|
220
|
+
// accumulator persists across elements, byte-identical to the emitted loops.
|
|
221
|
+
// (Previously this forked `new Map(env.bindings)`, discarding outer mutations.)
|
|
222
|
+
const iterEnv = childEnv(env);
|
|
222
223
|
for (const [k, v] of step.bindings)
|
|
223
|
-
|
|
224
|
-
const childTrace = referenceRunSequence(children,
|
|
224
|
+
defineBinding(iterEnv, k, v);
|
|
225
|
+
const childTrace = referenceRunSequence(children, iterEnv);
|
|
225
226
|
out.events.push(...childTrace.events);
|
|
226
227
|
const c = childTrace.completion;
|
|
227
228
|
if (c.kind === 'break')
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"each.js","sourceRoot":"","sources":["../../../src/ir/semantics/each.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAGH,OAAO,EAAuC,gBAAgB,EAAoB,MAAM,YAAY,CAAC;AACrG,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAc,MAAM,YAAY,CAAC;AAkBpD,SAAS,WAAW,CAAC,EAAU;IAC7B,OAAO,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAc,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,CAAY;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;IAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC;IAC7C,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC;IACjD,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC;IACrD,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;IACnD,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC;IACvD,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;IACjC,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC;IAErC,2EAA2E;IAC3E,+CAA+C;IAC/C,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC;IAC1G,MAAM,QAAQ,GAAG,UAAU,IAAI,YAAY,IAAI,CAAC,OAAO,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC;IACrH,MAAM,YAAY,GAAG,WAAW,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,IAAI,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC;IAC5G,MAAM,cAAc,GAAG,aAAa,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC;IAE9G,IAAI,SAAS,EAAE,CAAC;QACd,uEAAuE;QACvE,gEAAgE;QAChE,uEAAuE;QACvE,qEAAqE;QACrE,uEAAuE;QACvE,oBAAoB;QACpB,IAAI,OAAO;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9C,CAAC;IACD,IAAI,QAAQ;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC;IAC1D,0EAA0E;IAC1E,0BAA0B;IAC1B,IAAI,YAAY,IAAI,SAAS,IAAI,CAAC,OAAO;QAAE,OAAO,WAAW,CAAC;IAC9D,IAAI,cAAc,IAAI,SAAS,IAAI,CAAC,OAAO;QAAE,OAAO,aAAa,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAU,EAAE,IAAiB;IACtD,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAC1B,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC3C,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1E,OAAO,IAAI,CAAC;AACd,CAAC;AAQD;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,UAAmB,EAAE,KAAa;IAC3D,IACE,OAAO,UAAU,KAAK,QAAQ;QAC9B,UAAU,KAAK,IAAI;QACnB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACzB,UAAU,YAAY,GAAG;QACzB,UAAU,YAAY,GAAG,EACzB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,+CAA+C,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,QAAQ,CAAC,CAAC,iBAAiB,CAAC,KAAgB,EAAE,UAAmB,EAAE,CAAY;IAC7E,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,UAAuB,CAAC;YACpC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAc,CAAC;YAC9B,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;gBACxB,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC9D,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,UAAuB,CAAC;YACpC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAc,CAAC;YAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAe,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;gBACxB,MAAM;oBACJ,QAAQ,EAAE;wBACR,CAAC,IAAI,EAAE,KAAK,CAAC;wBACb,CAAC,GAAG,EAAE,CAAC,CAAC;qBACT;oBACD,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;iBACvB,CAAC;gBACF,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAiB,CAAC;YAClC,MAAM,KAAK,GAAG,CAAC,CAAC,SAAmB,CAAC;YACpC,IAAI,UAAU,YAAY,GAAG,EAAE,CAAC;gBAC9B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,UAAU,EAAE,CAAC;oBAChC,MAAM;wBACJ,QAAQ,EAAE;4BACR,CAAC,KAAK,EAAE,CAAC,CAAC;4BACV,CAAC,KAAK,EAAE,CAAC,CAAC;yBACX;wBACD,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;qBACpB,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;oBAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC9C,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;oBACxE,CAAC;oBACD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAA0B,CAAC;oBAC1C,MAAM;wBACJ,QAAQ,EAAE;4BACR,CAAC,KAAK,EAAE,CAAC,CAAC;4BACV,CAAC,KAAK,EAAE,CAAC,CAAC;yBACX;wBACD,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;qBACpB,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;YACzF,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,CAAC,CAAC,QAAkB,CAAC;YAClC,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,UAAqC,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACtD,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,CAAC,CAAC,UAAoB,CAAC;YACpC,iBAAiB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,UAAqC,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACtD,CAAC;YACD,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,EAAU,EAAE,GAAgB;IAC/C,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,CAAC,EAAY,CAAC;IAC9B,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,oBAAoB,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,cAAc,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,GAAG,GAAU,UAAU,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAEvF,MAAM,QAAQ,GAAgB;YAC5B,QAAQ,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC/B,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,GAAG,EAAE,GAAG,CAAC,GAAG;SACb,CAAC;QACF,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ;YAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAEhE,MAAM,UAAU,GAAG,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC5D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEtC,MAAM,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9C,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC;YACnB,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,EAAU,EAAE,GAAgB;IAClD,OAAO,WAAW,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC;AACzC,CAAC;AAED,MAAM,kBAAkB,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC1D,qCAAqC;IACrC,0CAA0C;IAC1C,6EAA6E;IAC7E,iFAAiF;CAClF,CAAC,CAAC;AAEH;;4EAE4E;AAE5E,SAAS,QAAQ,CAAC,OAAe,EAAE,KAAc;IAC/C,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,GAAG,CAAC,IAAY;IACvB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAgB;IAClD,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAA4B;IAC5D,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAA8B;IAC9D,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC;IACrD,yBAAyB;IACzB;QACE,WAAW,EAAE,4CAA4C;QACzD,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACxB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3B,QAAQ,EAAE,UAAU,EAAE;KACvB;IACD;QACE,WAAW,EAAE,iEAAiE;QAC9E,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACxB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7B,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC3D,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,6EAA6E;QAC1F,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;SACvB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,QAAQ,EAAE;YACR,MAAM,EAAE;gBACN,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;gBAClB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;gBAC7B,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;gBAClB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;gBAC7B,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;gBAClB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;aAC9B;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,4DAA4D;QACzE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;SAC9B;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACzE;IACD;QACE,WAAW,EAAE,0EAA0E;QACvF,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;SACnD;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC5C,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,4DAA4D;QACzE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC;SACrD;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1B,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE;SAC1C;KACF;IACD;QACE,WAAW,EAAE,0DAA0D;QACvE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,CAAC;SACjE;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5B,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1B,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE;SAC5D;KACF;IAED,4BAA4B;IAC5B;QACE,WAAW,EAAE,4DAA4D;QACzE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC1C,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;SACvB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAC9G,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,iDAAiD;QAC9D,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC1C,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;SACvB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3B,QAAQ,EAAE,UAAU,EAAE;KACvB;IACD;QACE,WAAW,EAAE,qEAAqE;QAClF,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC1C,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;SAC9B;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACjC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KAC1E;IAED,8BAA8B;IAC9B;QACE,WAAW,EAAE,6DAA6D;QAC1E,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE;YAChD,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACxB;QACD,GAAG,EAAE,UAAU,CACb,GAAG,EACH,IAAI,GAAG,CAAC;YACN,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACa,CAAC,CACzB;QACD,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC5G,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,2CAA2C;QACxD,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE;YAChD,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACxB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC;QAC/B,QAAQ,EAAE,UAAU,EAAE;KACvB;IACD;QACE,WAAW,EAAE,2DAA2D;QACxE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE;YACpD,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACrB;QACD,GAAG,EAAE;YACH,QAAQ,EAAE,IAAI,GAAG,CAAC;gBAChB;oBACE,OAAO;oBACP;wBACE,CAAC,GAAG,EAAE,GAAG,CAAC;wBACV,CAAC,GAAG,EAAE,GAAG,CAAC;qBACX;iBACF;aACqB,CAAC;SAC1B;QACD,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC1G,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IAED,yBAAyB;IACzB;QACE,WAAW,EAAE,yEAAyE;QACtF,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAC7D,QAAQ,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;SACzB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAuB,CAAC,CAAC;QAChE,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC5D,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,mDAAmD;QAChE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAC7D,QAAQ,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;SACzB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC;QAC/B,QAAQ,EAAE,UAAU,EAAE;KACvB;IAED,wBAAwB;IACxB;QACE,WAAW,EAAE,oDAAoD;QACjE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAChD,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACrB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACxC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC9G,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,8CAA8C;QAC3D,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAChD,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACrB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC;QACxB,QAAQ,EAAE,UAAU,EAAE;KACvB;IAED,0BAA0B;IAC1B;QACE,WAAW,EAAE,wDAAwD;QACrE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAClD,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACrB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;QACtC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACxG,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,oEAAoE;QACjF,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAClD,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;SACnD;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACpC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC5C,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,YAAY,GAAiB;IACxC,QAAQ,EAAE,MAAM;IAChB,aAAa,EAAE,iBAAiB;IAChC,OAAO,EAAE,WAAW;IACpB,UAAU,EAAE,cAAc;IAC1B,iBAAiB,EAAE,kBAAkB;IACrC,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,IAAI,UAAU,GAAG,KAAK,CAAC;AAEvB,mFAAmF;AACnF,MAAM,UAAU,oBAAoB;IAClC,IAAI,UAAU;QAAE,OAAO;IACvB,gBAAgB,CAAC,YAAY,CAAC,CAAC;IAC/B,UAAU,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,yBAAyB;IACvC,UAAU,GAAG,KAAK,CAAC;AACrB,CAAC"}
|
|
1
|
+
{"version":3,"file":"each.js","sourceRoot":"","sources":["../../../src/ir/semantics/each.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAGH,OAAO,EACL,QAAQ,EACR,aAAa,EACb,UAAU,EACV,UAAU,EAGV,gBAAgB,GAEjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAc,MAAM,YAAY,CAAC;AAkBpD,SAAS,WAAW,CAAC,EAAU;IAC7B,OAAO,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAc,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,CAAY;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;IAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC;IAC7C,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC;IACjD,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC;IACrD,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;IACnD,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC;IACvD,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;IACjC,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC;IAErC,2EAA2E;IAC3E,+CAA+C;IAC/C,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC;IAC1G,MAAM,QAAQ,GAAG,UAAU,IAAI,YAAY,IAAI,CAAC,OAAO,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC;IACrH,MAAM,YAAY,GAAG,WAAW,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,IAAI,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC;IAC5G,MAAM,cAAc,GAAG,aAAa,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC;IAE9G,IAAI,SAAS,EAAE,CAAC;QACd,uEAAuE;QACvE,gEAAgE;QAChE,uEAAuE;QACvE,qEAAqE;QACrE,uEAAuE;QACvE,oBAAoB;QACpB,IAAI,OAAO;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9C,CAAC;IACD,IAAI,QAAQ;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC;IAC1D,0EAA0E;IAC1E,0BAA0B;IAC1B,IAAI,YAAY,IAAI,SAAS,IAAI,CAAC,OAAO;QAAE,OAAO,WAAW,CAAC;IAC9D,IAAI,cAAc,IAAI,SAAS,IAAI,CAAC,OAAO;QAAE,OAAO,aAAa,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAU,EAAE,IAAiB;IACtD,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAC1B,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC3C,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1E,OAAO,IAAI,CAAC;AACd,CAAC;AAQD;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,UAAmB,EAAE,KAAa;IAC3D,IACE,OAAO,UAAU,KAAK,QAAQ;QAC9B,UAAU,KAAK,IAAI;QACnB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACzB,UAAU,YAAY,GAAG;QACzB,UAAU,YAAY,GAAG,EACzB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,+CAA+C,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,QAAQ,CAAC,CAAC,iBAAiB,CAAC,KAAgB,EAAE,UAAmB,EAAE,CAAY;IAC7E,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,UAAuB,CAAC;YACpC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAc,CAAC;YAC9B,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;gBACxB,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC9D,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,UAAuB,CAAC;YACpC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAc,CAAC;YAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAe,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;gBACxB,MAAM;oBACJ,QAAQ,EAAE;wBACR,CAAC,IAAI,EAAE,KAAK,CAAC;wBACb,CAAC,GAAG,EAAE,CAAC,CAAC;qBACT;oBACD,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;iBACvB,CAAC;gBACF,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAiB,CAAC;YAClC,MAAM,KAAK,GAAG,CAAC,CAAC,SAAmB,CAAC;YACpC,IAAI,UAAU,YAAY,GAAG,EAAE,CAAC;gBAC9B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,UAAU,EAAE,CAAC;oBAChC,MAAM;wBACJ,QAAQ,EAAE;4BACR,CAAC,KAAK,EAAE,CAAC,CAAC;4BACV,CAAC,KAAK,EAAE,CAAC,CAAC;yBACX;wBACD,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;qBACpB,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;oBAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC9C,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;oBACxE,CAAC;oBACD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAA0B,CAAC;oBAC1C,MAAM;wBACJ,QAAQ,EAAE;4BACR,CAAC,KAAK,EAAE,CAAC,CAAC;4BACV,CAAC,KAAK,EAAE,CAAC,CAAC;yBACX;wBACD,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;qBACpB,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;YACzF,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,CAAC,CAAC,QAAkB,CAAC;YAClC,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,UAAqC,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACtD,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,CAAC,CAAC,UAAoB,CAAC;YACpC,iBAAiB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,UAAqC,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACtD,CAAC;YACD,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,EAAU,EAAE,GAAgB;IAC/C,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,CAAC,EAAY,CAAC;IAC9B,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,oBAAoB,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,cAAc,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,GAAG,GAAU,UAAU,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAEvF,4EAA4E;QAC5E,8EAA8E;QAC9E,wEAAwE;QACxE,6EAA6E;QAC7E,gFAAgF;QAChF,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ;YAAE,aAAa,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAEjE,MAAM,UAAU,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEtC,MAAM,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9C,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC;YACnB,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,EAAU,EAAE,GAAgB;IAClD,OAAO,WAAW,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC;AACzC,CAAC;AAED,MAAM,kBAAkB,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC1D,qCAAqC;IACrC,0CAA0C;IAC1C,6EAA6E;IAC7E,iFAAiF;CAClF,CAAC,CAAC;AAEH;;4EAE4E;AAE5E,SAAS,QAAQ,CAAC,OAAe,EAAE,KAAc;IAC/C,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,GAAG,CAAC,IAAY;IACvB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAgB;IAClD,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAA4B;IAC5D,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAA8B;IAC9D,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC;IACrD,yBAAyB;IACzB;QACE,WAAW,EAAE,4CAA4C;QACzD,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACxB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3B,QAAQ,EAAE,UAAU,EAAE;KACvB;IACD;QACE,WAAW,EAAE,iEAAiE;QAC9E,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACxB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7B,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC3D,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,6EAA6E;QAC1F,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;SACvB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,QAAQ,EAAE;YACR,MAAM,EAAE;gBACN,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;gBAClB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;gBAC7B,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;gBAClB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;gBAC7B,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;gBAClB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;aAC9B;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,4DAA4D;QACzE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;SAC9B;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACzE;IACD;QACE,WAAW,EAAE,0EAA0E;QACvF,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;SACnD;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC5C,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,4DAA4D;QACzE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC;SACrD;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1B,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE;SAC1C;KACF;IACD;QACE,WAAW,EAAE,0DAA0D;QACvE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,CAAC;SACjE;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5B,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1B,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE;SAC5D;KACF;IAED,4BAA4B;IAC5B;QACE,WAAW,EAAE,4DAA4D;QACzE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC1C,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;SACvB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAC9G,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,iDAAiD;QAC9D,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC1C,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;SACvB;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3B,QAAQ,EAAE,UAAU,EAAE;KACvB;IACD;QACE,WAAW,EAAE,qEAAqE;QAClF,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE;YAC1C,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;SAC9B;QACD,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACjC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KAC1E;IAED,8BAA8B;IAC9B;QACE,WAAW,EAAE,6DAA6D;QAC1E,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE;YAChD,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACxB;QACD,GAAG,EAAE,UAAU,CACb,GAAG,EACH,IAAI,GAAG,CAAC;YACN,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACa,CAAC,CACzB;QACD,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC5G,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,2CAA2C;QACxD,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE;YAChD,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACxB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC;QAC/B,QAAQ,EAAE,UAAU,EAAE;KACvB;IACD;QACE,WAAW,EAAE,2DAA2D;QACxE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE;YACpD,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACrB;QACD,GAAG,EAAE;YACH,QAAQ,EAAE,IAAI,GAAG,CAAC;gBAChB;oBACE,OAAO;oBACP;wBACE,CAAC,GAAG,EAAE,GAAG,CAAC;wBACV,CAAC,GAAG,EAAE,GAAG,CAAC;qBACX;iBACF;aACqB,CAAC;SAC1B;QACD,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC1G,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IAED,yBAAyB;IACzB;QACE,WAAW,EAAE,yEAAyE;QACtF,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAC7D,QAAQ,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;SACzB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAuB,CAAC,CAAC;QAChE,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC5D,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,mDAAmD;QAChE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAC7D,QAAQ,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;SACzB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC;QAC/B,QAAQ,EAAE,UAAU,EAAE;KACvB;IAED,wBAAwB;IACxB;QACE,WAAW,EAAE,oDAAoD;QACjE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAChD,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACrB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACxC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC9G,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,8CAA8C;QAC3D,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAChD,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACrB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC;QACxB,QAAQ,EAAE,UAAU,EAAE;KACvB;IAED,0BAA0B;IAC1B;QACE,WAAW,EAAE,wDAAwD;QACrE,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAClD,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACrB;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;QACtC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACxG,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,oEAAoE;QACjF,EAAE,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YAClD,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;SACnD;QACD,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACpC,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC5C,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,YAAY,GAAiB;IACxC,QAAQ,EAAE,MAAM;IAChB,aAAa,EAAE,iBAAiB;IAChC,OAAO,EAAE,WAAW;IACpB,UAAU,EAAE,cAAc;IAC1B,iBAAiB,EAAE,kBAAkB;IACrC,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,IAAI,UAAU,GAAG,KAAK,CAAC;AAEvB,mFAAmF;AACnF,MAAM,UAAU,oBAAoB;IAClC,IAAI,UAAU;QAAE,OAAO;IACvB,gBAAgB,CAAC,YAAY,CAAC,CAAC;IAC/B,UAAU,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,yBAAyB;IACvC,UAAU,GAAG,KAAK,CAAC;AACrB,CAAC"}
|
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
* `expression-v1` runtime semantics.
|
|
3
3
|
*/
|
|
4
4
|
import { parseExpression } from '../../parser-expression.js';
|
|
5
|
-
import { registerContract } from './index.js';
|
|
5
|
+
import { defineBinding, hasBinding, hasOwnBinding, registerContract, } from './index.js';
|
|
6
6
|
import { evalRegexGlobalMatchExpression, evalRegexMatchAllExpression, evalRegexMatchExpression, evalRegexReplaceExpression, evalRegexSplitExpression, evalRegexTestExpression, isRegexGlobalMatchExpression, isRegexMatchAllExpression, isRegexMatchExpression, isRegexReplaceExpression, isRegexSplitExpression, isRegexTestExpression, isRunnerNativeRegexFailClose, makeRegExpMatchListValue, makeRegExpMatchValue, } from './portable-regex.js';
|
|
7
7
|
import { evalDecimalExpression, evalPortableValue, isDecimalValueExpression, isPortableBindingName, isRunnerNativeDecimalFailClose, makeDecimalValue, } from './portable-scalar.js';
|
|
8
8
|
function asExpressionV1Props(ir) {
|
|
@@ -28,7 +28,7 @@ function expressionSource(expr) {
|
|
|
28
28
|
* abstain) instead of the runner misjudging it as the builtin and diverging from
|
|
29
29
|
* the emitted legs, which honor the user binding. */
|
|
30
30
|
function routesToNativeDecimal(parsed, env) {
|
|
31
|
-
return isDecimalValueExpression(parsed) && !env
|
|
31
|
+
return isDecimalValueExpression(parsed) && !hasBinding(env, 'Decimal');
|
|
32
32
|
}
|
|
33
33
|
// The runner executes `regexLit.test(str)` natively ONLY when `RegExp` is the
|
|
34
34
|
// builtin (not user-shadowed), mirroring the decimal `!env.has('Decimal')` guard.
|
|
@@ -38,20 +38,20 @@ function routesToNativeDecimal(parsed, env) {
|
|
|
38
38
|
// byte-identical constant both emit legs produce. (Re-admit is parity, not
|
|
39
39
|
// laziness; moving `/g` to a gate-abstain would drop the runner's leg for `/g`.)
|
|
40
40
|
function routesToNativeRegexTest(parsed, env) {
|
|
41
|
-
return isRegexTestExpression(parsed) && !env
|
|
41
|
+
return isRegexTestExpression(parsed) && !hasBinding(env, 'RegExp');
|
|
42
42
|
}
|
|
43
43
|
function routesToNativeRegexMatch(parsed, env) {
|
|
44
|
-
return isRegexMatchExpression(parsed) && !env
|
|
44
|
+
return isRegexMatchExpression(parsed) && !hasBinding(env, 'RegExp');
|
|
45
45
|
}
|
|
46
46
|
// SLICE-3 — `<str>.match(/pat/g)` (GLOBAL array result) and `<str>.matchAll(/pat/g)`
|
|
47
47
|
// route native ONLY when `RegExp` is the builtin (not user-shadowed), same guard.
|
|
48
48
|
// `.matchAll` without /g is deliberately ADMITTED by the gate and fail-closed inside
|
|
49
49
|
// the eval so the precondition RE-ADMITS the shared REGEX_MATCHALL_NO_G_FAILCLOSE.
|
|
50
50
|
function routesToNativeRegexGlobalMatch(parsed, env) {
|
|
51
|
-
return isRegexGlobalMatchExpression(parsed) && !env
|
|
51
|
+
return isRegexGlobalMatchExpression(parsed) && !hasBinding(env, 'RegExp');
|
|
52
52
|
}
|
|
53
53
|
function routesToNativeRegexMatchAll(parsed, env) {
|
|
54
|
-
return isRegexMatchAllExpression(parsed) && !env
|
|
54
|
+
return isRegexMatchAllExpression(parsed) && !hasBinding(env, 'RegExp');
|
|
55
55
|
}
|
|
56
56
|
// SLICE-4 — `<str>.split(/pat/)` (array result) and `<str>.replace`/`.replaceAll`
|
|
57
57
|
// (string result) route native ONLY when `RegExp` is the builtin (not user-shadowed),
|
|
@@ -59,16 +59,16 @@ function routesToNativeRegexMatchAll(parsed, env) {
|
|
|
59
59
|
// /g, and a bad replacement `$`-surface are deliberately ADMITTED by the gate and
|
|
60
60
|
// fail-closed inside the eval so the precondition RE-ADMITS the shared constants.
|
|
61
61
|
function routesToNativeRegexSplit(parsed, env) {
|
|
62
|
-
return isRegexSplitExpression(parsed) && !env
|
|
62
|
+
return isRegexSplitExpression(parsed) && !hasBinding(env, 'RegExp');
|
|
63
63
|
}
|
|
64
64
|
function routesToNativeRegexReplace(parsed, env) {
|
|
65
|
-
return isRegexReplaceExpression(parsed) && !env
|
|
65
|
+
return isRegexReplaceExpression(parsed) && !hasBinding(env, 'RegExp');
|
|
66
66
|
}
|
|
67
67
|
function expressionV1Preconditions(ir, env) {
|
|
68
68
|
const props = asExpressionV1Props(ir);
|
|
69
69
|
if (!isPortableBindingName(props.name))
|
|
70
70
|
return false;
|
|
71
|
-
if (env
|
|
71
|
+
if (hasOwnBinding(env, props.name))
|
|
72
72
|
return false;
|
|
73
73
|
const expr = expressionSource(props.expr);
|
|
74
74
|
if (!Object.hasOwn(ir.props ?? {}, 'expr') || expr === undefined || expr === '')
|
|
@@ -198,17 +198,17 @@ function expressionV1Effects(ir, env) {
|
|
|
198
198
|
// (see routesToNativeDecimal) is NOT native — it falls through to portable eval.
|
|
199
199
|
if (routesToNativeDecimal(parsed, env)) {
|
|
200
200
|
const str = evalDecimalExpression(parsed, env);
|
|
201
|
-
env
|
|
201
|
+
defineBinding(env, name, makeDecimalValue(str));
|
|
202
202
|
return { events: [{ op: 'assign', target: name, value: str }], completion: { kind: 'normal' } };
|
|
203
203
|
}
|
|
204
204
|
if (routesToNativeRegexTest(parsed, env)) {
|
|
205
205
|
const value = evalRegexTestExpression(parsed, env);
|
|
206
|
-
env
|
|
206
|
+
defineBinding(env, name, value);
|
|
207
207
|
return { events: [{ op: 'assign', target: name, value }], completion: { kind: 'normal' } };
|
|
208
208
|
}
|
|
209
209
|
if (routesToNativeRegexMatch(parsed, env)) {
|
|
210
210
|
const value = evalRegexMatchExpression(parsed, env);
|
|
211
|
-
env
|
|
211
|
+
defineBinding(env, name, value === null ? null : makeRegExpMatchValue(value));
|
|
212
212
|
return { events: [{ op: 'assign', target: name, value }], completion: { kind: 'normal' } };
|
|
213
213
|
}
|
|
214
214
|
// SLICE-3 — `<str>.match(/pat/g)` (GLOBAL): the Trace `assign.value` is the PLAIN
|
|
@@ -217,14 +217,14 @@ function expressionV1Effects(ir, env) {
|
|
|
217
217
|
// (downstream array value semantics are a later slice). No-match binds plain null.
|
|
218
218
|
if (routesToNativeRegexGlobalMatch(parsed, env)) {
|
|
219
219
|
const value = evalRegexGlobalMatchExpression(parsed, env);
|
|
220
|
-
env
|
|
220
|
+
defineBinding(env, name, value === null ? null : makeRegExpMatchListValue(value));
|
|
221
221
|
return { events: [{ op: 'assign', target: name, value }], completion: { kind: 'normal' } };
|
|
222
222
|
}
|
|
223
223
|
// SLICE-3 — `<str>.matchAll(/pat/g)`: always an array (possibly empty). Same
|
|
224
224
|
// split — plain array in the Trace, tagged wrapper in the binding.
|
|
225
225
|
if (routesToNativeRegexMatchAll(parsed, env)) {
|
|
226
226
|
const value = evalRegexMatchAllExpression(parsed, env);
|
|
227
|
-
env
|
|
227
|
+
defineBinding(env, name, makeRegExpMatchListValue(value));
|
|
228
228
|
return { events: [{ op: 'assign', target: name, value }], completion: { kind: 'normal' } };
|
|
229
229
|
}
|
|
230
230
|
// SLICE-4 — `<str>.split(/pat/)`: the Trace `assign.value` is the PLAIN array (the
|
|
@@ -233,18 +233,18 @@ function expressionV1Effects(ir, env) {
|
|
|
233
233
|
// value semantics are a later slice), same terminal boundary as matchAll.
|
|
234
234
|
if (routesToNativeRegexSplit(parsed, env)) {
|
|
235
235
|
const value = evalRegexSplitExpression(parsed, env);
|
|
236
|
-
env
|
|
236
|
+
defineBinding(env, name, makeRegExpMatchListValue(value));
|
|
237
237
|
return { events: [{ op: 'assign', target: name, value }], completion: { kind: 'normal' } };
|
|
238
238
|
}
|
|
239
239
|
// SLICE-4 — `<str>.replace`/`.replaceAll`: a plain STRING scalar. The binding holds
|
|
240
240
|
// the bare string (readable downstream), unlike the terminal-tagged array results.
|
|
241
241
|
if (routesToNativeRegexReplace(parsed, env)) {
|
|
242
242
|
const value = evalRegexReplaceExpression(parsed, env);
|
|
243
|
-
env
|
|
243
|
+
defineBinding(env, name, value);
|
|
244
244
|
return { events: [{ op: 'assign', target: name, value }], completion: { kind: 'normal' } };
|
|
245
245
|
}
|
|
246
246
|
const value = evalPortableValue(parsed, env);
|
|
247
|
-
env
|
|
247
|
+
defineBinding(env, name, value);
|
|
248
248
|
return { events: [{ op: 'assign', target: name, value }], completion: { kind: 'normal' } };
|
|
249
249
|
}
|
|
250
250
|
function expressionV1Completion() {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"expression-v1.js","sourceRoot":"","sources":["../../../src/ir/semantics/expression-v1.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D,OAAO,EAAuC,gBAAgB,EAAoB,MAAM,YAAY,CAAC;AACrG,OAAO,EACL,8BAA8B,EAC9B,2BAA2B,EAC3B,wBAAwB,EACxB,0BAA0B,EAC1B,wBAAwB,EACxB,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,sBAAsB,EACtB,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,4BAA4B,EAC5B,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,wBAAwB,EACxB,qBAAqB,EACrB,8BAA8B,EAC9B,gBAAgB,GACjB,MAAM,sBAAsB,CAAC;AAQ9B,SAAS,mBAAmB,CAAC,EAAU;IACrC,OAAO,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAsB,CAAC;AAC/C,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa;IACtC,OAAO,CACL,OAAO,IAAI,KAAK,QAAQ;QACxB,IAAI,KAAK,IAAI;QACZ,IAA6B,CAAC,MAAM,KAAK,IAAI;QAC9C,OAAQ,IAA2B,CAAC,IAAI,KAAK,QAAQ,CACtD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC1D,IAAI,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC9C,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED;;;;;sDAKsD;AACtD,SAAS,qBAAqB,CAAC,MAA0C,EAAE,GAAgB;IACzF,OAAO,wBAAwB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAC1E,CAAC;AAED,8EAA8E;AAC9E,kFAAkF;AAClF,mFAAmF;AACnF,+EAA+E;AAC/E,gFAAgF;AAChF,2EAA2E;AAC3E,iFAAiF;AACjF,SAAS,uBAAuB,CAAC,MAA0C,EAAE,GAAgB;IAC3F,OAAO,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,wBAAwB,CAAC,MAA0C,EAAE,GAAgB;IAC5F,OAAO,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACvE,CAAC;AAED,qFAAqF;AACrF,kFAAkF;AAClF,qFAAqF;AACrF,mFAAmF;AACnF,SAAS,8BAA8B,CAAC,MAA0C,EAAE,GAAgB;IAClG,OAAO,4BAA4B,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,2BAA2B,CAAC,MAA0C,EAAE,GAAgB;IAC/F,OAAO,yBAAyB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED,kFAAkF;AAClF,sFAAsF;AACtF,sFAAsF;AACtF,kFAAkF;AAClF,kFAAkF;AAClF,SAAS,wBAAwB,CAAC,MAA0C,EAAE,GAAgB;IAC5F,OAAO,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,0BAA0B,CAAC,MAA0C,EAAE,GAAgB;IAC9F,OAAO,wBAAwB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,yBAAyB,CAAC,EAAU,EAAE,GAAgB;IAC7D,MAAM,KAAK,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACtC,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9F,IAAI,CAAC;QACH,8EAA8E;QAC9E,8EAA8E;QAC9E,8DAA8D;QAC9D,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACrC,6EAA6E;QAC7E,0EAA0E;QAC1E,0EAA0E;QAC1E,6EAA6E;QAC7E,6EAA6E;QAC7E,2EAA2E;QAC3E,0DAA0D;QAC1D,IAAI,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC;gBACH,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACnC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,8BAA8B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACvD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC;gBACH,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACrC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC;gBACH,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACtC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,8BAA8B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC;gBACH,8BAA8B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC5C,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC;gBACH,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACzC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC;gBACH,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACtC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,0BAA0B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC;gBACH,0BAA0B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,yEAAyE;QACzE,0EAA0E;QAC1E,6EAA6E;QAC7E,4CAA4C;QAC5C,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,EAAU,EAAE,GAAgB;IACvD,MAAM,KAAK,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,6EAA6E;IAC7E,yEAAyE;IACzE,+EAA+E;IAC/E,qEAAqE;IACrE,iFAAiF;IACjF,yEAAyE;IACzE,4EAA4E;IAC5E,iFAAiF;IACjF,+EAA+E;IAC/E,4EAA4E;IAC5E,4EAA4E;IAC5E,iEAAiE;IACjE,8EAA8E;IAC9E,4EAA4E;IAC5E,iFAAiF;IACjF,IAAI,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC/C,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAClG,CAAC;IACD,IAAI,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACnD,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,IAAI,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACpD,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5E,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,kFAAkF;IAClF,kFAAkF;IAClF,mFAAmF;IACnF,mFAAmF;IACnF,IAAI,8BAA8B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,8BAA8B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1D,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,6EAA6E;IAC7E,mEAAmE;IACnE,IAAI,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACvD,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;QACxD,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,mFAAmF;IACnF,+EAA+E;IAC/E,mFAAmF;IACnF,0EAA0E;IAC1E,IAAI,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACpD,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;QACxD,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,oFAAoF;IACpF,mFAAmF;IACnF,IAAI,0BAA0B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,0BAA0B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACtD,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC7C,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;AAC7F,CAAC;AAED,SAAS,sBAAsB;IAC7B,OAAO,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC;IACrD;QACE,WAAW,EAAE,8BAA8B;QAC3C,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAC/D,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACjG;IACD;QACE,WAAW,EAAE,8BAA8B;QAC3C,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE;QACpE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACtG;IACD;QACE,WAAW,EAAE,+BAA+B;QAC5C,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;QACjE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACnG;IACD;QACE,WAAW,EAAE,4BAA4B;QACzC,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;QAClE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACpG;IACD;QACE,WAAW,EAAE,yBAAyB;QACtC,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE;QACrE,GAAG,EAAE;YACH,QAAQ,EAAE,IAAI,GAAG,CAAC;gBAChB,CAAC,GAAG,EAAE,CAAC,CAAC;gBACR,CAAC,GAAG,EAAE,CAAC,CAAC;aACT,CAAC;SACH;QACD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACpG;IACD;QACE,WAAW,EAAE,iCAAiC;QAC9C,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACnE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;QACvC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACvG;IACD;QACE,WAAW,EAAE,iDAAiD;QAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE;QACvE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;QACxC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACxG;IACD;QACE,WAAW,EAAE,iDAAiD;QAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE;QACxE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;QACxC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACtG;IACD;QACE,WAAW,EAAE,mDAAmD;QAChE,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE;QACxE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE;QACzC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACvG;IACD;QACE,WAAW,EAAE,sDAAsD;QACnE,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE;QAC3E,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE;QAC7C,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACxG;IACD;QACE,WAAW,EAAE,2CAA2C;QACxD,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;QAC5F,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;QACvC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACnG;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAiB;IAChD,QAAQ,EAAE,eAAe;IACzB,aAAa,EAAE,yBAAyB;IACxC,OAAO,EAAE,mBAAmB;IAC5B,UAAU,EAAE,sBAAsB;IAClC,iBAAiB,EAAE,EAAE;IACrB,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,IAAI,UAAU,GAAG,KAAK,CAAC;AAEvB,MAAM,UAAU,4BAA4B;IAC1C,IAAI,UAAU;QAAE,OAAO;IACvB,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;IACvC,UAAU,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,iCAAiC;IAC/C,UAAU,GAAG,KAAK,CAAC;AACrB,CAAC"}
|
|
1
|
+
{"version":3,"file":"expression-v1.js","sourceRoot":"","sources":["../../../src/ir/semantics/expression-v1.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,EAGb,gBAAgB,GAEjB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,8BAA8B,EAC9B,2BAA2B,EAC3B,wBAAwB,EACxB,0BAA0B,EAC1B,wBAAwB,EACxB,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,sBAAsB,EACtB,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,4BAA4B,EAC5B,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,wBAAwB,EACxB,qBAAqB,EACrB,8BAA8B,EAC9B,gBAAgB,GACjB,MAAM,sBAAsB,CAAC;AAQ9B,SAAS,mBAAmB,CAAC,EAAU;IACrC,OAAO,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAsB,CAAC;AAC/C,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa;IACtC,OAAO,CACL,OAAO,IAAI,KAAK,QAAQ;QACxB,IAAI,KAAK,IAAI;QACZ,IAA6B,CAAC,MAAM,KAAK,IAAI;QAC9C,OAAQ,IAA2B,CAAC,IAAI,KAAK,QAAQ,CACtD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC1D,IAAI,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC9C,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED;;;;;sDAKsD;AACtD,SAAS,qBAAqB,CAAC,MAA0C,EAAE,GAAgB;IACzF,OAAO,wBAAwB,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;AACzE,CAAC;AAED,8EAA8E;AAC9E,kFAAkF;AAClF,mFAAmF;AACnF,+EAA+E;AAC/E,gFAAgF;AAChF,2EAA2E;AAC3E,iFAAiF;AACjF,SAAS,uBAAuB,CAAC,MAA0C,EAAE,GAAgB;IAC3F,OAAO,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,wBAAwB,CAAC,MAA0C,EAAE,GAAgB;IAC5F,OAAO,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACtE,CAAC;AAED,qFAAqF;AACrF,kFAAkF;AAClF,qFAAqF;AACrF,mFAAmF;AACnF,SAAS,8BAA8B,CAAC,MAA0C,EAAE,GAAgB;IAClG,OAAO,4BAA4B,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,2BAA2B,CAAC,MAA0C,EAAE,GAAgB;IAC/F,OAAO,yBAAyB,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACzE,CAAC;AAED,kFAAkF;AAClF,sFAAsF;AACtF,sFAAsF;AACtF,kFAAkF;AAClF,kFAAkF;AAClF,SAAS,wBAAwB,CAAC,MAA0C,EAAE,GAAgB;IAC5F,OAAO,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,0BAA0B,CAAC,MAA0C,EAAE,GAAgB;IAC9F,OAAO,wBAAwB,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,yBAAyB,CAAC,EAAU,EAAE,GAAgB;IAC7D,MAAM,KAAK,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACtC,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9F,IAAI,CAAC;QACH,8EAA8E;QAC9E,8EAA8E;QAC9E,8DAA8D;QAC9D,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACrC,6EAA6E;QAC7E,0EAA0E;QAC1E,0EAA0E;QAC1E,6EAA6E;QAC7E,6EAA6E;QAC7E,2EAA2E;QAC3E,0DAA0D;QAC1D,IAAI,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC;gBACH,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACnC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,8BAA8B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACvD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC;gBACH,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACrC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC;gBACH,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACtC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,8BAA8B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC;gBACH,8BAA8B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC5C,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC;gBACH,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACzC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC;gBACH,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACtC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,0BAA0B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC;gBACH,0BAA0B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,4BAA4B,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,yEAAyE;QACzE,0EAA0E;QAC1E,6EAA6E;QAC7E,4CAA4C;QAC5C,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,EAAU,EAAE,GAAgB;IACvD,MAAM,KAAK,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,6EAA6E;IAC7E,yEAAyE;IACzE,+EAA+E;IAC/E,qEAAqE;IACrE,iFAAiF;IACjF,yEAAyE;IACzE,4EAA4E;IAC5E,iFAAiF;IACjF,+EAA+E;IAC/E,4EAA4E;IAC5E,4EAA4E;IAC5E,iEAAiE;IACjE,8EAA8E;IAC9E,4EAA4E;IAC5E,iFAAiF;IACjF,IAAI,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC/C,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAClG,CAAC;IACD,IAAI,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,uBAAuB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACnD,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,IAAI,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACpD,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9E,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,kFAAkF;IAClF,kFAAkF;IAClF,mFAAmF;IACnF,mFAAmF;IACnF,IAAI,8BAA8B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,8BAA8B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1D,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;QAClF,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,6EAA6E;IAC7E,mEAAmE;IACnE,IAAI,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACvD,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,mFAAmF;IACnF,+EAA+E;IAC/E,mFAAmF;IACnF,0EAA0E;IAC1E,IAAI,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACpD,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,oFAAoF;IACpF,mFAAmF;IACnF,IAAI,0BAA0B,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,0BAA0B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACtD,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC7F,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC7C,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAChC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;AAC7F,CAAC;AAED,SAAS,sBAAsB;IAC7B,OAAO,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC;IACrD;QACE,WAAW,EAAE,8BAA8B;QAC3C,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAC/D,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACjG;IACD;QACE,WAAW,EAAE,8BAA8B;QAC3C,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE;QACpE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACtG;IACD;QACE,WAAW,EAAE,+BAA+B;QAC5C,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;QACjE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACnG;IACD;QACE,WAAW,EAAE,4BAA4B;QACzC,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;QAClE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACpG;IACD;QACE,WAAW,EAAE,yBAAyB;QACtC,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE;QACrE,GAAG,EAAE;YACH,QAAQ,EAAE,IAAI,GAAG,CAAC;gBAChB,CAAC,GAAG,EAAE,CAAC,CAAC;gBACR,CAAC,GAAG,EAAE,CAAC,CAAC;aACT,CAAC;SACH;QACD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACpG;IACD;QACE,WAAW,EAAE,iCAAiC;QAC9C,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACnE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;QACvC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACvG;IACD;QACE,WAAW,EAAE,iDAAiD;QAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE;QACvE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;QACxC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACxG;IACD;QACE,WAAW,EAAE,iDAAiD;QAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE;QACxE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;QACxC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACtG;IACD;QACE,WAAW,EAAE,mDAAmD;QAChE,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE;QACxE,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE;QACzC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACvG;IACD;QACE,WAAW,EAAE,sDAAsD;QACnE,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE;QAC3E,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE;QAC7C,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACxG;IACD;QACE,WAAW,EAAE,2CAA2C;QACxD,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;QAC5F,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;QACvC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACnG;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAiB;IAChD,QAAQ,EAAE,eAAe;IACzB,aAAa,EAAE,yBAAyB;IACxC,OAAO,EAAE,mBAAmB;IAC5B,UAAU,EAAE,sBAAsB;IAClC,iBAAiB,EAAE,EAAE;IACrB,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,IAAI,UAAU,GAAG,KAAK,CAAC;AAEvB,MAAM,UAAU,4BAA4B;IAC1C,IAAI,UAAU;QAAE,OAAO;IACvB,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;IACvC,UAAU,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,iCAAiC;IAC/C,UAAU,GAAG,KAAK,CAAC;AACrB,CAAC"}
|
package/dist/ir/semantics/fmt.js
CHANGED
|
@@ -27,7 +27,7 @@
|
|
|
27
27
|
* position form (no observable binding to compare).
|
|
28
28
|
*/
|
|
29
29
|
import { parseExpression } from '../../parser-expression.js';
|
|
30
|
-
import { registerContract } from './index.js';
|
|
30
|
+
import { defineBinding, hasOwnBinding, registerContract, } from './index.js';
|
|
31
31
|
import { evalPortableValue, isPortableBindingName } from './portable-scalar.js';
|
|
32
32
|
function asFmtProps(ir) {
|
|
33
33
|
return (ir.props ?? {});
|
|
@@ -65,7 +65,7 @@ function fmtResult(ir, env) {
|
|
|
65
65
|
}
|
|
66
66
|
if (!isPortableBindingName(props.name))
|
|
67
67
|
throw new Error('fmt: name must be a simple portable identifier');
|
|
68
|
-
if (env
|
|
68
|
+
if (hasOwnBinding(env, props.name))
|
|
69
69
|
throw new Error(`fmt: "${props.name}" is already bound (redeclaration)`);
|
|
70
70
|
if (typeof props.template !== 'string')
|
|
71
71
|
throw new Error('fmt: template is required');
|
|
@@ -94,7 +94,7 @@ function fmtPreconditions(ir, env) {
|
|
|
94
94
|
}
|
|
95
95
|
function fmtEffects(ir, env) {
|
|
96
96
|
const { name, value } = fmtResult(ir, env);
|
|
97
|
-
env
|
|
97
|
+
defineBinding(env, name, value);
|
|
98
98
|
return { events: [{ op: 'assign', target: name, value }], completion: { kind: 'normal' } };
|
|
99
99
|
}
|
|
100
100
|
function fmtCompletion(ir, env) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fmt.js","sourceRoot":"","sources":["../../../src/ir/semantics/fmt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAG7D,OAAO,
|
|
1
|
+
{"version":3,"file":"fmt.js","sourceRoot":"","sources":["../../../src/ir/semantics/fmt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAG7D,OAAO,EACL,aAAa,EACb,aAAa,EAGb,gBAAgB,GAEjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAuB,MAAM,sBAAsB,CAAC;AASrG,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAa,CAAC;AACtC,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,KAAqB;IACzC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IACzG,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,QAAgB;IACrC,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IAClG,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,SAAS,CAAC,EAAU,EAAE,GAAgB;IAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;IAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IAC1G,IAAI,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,CAAC,IAAI,oCAAoC,CAAC,CAAC;IAC7G,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACrF,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC9D,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,qEAAqE;QACrE,wEAAwE;QACxE,0EAA0E;QAC1E,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACjG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM;YAAE,GAAG,IAAI,YAAY,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAU,EAAE,GAAgB;IACpD,IAAI,CAAC;QACH,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,EAAU,EAAE,GAAgB;IAC9C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3C,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAChC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;AAC7F,CAAC;AAED,SAAS,aAAa,CAAC,EAAU,EAAE,GAAgB;IACjD,OAAO,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC;AACxC,CAAC;AAED,MAAM,kBAAkB,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC1D,+EAA+E;IAC/E,4CAA4C;IAC5C,2DAA2D;IAC3D,6CAA6C;IAC7C,2DAA2D;CAC5D,CAAC,CAAC;AAEH,SAAS,UAAU,CACjB,WAAmB,EACnB,EAAU,EACV,aAAqB,EACrB,QAA+B;IAE/B,MAAM,IAAI,GAAI,EAAE,CAAC,KAAkB,CAAC,IAAc,CAAC;IACnD,OAAO;QACL,WAAW;QACX,EAAE;QACF,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS;QACxC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KAC7G,CAAC;AACJ,CAAC;AAED,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC;IACrD,UAAU,CACR,+CAA+C,EAC/C,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,EAC/D,SAAS,EACT,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CACpB;IACD,UAAU,CACR,oCAAoC,EACpC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,EAC9D,QAAQ,EACR,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAC1B;IACD,UAAU,CACR,2CAA2C,EAC3C,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,EAC9D,WAAW,EACX,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CACvB;IACD,UAAU,CACR,6CAA6C,EAC7C,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,EAC9D,YAAY,EACZ,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CACxB;IACD,UAAU,CACR,mCAAmC,EACnC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAC7D,UAAU,EACV,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CACvB;IACD,UAAU,CACR,2DAA2D,EAC3D,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,EAAE,EACrE,SAAS,EACT,IAAI,GAAG,CAAC;QACN,CAAC,GAAG,EAAE,CAAC,CAAC;QACR,CAAC,OAAO,EAAE,EAAE,CAAC;KACd,CAAC,CACH;IACD,UAAU,CACR,2DAA2D,EAC3D,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAC1D,OAAO,CACR;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,WAAW,GAAiB;IACvC,QAAQ,EAAE,KAAK;IACf,aAAa,EAAE,gBAAgB;IAC/B,OAAO,EAAE,UAAU;IACnB,UAAU,EAAE,aAAa;IACzB,iBAAiB,EAAE,kBAAkB;IACrC,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,IAAI,UAAU,GAAG,KAAK,CAAC;AAEvB,mFAAmF;AACnF,MAAM,UAAU,mBAAmB;IACjC,IAAI,UAAU;QAAE,OAAO;IACvB,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC9B,UAAU,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,wBAAwB;IACtC,UAAU,GAAG,KAAK,CAAC;AACrB,CAAC"}
|
package/dist/ir/semantics/for.js
CHANGED
|
@@ -9,7 +9,7 @@
|
|
|
9
9
|
* body-side writes cannot perturb the next index.
|
|
10
10
|
*/
|
|
11
11
|
import { parseExpression } from '../../parser-expression.js';
|
|
12
|
-
import { registerContract } from './index.js';
|
|
12
|
+
import { childEnv, defineBinding, getBinding, hasBinding, registerContract, } from './index.js';
|
|
13
13
|
import { referenceRunSequence } from './reference-runner.js';
|
|
14
14
|
import { emptyTrace } from './trace.js';
|
|
15
15
|
function asForProps(ir) {
|
|
@@ -39,9 +39,9 @@ function evalValue(expr, env) {
|
|
|
39
39
|
case 'numLit':
|
|
40
40
|
return expr.value;
|
|
41
41
|
case 'ident': {
|
|
42
|
-
if (!env
|
|
42
|
+
if (!hasBinding(env, expr.name))
|
|
43
43
|
throw new Error(`for: binding "${expr.name}" not found in env`);
|
|
44
|
-
return env
|
|
44
|
+
return getBinding(env, expr.name);
|
|
45
45
|
}
|
|
46
46
|
case 'index': {
|
|
47
47
|
const target = evalValue(expr.object, env);
|
|
@@ -79,13 +79,17 @@ function forEffects(ir, env) {
|
|
|
79
79
|
const children = ir.children ?? [];
|
|
80
80
|
for (let i = from; step > 0 ? i < to : i > to; i += step) {
|
|
81
81
|
out.events.push({ op: 'iter-next', binding: name, value: i });
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
|
|
82
|
+
// Each iteration runs in a FRESH CHILD scope. The loop variable and any inner
|
|
83
|
+
// `let` declared in the body live only in this child — so they are fresh per
|
|
84
|
+
// iteration and do not leak after the loop (a post-loop read fails closed,
|
|
85
|
+
// matching TS block-scoping; Python would leak it, so it is non-portable).
|
|
86
|
+
// An `assign` to an OUTER binding writes THROUGH to its declaring scope, so
|
|
87
|
+
// mutable accumulators persist across iterations — byte-identical to the
|
|
88
|
+
// emitted TS/Python loops. (Previously this forked `new Map(env.bindings)`,
|
|
89
|
+
// discarding outer mutations: a `sum += i` accumulator returned 0, not 15.)
|
|
90
|
+
const iterEnv = childEnv(env);
|
|
91
|
+
defineBinding(iterEnv, name, i);
|
|
92
|
+
const childTrace = referenceRunSequence(children, iterEnv);
|
|
89
93
|
out.events.push(...childTrace.events);
|
|
90
94
|
const c = childTrace.completion;
|
|
91
95
|
if (c.kind === 'break')
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"for.js","sourceRoot":"","sources":["../../../src/ir/semantics/for.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAG7D,OAAO,
|
|
1
|
+
{"version":3,"file":"for.js","sourceRoot":"","sources":["../../../src/ir/semantics/for.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAG7D,OAAO,EACL,QAAQ,EACR,aAAa,EACb,UAAU,EACV,UAAU,EAGV,gBAAgB,GAEjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAc,MAAM,YAAY,CAAC;AASpD,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAa,CAAC;AACtC,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAU,EAAE,IAAiB;IACrD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;IACzB,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACzF,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACpD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAoB,EAAE,GAAgB,EAAE,QAAgC;IACjG,MAAM,KAAK,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3F,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,OAAO,QAAQ,8CAA8C,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,IAAa,EAAE,GAAgB;IAChD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,IAAI,oBAAoB,CAAC,CAAC;YACjG,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACzC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7E,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;gBACrG,OAAQ,MAAkC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5D,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACtE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,EAAE,6BAA6B,CAAC,CAAC;YACnG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;gBAAE,OAAO,CAAC,KAAK,CAAC;YACnC,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;gBAAE,OAAO,KAAK,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,mCAAmC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAChE,CAAC;QACD;YACE,MAAM,IAAI,KAAK,CAAC,0CAA0C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,EAAU,EAAE,GAAgB;IAC9C,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAc,CAAC;IAC9B,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAuB,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAAqB,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,IAAwB,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACrH,IAAI,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IAEnE,MAAM,GAAG,GAAU,UAAU,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;IAEnC,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;QACzD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAE9D,8EAA8E;QAC9E,6EAA6E;QAC7E,2EAA2E;QAC3E,2EAA2E;QAC3E,4EAA4E;QAC5E,yEAAyE;QACzE,4EAA4E;QAC5E,4EAA4E;QAC5E,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC9B,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAEhC,MAAM,UAAU,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEtC,MAAM,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9C,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC;YACnB,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,EAAU,EAAE,GAAgB;IACjD,OAAO,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC;AACxC,CAAC;AAED,MAAM,kBAAkB,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC1D,2CAA2C;IAC3C,wBAAwB;IACxB,sDAAsD;IACtD,kEAAkE;IAClE,wBAAwB;CACzB,CAAC,CAAC;AAEH,SAAS,QAAQ,CAAC,OAAe,EAAE,KAAc;IAC/C,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,GAAG,CAAC,IAAY;IACvB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACvE,CAAC;AAED,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC;IACrD;QACE,WAAW,EAAE,kDAAkD;QAC/D,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE;QACtF,QAAQ,EAAE;YACR,MAAM,EAAE;gBACN,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;aAC/B;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,mDAAmD;QAChE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE;QACnG,QAAQ,EAAE;YACR,MAAM,EAAE;gBACN,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;aAC/B;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,iDAAiD;QAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE;QACjG,QAAQ,EAAE;YACR,MAAM,EAAE;gBACN,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;aAC/B;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,8CAA8C;QAC3D,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE;QAC3F,QAAQ,EAAE,UAAU,EAAE;KACvB;IACD;QACE,WAAW,EAAE,sEAAsE;QACnF,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE;QACvG,QAAQ,EAAE,UAAU,EAAE;KACvB;IACD;QACE,WAAW,EAAE,2DAA2D;QACxE,EAAE,EAAE;YACF,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,WAAW,EAAE;YAChD,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;SACvF;QACD,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QAC7C,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC9D,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,WAAW,EAAE,mDAAmD;QAChE,EAAE,EAAE;YACF,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE;YACxC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;SACvE;QACD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KAC3F;IACD;QACE,WAAW,EAAE,+DAA+D;QAC5E,EAAE,EAAE;YACF,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE;YACxC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;SACnD;QACD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KAC7G;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,WAAW,GAAiB;IACvC,QAAQ,EAAE,KAAK;IACf,aAAa,EAAE,gBAAgB;IAC/B,OAAO,EAAE,UAAU;IACnB,UAAU,EAAE,aAAa;IACzB,iBAAiB,EAAE,kBAAkB;IACrC,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,IAAI,UAAU,GAAG,KAAK,CAAC;AAEvB,MAAM,UAAU,mBAAmB;IACjC,IAAI,UAAU;QAAE,OAAO;IACvB,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC9B,UAAU,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,UAAU,GAAG,KAAK,CAAC;AACrB,CAAC"}
|
package/dist/ir/semantics/if.js
CHANGED
|
@@ -17,7 +17,9 @@
|
|
|
17
17
|
* undefined/None. Arrays and objects are rejected because JS and Python
|
|
18
18
|
* disagree on empty container truthiness.
|
|
19
19
|
*/
|
|
20
|
-
import {
|
|
20
|
+
import { parseExpression } from '../../parser-expression.js';
|
|
21
|
+
import { getBinding, hasBinding, registerContract, } from './index.js';
|
|
22
|
+
import { evalPortableValue } from './portable-scalar.js';
|
|
21
23
|
import { referenceRunSequence } from './reference-runner.js';
|
|
22
24
|
import { emptyTrace } from './trace.js';
|
|
23
25
|
function asIfProps(ir) {
|
|
@@ -72,14 +74,20 @@ function conditionValue(cond, env) {
|
|
|
72
74
|
return parseStringLiteral(trimmed);
|
|
73
75
|
}
|
|
74
76
|
if (/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(trimmed)) {
|
|
75
|
-
if (!env
|
|
77
|
+
if (!hasBinding(env, trimmed)) {
|
|
76
78
|
throw new Error(`if: binding "${trimmed}" not found in env`);
|
|
77
79
|
}
|
|
78
|
-
return env
|
|
80
|
+
return getBinding(env, trimmed);
|
|
79
81
|
}
|
|
80
82
|
if (trimmed.startsWith('!'))
|
|
81
83
|
return !portableTruthy(conditionValue(trimmed.slice(1), env));
|
|
82
|
-
|
|
84
|
+
// Full expression condition (comparisons, boolean composition, member reads):
|
|
85
|
+
// evaluate through the portable expression evaluator — the same one `while` and
|
|
86
|
+
// `let`/`assign` use — so `if cond="x > 3"` no longer abstains. `portableTruthy`
|
|
87
|
+
// still fences the RESULT to the JS/Python-agreeing truthiness domain
|
|
88
|
+
// (bool/number/string), abstaining on divergent values (arrays/objects), so a
|
|
89
|
+
// non-portable condition fails closed rather than picking one host's answer.
|
|
90
|
+
return evalPortableValue(parseExpression(trimmed), env);
|
|
83
91
|
}
|
|
84
92
|
function parseStringLiteral(text) {
|
|
85
93
|
if (text.startsWith('"'))
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"if.js","sourceRoot":"","sources":["../../../src/ir/semantics/if.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;
|
|
1
|
+
{"version":3,"file":"if.js","sourceRoot":"","sources":["../../../src/ir/semantics/if.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D,OAAO,EACL,UAAU,EACV,UAAU,EAGV,gBAAgB,GAEjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAc,MAAM,YAAY,CAAC;AAOpD,SAAS,SAAS,CAAC,EAAU;IAC3B,OAAO,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAY,CAAC;AACrC,CAAC;AAED,SAAS,eAAe,CAAC,EAAU,EAAE,GAAgB;IACnD,OAAO,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,cAAc,CAAC,EAAU,EAAE,GAAgB;IAClD,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IACxB,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3E,IAAI,CAAC;QACH,cAAc,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACzF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAU,EAAE,GAAgB;IACpD,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;IACnC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAChG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtF,MAAM,QAAQ,GAAW;YACvB,GAAG,QAAQ,CAAC,CAAC,CAAC;YACd,KAAK,EAAE;gBACL,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC5B,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC;aAC1B;SACF,CAAC;QACF,OAAO,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,GAAgB;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC1D,IAAI,OAAO,KAAK,OAAO,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,WAAW,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACrF,IAAI,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;IACzE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7G,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,gBAAgB,OAAO,oBAAoB,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,cAAc,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3F,8EAA8E;IAC9E,gFAAgF;IAChF,iFAAiF;IACjF,sEAAsE;IACtE,8EAA8E;IAC9E,6EAA6E;IAC7E,OAAO,iBAAiB,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAW,CAAC;IAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACpF,OAAO,KAAK,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACvD,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,SAAS,CAAC,EAAU,EAAE,GAAgB;IAC7C,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAc,CAAC;IAC9B,IAAI,cAAc,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9C,OAAO,oBAAoB,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,CAAC,YAAY,CAAC;IAChC,IAAI,QAAQ;QAAE,OAAO,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC;IACxE,OAAO,UAAU,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,YAAY,CAAC,EAAU,EAAE,GAAgB;IAChD,OAAO,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC;AACvC,CAAC;AAED,MAAM,kBAAkB,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC1D,iCAAiC;IACjC,mEAAmE;IACnE,sDAAsD;IACtD,uEAAuE;IACvE,0FAA0F;CAC3F,CAAC,CAAC;AAEH,SAAS,GAAG,CAAC,IAAY;IACvB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,KAAK,CAAC,QAAkB,EAAE,QAAmC;IACpE,OAAO;QACL,WAAW,EAAE,EAAE;QACf,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE;QACjC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;QAC3D,QAAQ,EAAE,UAAU,EAAE;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC;IACrD;QACE,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9F,WAAW,EAAE,4CAA4C;QACzD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACvF;IACD;QACE,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QAC/F,WAAW,EAAE,kDAAkD;QAC/D,QAAQ,EAAE,UAAU,EAAE;KACvB;IACD;QACE,GAAG,KAAK,CACN;YACE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE;YAChE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE;SAC1C,EACD,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAClB;QACD,WAAW,EAAE,gDAAgD;QAC7D,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACvF;IACD;QACE,GAAG,KAAK,CACN;YACE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE;YAC1D;gBACE,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE;oBAC1D,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE;iBAC9C;aACF;SACF,EACD;YACE,CAAC,GAAG,EAAE,KAAK,CAAC;YACZ,CAAC,GAAG,EAAE,IAAI,CAAC;SACZ,CACF;QACD,WAAW,EAAE,yEAAyE;QACtF,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KACpF;IACD;QACE,GAAG,KAAK,CACN;YACE;gBACE,IAAI,EAAE,IAAI;gBACV,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;gBACxB,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE;oBACvE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE;iBAChD;aACF;YACD,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE;SAChD,EACD;YACE,CAAC,OAAO,EAAE,IAAI,CAAC;YACf,CAAC,OAAO,EAAE,KAAK,CAAC;SACjB,CACF;QACD,WAAW,EAAE,4EAA4E;QACzF,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;KAC7F;IACD;QACE,GAAG,KAAK,CACN;YACE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE;YAChE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE;YAClE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE;YAC9D,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE;YACtE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE;YACtE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE;SACjE,EACD;YACE,CAAC,MAAM,EAAE,CAAC,CAAC;YACX,CAAC,OAAO,EAAE,EAAE,CAAC;YACb,CAAC,KAAK,EAAE,IAAI,CAAC;YACb,CAAC,SAAS,EAAE,SAAS,CAAC;YACtB,CAAC,SAAS,EAAE,CAAC,CAAC;YACd,CAAC,MAAM,EAAE,GAAG,CAAC;SACd,CACF;QACD,WAAW,EAAE,4EAA4E;QACzF,QAAQ,EAAE;YACR,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;gBACjC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;aAC/B;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD;QACE,GAAG,KAAK,CACN;YACE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;YAC7F,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE;SAC/C,EACD,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CACjB;QACD,WAAW,EAAE,iEAAiE;QAC9E,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;KACpE;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,UAAU,GAAiB;IACtC,QAAQ,EAAE,IAAI;IACd,aAAa,EAAE,eAAe;IAC9B,OAAO,EAAE,SAAS;IAClB,UAAU,EAAE,YAAY;IACxB,iBAAiB,EAAE,kBAAkB;IACrC,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,IAAI,UAAU,GAAG,KAAK,CAAC;AAEvB,mFAAmF;AACnF,MAAM,UAAU,kBAAkB;IAChC,IAAI,UAAU;QAAE,OAAO;IACvB,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC7B,UAAU,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,uBAAuB;IACrC,UAAU,GAAG,KAAK,CAAC;AACrB,CAAC"}
|
|
@@ -26,6 +26,17 @@ import type { CompletionRecord, Trace } from './trace.js';
|
|
|
26
26
|
*/
|
|
27
27
|
export interface SemanticEnv {
|
|
28
28
|
bindings: Map<string, unknown>;
|
|
29
|
+
/**
|
|
30
|
+
* Enclosing lexical scope, if any. A `let` binds in THIS scope's `bindings`;
|
|
31
|
+
* reads and `assign` walk up `parent` to the declaring scope (write-through).
|
|
32
|
+
* A block that introduces fresh bindings (a loop-body iteration, a lambda
|
|
33
|
+
* call) runs in a child scope (see [[childEnv]]) so its inner `let`s are
|
|
34
|
+
* discarded when the scope ends, while mutations to OUTER bindings persist.
|
|
35
|
+
* Undefined on a root scope. NOTE: every contract MUST access bindings through
|
|
36
|
+
* the [[lookupBinding]] / [[hasBinding]] / [[defineBinding]] / [[assignBinding]]
|
|
37
|
+
* helpers, never `env.bindings.get/set/has` directly, or chain semantics break.
|
|
38
|
+
*/
|
|
39
|
+
parent?: SemanticEnv;
|
|
29
40
|
seed: number;
|
|
30
41
|
now: number;
|
|
31
42
|
}
|
|
@@ -39,6 +50,30 @@ export interface SemanticEnv {
|
|
|
39
50
|
* explicitly.
|
|
40
51
|
*/
|
|
41
52
|
export declare function makeEnv(overrides?: Partial<SemanticEnv>): SemanticEnv;
|
|
53
|
+
/**
|
|
54
|
+
* Open a child scope nested under `parent`. `let` binds in the child; reads and
|
|
55
|
+
* `assign` fall through to `parent`. Used for lexically-scoped blocks (a loop
|
|
56
|
+
* body iteration, a lambda call) so inner declarations are fresh per scope and
|
|
57
|
+
* mutations to outer bindings write through to where they were declared.
|
|
58
|
+
*/
|
|
59
|
+
export declare function childEnv(parent: SemanticEnv): SemanticEnv;
|
|
60
|
+
/** True if `name` is bound anywhere in the scope chain. */
|
|
61
|
+
export declare function hasBinding(env: SemanticEnv, name: string): boolean;
|
|
62
|
+
/** True if `name` is bound in the INNERMOST scope only (for `let`-redeclaration checks). */
|
|
63
|
+
export declare function hasOwnBinding(env: SemanticEnv, name: string): boolean;
|
|
64
|
+
/** Read `name` walking the chain; returns `undefined` if unbound (pair with a prior has-check). */
|
|
65
|
+
export declare function getBinding(env: SemanticEnv, name: string): unknown;
|
|
66
|
+
/** Declare `name` in the INNERMOST scope (`let`). Overwrites a same-scope binding. */
|
|
67
|
+
export declare function defineBinding(env: SemanticEnv, name: string, value: unknown): void;
|
|
68
|
+
/**
|
|
69
|
+
* Write `name` in its declaring scope (write-through, `assign`). If `name` is not
|
|
70
|
+
* declared anywhere in the chain, writes in the innermost scope — callers that
|
|
71
|
+
* require an existing binding must check [[hasBinding]] first (the `assign`
|
|
72
|
+
* contract does).
|
|
73
|
+
*/
|
|
74
|
+
export declare function assignBinding(env: SemanticEnv, name: string, value: unknown): void;
|
|
75
|
+
/** Delete `name` from the INNERMOST scope only (scope teardown). */
|
|
76
|
+
export declare function deleteOwnBinding(env: SemanticEnv, name: string): void;
|
|
42
77
|
/**
|
|
43
78
|
* A fixture is a self-contained semantic test vector. The [[harness]] feeds
|
|
44
79
|
* `ir` to the reference runner, the TS emitter, and the Python emitter, then
|
|
@@ -84,7 +119,6 @@ export declare const CONTRACT_REGISTRY: Map<string, NodeContract>;
|
|
|
84
119
|
/** Register a contract. Idempotent: re-registering with the same nodeType throws. */
|
|
85
120
|
export declare function registerContract(contract: NodeContract): void;
|
|
86
121
|
export { type ContractDoc, type FixtureSample, type RegistryDoc, serializeJson, serializeMarkdown, snapshotRegistry, } from './doc-generator.js';
|
|
87
|
-
export { type DifferentialResult, runAllContracts, runDifferential, type Verdict } from './harness.js';
|
|
88
122
|
export { ReferenceRunnerError, referenceRun, referenceRunSequence } from './reference-runner.js';
|
|
89
123
|
export { registerAllContracts } from './register-all.js';
|
|
90
124
|
export type { CanonicalError, CompletionKind, CompletionRecord, Trace, TraceEvent, } from './trace.js';
|