@aster-cloud/aster-lang-ts 1.6.0 → 3.0.0
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/CHANGELOG.md +64 -0
- package/dist/scripts/aster.js +5 -12
- package/dist/scripts/aster.js.map +1 -1
- package/dist/scripts/emit-classfiles.js +3 -1
- package/dist/scripts/emit-classfiles.js.map +1 -1
- package/dist/scripts/generate-core-ir-types.d.ts +16 -0
- package/dist/scripts/generate-core-ir-types.d.ts.map +1 -0
- package/dist/scripts/generate-core-ir-types.js +116 -0
- package/dist/scripts/generate-core-ir-types.js.map +1 -0
- package/dist/scripts/generate-naming-rules.d.ts +5 -0
- package/dist/scripts/generate-naming-rules.d.ts.map +1 -0
- package/dist/scripts/generate-naming-rules.js +35 -0
- package/dist/scripts/generate-naming-rules.js.map +1 -0
- package/dist/scripts/golden.js +1 -1
- package/dist/scripts/golden.js.map +1 -1
- package/dist/src/ast/ast_visitor.d.ts +27 -27
- package/dist/src/ast/ast_visitor.d.ts.map +1 -1
- package/dist/src/ast/ast_visitor.js.map +1 -1
- package/dist/src/browser/schema.d.ts.map +1 -1
- package/dist/src/browser/schema.js +1 -3
- package/dist/src/browser/schema.js.map +1 -1
- package/dist/src/browser.d.ts +7 -0
- package/dist/src/browser.d.ts.map +1 -1
- package/dist/src/browser.js +7 -4
- package/dist/src/browser.js.map +1 -1
- package/dist/src/cli/policy-converter.js +6 -10
- package/dist/src/cli/policy-converter.js.map +1 -1
- package/dist/src/cli/utils/core-ir-file.d.ts +8 -0
- package/dist/src/cli/utils/core-ir-file.d.ts.map +1 -0
- package/dist/src/cli/utils/core-ir-file.js +29 -0
- package/dist/src/cli/utils/core-ir-file.js.map +1 -0
- package/dist/src/cnl-printer.d.ts.map +1 -1
- package/dist/src/cnl-printer.js +13 -3
- package/dist/src/cnl-printer.js.map +1 -1
- package/dist/src/compile-pipeline.d.ts.map +1 -1
- package/dist/src/compile-pipeline.js +2 -3
- package/dist/src/compile-pipeline.js.map +1 -1
- package/dist/src/config/lexicons/diagnostic-overlays.generated.d.ts.map +1 -1
- package/dist/src/config/lexicons/diagnostic-overlays.generated.js +18 -6
- package/dist/src/config/lexicons/diagnostic-overlays.generated.js.map +1 -1
- package/dist/src/config/lexicons/fallback-lexicon.d.ts +1 -1
- package/dist/src/config/lexicons/fallback-lexicon.d.ts.map +1 -1
- package/dist/src/config/lexicons/fallback-lexicon.js +1 -4
- package/dist/src/config/lexicons/fallback-lexicon.js.map +1 -1
- package/dist/src/config/lexicons/overlay-loader.d.ts +0 -13
- package/dist/src/config/lexicons/overlay-loader.d.ts.map +1 -1
- package/dist/src/config/lexicons/overlay-loader.js +0 -18
- package/dist/src/config/lexicons/overlay-loader.js.map +1 -1
- package/dist/src/config/lexicons/types.d.ts +0 -3
- package/dist/src/config/lexicons/types.d.ts.map +1 -1
- package/dist/src/config/lexicons/types.js.map +1 -1
- package/dist/src/core/canonical-decimal.d.ts +3 -0
- package/dist/src/core/canonical-decimal.d.ts.map +1 -0
- package/dist/src/core/canonical-decimal.js +19 -0
- package/dist/src/core/canonical-decimal.js.map +1 -0
- package/dist/src/core/canonical-json.d.ts +59 -0
- package/dist/src/core/canonical-json.d.ts.map +1 -0
- package/dist/src/core/canonical-json.js +250 -0
- package/dist/src/core/canonical-json.js.map +1 -0
- package/dist/src/core/core-ir-v2.generated.d.ts +807 -0
- package/dist/src/core/core-ir-v2.generated.d.ts.map +1 -0
- package/dist/src/core/core-ir-v2.generated.js +6 -0
- package/dist/src/core/core-ir-v2.generated.js.map +1 -0
- package/dist/src/core/core-ir-v2.schema.generated.d.ts +6 -0
- package/dist/src/core/core-ir-v2.schema.generated.d.ts.map +1 -0
- package/dist/src/core/core-ir-v2.schema.generated.js +2636 -0
- package/dist/src/core/core-ir-v2.schema.generated.js.map +1 -0
- package/dist/src/core/core_ir.d.ts +27 -11
- package/dist/src/core/core_ir.d.ts.map +1 -1
- package/dist/src/core/core_ir.js +118 -63
- package/dist/src/core/core_ir.js.map +1 -1
- package/dist/src/core/index.d.ts +4 -3
- package/dist/src/core/index.d.ts.map +1 -1
- package/dist/src/core/index.js +3 -2
- package/dist/src/core/index.js.map +1 -1
- package/dist/src/core/inferred_fields.d.ts +9 -11
- package/dist/src/core/inferred_fields.d.ts.map +1 -1
- package/dist/src/core/inferred_fields.js +7 -28
- package/dist/src/core/inferred_fields.js.map +1 -1
- package/dist/src/core/interpreter.js +16 -35
- package/dist/src/core/interpreter.js.map +1 -1
- package/dist/src/core/lambda-captures.d.ts +14 -0
- package/dist/src/core/lambda-captures.d.ts.map +1 -0
- package/dist/src/core/lambda-captures.js +128 -0
- package/dist/src/core/lambda-captures.js.map +1 -0
- package/dist/src/core/pretty_core.d.ts.map +1 -1
- package/dist/src/core/pretty_core.js +6 -10
- package/dist/src/core/pretty_core.js.map +1 -1
- package/dist/src/core/read-core-ir.d.ts +15 -0
- package/dist/src/core/read-core-ir.d.ts.map +1 -0
- package/dist/src/core/read-core-ir.js +69 -0
- package/dist/src/core/read-core-ir.js.map +1 -0
- package/dist/src/core/resolution-mark.d.ts +3 -4
- package/dist/src/core/resolution-mark.d.ts.map +1 -1
- package/dist/src/core/resolution-mark.js +2 -3
- package/dist/src/core/resolution-mark.js.map +1 -1
- package/dist/src/core/resolve-typed-references.d.ts.map +1 -1
- package/dist/src/core/resolve-typed-references.js +11 -27
- package/dist/src/core/resolve-typed-references.js.map +1 -1
- package/dist/src/core/serialize-core-ir.d.ts +13 -0
- package/dist/src/core/serialize-core-ir.d.ts.map +1 -0
- package/dist/src/core/serialize-core-ir.js +125 -0
- package/dist/src/core/serialize-core-ir.js.map +1 -0
- package/dist/src/core/visitor.d.ts.map +1 -1
- package/dist/src/core/visitor.js +4 -1
- package/dist/src/core/visitor.js.map +1 -1
- package/dist/src/diagnostics/error_codes.d.ts +2 -0
- package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
- package/dist/src/diagnostics/error_codes.js +16 -0
- package/dist/src/diagnostics/error_codes.js.map +1 -1
- package/dist/src/effects/declared-effects.d.ts +17 -0
- package/dist/src/effects/declared-effects.d.ts.map +1 -0
- package/dist/src/effects/declared-effects.js +27 -0
- package/dist/src/effects/declared-effects.js.map +1 -0
- package/dist/src/effects/effect_inference.d.ts.map +1 -1
- package/dist/src/effects/effect_inference.js +14 -10
- package/dist/src/effects/effect_inference.js.map +1 -1
- package/dist/src/effects/effect_inference_browser.d.ts.map +1 -1
- package/dist/src/effects/effect_inference_browser.js +14 -9
- package/dist/src/effects/effect_inference_browser.js.map +1 -1
- package/dist/src/frontend/keyword-translator.d.ts.map +1 -1
- package/dist/src/frontend/keyword-translator.js +3 -0
- package/dist/src/frontend/keyword-translator.js.map +1 -1
- package/dist/src/frontend/lexer.d.ts.map +1 -1
- package/dist/src/frontend/lexer.js +7 -3
- package/dist/src/frontend/lexer.js.map +1 -1
- package/dist/src/frontend/resolve-declarations.d.ts.map +1 -1
- package/dist/src/frontend/resolve-declarations.js +3 -23
- package/dist/src/frontend/resolve-declarations.js.map +1 -1
- package/dist/src/governance/input-refs.js +5 -8
- package/dist/src/governance/input-refs.js.map +1 -1
- package/dist/src/index.d.ts +5 -0
- package/dist/src/index.d.ts.map +1 -1
- package/dist/src/index.js +4 -0
- package/dist/src/index.js.map +1 -1
- package/dist/src/jvm/emitter.d.ts.map +1 -1
- package/dist/src/jvm/emitter.js +20 -29
- package/dist/src/jvm/emitter.js.map +1 -1
- package/dist/src/lower_to_core.d.ts +2 -19
- package/dist/src/lower_to_core.d.ts.map +1 -1
- package/dist/src/lower_to_core.js +194 -384
- package/dist/src/lower_to_core.js.map +1 -1
- package/dist/src/lsp/pii_diagnostics.d.ts.map +1 -1
- package/dist/src/lsp/pii_diagnostics.js +3 -8
- package/dist/src/lsp/pii_diagnostics.js.map +1 -1
- package/dist/src/mapping/mapping-ir.d.ts +3 -3
- package/dist/src/mapping/mapping-ir.js +3 -3
- package/dist/src/nodeid/node-id-map.d.ts +6 -15
- package/dist/src/nodeid/node-id-map.d.ts.map +1 -1
- package/dist/src/nodeid/node-id-map.js +6 -15
- package/dist/src/nodeid/node-id-map.js.map +1 -1
- package/dist/src/parser/constraint-parser.js +25 -6
- package/dist/src/parser/constraint-parser.js.map +1 -1
- package/dist/src/parser/decl-parser.d.ts.map +1 -1
- package/dist/src/parser/decl-parser.js +30 -59
- package/dist/src/parser/decl-parser.js.map +1 -1
- package/dist/src/parser/expr-stmt-parser.d.ts.map +1 -1
- package/dist/src/parser/expr-stmt-parser.js +17 -10
- package/dist/src/parser/expr-stmt-parser.js.map +1 -1
- package/dist/src/parser/field-variant-parser.d.ts.map +1 -1
- package/dist/src/parser/field-variant-parser.js +9 -3
- package/dist/src/parser/field-variant-parser.js.map +1 -1
- package/dist/src/parser/naming-rules.d.ts +19 -0
- package/dist/src/parser/naming-rules.d.ts.map +1 -0
- package/dist/src/parser/naming-rules.generated.d.ts +7 -0
- package/dist/src/parser/naming-rules.generated.d.ts.map +1 -0
- package/dist/src/parser/naming-rules.generated.js +392 -0
- package/dist/src/parser/naming-rules.generated.js.map +1 -0
- package/dist/src/parser/naming-rules.js +2 -0
- package/dist/src/parser/naming-rules.js.map +1 -0
- package/dist/src/parser/parse-issue.d.ts +2 -0
- package/dist/src/parser/parse-issue.d.ts.map +1 -1
- package/dist/src/parser/parse-issue.js +2 -0
- package/dist/src/parser/parse-issue.js.map +1 -1
- package/dist/src/parser/type-inference.d.ts +29 -70
- package/dist/src/parser/type-inference.d.ts.map +1 -1
- package/dist/src/parser/type-inference.js +82 -212
- package/dist/src/parser/type-inference.js.map +1 -1
- package/dist/src/parser/type-parser.d.ts +1 -1
- package/dist/src/parser/type-parser.d.ts.map +1 -1
- package/dist/src/parser/type-parser.js +31 -21
- package/dist/src/parser/type-parser.js.map +1 -1
- package/dist/src/parser.d.ts.map +1 -1
- package/dist/src/parser.js +2 -5
- package/dist/src/parser.js.map +1 -1
- package/dist/src/stability/stability_gate.d.ts +1 -1
- package/dist/src/stability/stability_gate.d.ts.map +1 -1
- package/dist/src/stability/stability_gate.js +2 -26
- package/dist/src/stability/stability_gate.js.map +1 -1
- package/dist/src/typecheck/async.d.ts.map +1 -1
- package/dist/src/typecheck/async.js +4 -1
- package/dist/src/typecheck/async.js.map +1 -1
- package/dist/src/typecheck/browser.d.ts.map +1 -1
- package/dist/src/typecheck/browser.js +4 -3
- package/dist/src/typecheck/browser.js.map +1 -1
- package/dist/src/typecheck/capabilities.d.ts.map +1 -1
- package/dist/src/typecheck/capabilities.js +3 -2
- package/dist/src/typecheck/capabilities.js.map +1 -1
- package/dist/src/typecheck/context.d.ts +5 -5
- package/dist/src/typecheck/context.d.ts.map +1 -1
- package/dist/src/typecheck/context.js.map +1 -1
- package/dist/src/typecheck/diagnostics.d.ts +2 -2
- package/dist/src/typecheck/diagnostics.d.ts.map +1 -1
- package/dist/src/typecheck/diagnostics.js.map +1 -1
- package/dist/src/typecheck/effects.js +18 -11
- package/dist/src/typecheck/effects.js.map +1 -1
- package/dist/src/typecheck/expression.d.ts +4 -4
- package/dist/src/typecheck/expression.d.ts.map +1 -1
- package/dist/src/typecheck/expression.js +1 -1
- package/dist/src/typecheck/expression.js.map +1 -1
- package/dist/src/typecheck/generics.d.ts +2 -2
- package/dist/src/typecheck/generics.d.ts.map +1 -1
- package/dist/src/typecheck/generics.js +23 -12
- package/dist/src/typecheck/generics.js.map +1 -1
- package/dist/src/typecheck/governance.d.ts +1 -1
- package/dist/src/typecheck/governance.d.ts.map +1 -1
- package/dist/src/typecheck/governance.js +1 -1
- package/dist/src/typecheck/governance.js.map +1 -1
- package/dist/src/typecheck/module.d.ts.map +1 -1
- package/dist/src/typecheck/module.js +7 -6
- package/dist/src/typecheck/module.js.map +1 -1
- package/dist/src/typecheck/pattern.d.ts +2 -2
- package/dist/src/typecheck/pattern.d.ts.map +1 -1
- package/dist/src/typecheck/pattern.js +12 -46
- package/dist/src/typecheck/pattern.js.map +1 -1
- package/dist/src/typecheck/pure.d.ts +19 -19
- package/dist/src/typecheck/pure.d.ts.map +1 -1
- package/dist/src/typecheck/pure.js.map +1 -1
- package/dist/src/typecheck/statement.d.ts +6 -6
- package/dist/src/typecheck/statement.d.ts.map +1 -1
- package/dist/src/typecheck/statement.js +17 -20
- package/dist/src/typecheck/statement.js.map +1 -1
- package/dist/src/typecheck/symbol_table.d.ts +2 -2
- package/dist/src/typecheck/symbol_table.d.ts.map +1 -1
- package/dist/src/typecheck/symbol_table.js.map +1 -1
- package/dist/src/typecheck/type_system.d.ts +4 -4
- package/dist/src/typecheck/type_system.d.ts.map +1 -1
- package/dist/src/typecheck/type_system.js +1 -1
- package/dist/src/typecheck/type_system.js.map +1 -1
- package/dist/src/typecheck/workflow.d.ts +3 -3
- package/dist/src/typecheck/workflow.d.ts.map +1 -1
- package/dist/src/typecheck/workflow.js.map +1 -1
- package/dist/src/typecheck-pii.d.ts.map +1 -1
- package/dist/src/typecheck-pii.js +2 -13
- package/dist/src/typecheck-pii.js.map +1 -1
- package/dist/src/types/type-inference.d.ts +1 -13
- package/dist/src/types/type-inference.d.ts.map +1 -1
- package/dist/src/types/type-inference.js +1 -2
- package/dist/src/types/type-inference.js.map +1 -1
- package/dist/src/types.d.ts +160 -172
- package/dist/src/types.d.ts.map +1 -1
- package/dist/src/types.js.map +1 -1
- package/dist/src/version.d.ts +3 -3
- package/dist/src/version.js +3 -3
- package/dist/test/helpers/core-ir-v2.d.ts +5 -0
- package/dist/test/helpers/core-ir-v2.d.ts.map +1 -0
- package/dist/test/helpers/core-ir-v2.js +123 -0
- package/dist/test/helpers/core-ir-v2.js.map +1 -0
- package/dist/test/helpers/locales-core-ir.d.ts +7 -0
- package/dist/test/helpers/locales-core-ir.d.ts.map +1 -0
- package/dist/test/helpers/locales-core-ir.js +15 -0
- package/dist/test/helpers/locales-core-ir.js.map +1 -0
- package/dist/test/helpers/locales-type-inference.d.ts +6 -0
- package/dist/test/helpers/locales-type-inference.d.ts.map +1 -0
- package/dist/test/helpers/locales-type-inference.js +14 -0
- package/dist/test/helpers/locales-type-inference.js.map +1 -0
- package/dist/test/helpers/test-factories.d.ts +5 -5
- package/dist/test/helpers/test-factories.d.ts.map +1 -1
- package/dist/test/helpers/test-factories.js +9 -8
- package/dist/test/helpers/test-factories.js.map +1 -1
- package/dist/test/integration/compliance/compliance-smoke.test.js +1 -2
- package/dist/test/integration/compliance/compliance-smoke.test.js.map +1 -1
- package/dist/test/integration/pipeline/pipeline.test.js +1 -1
- package/dist/test/integration/pipeline/pipeline.test.js.map +1 -1
- package/dist/test/integration/vocabulary-resolution.test.js +1 -1
- package/dist/test/integration/vocabulary-resolution.test.js.map +1 -1
- package/dist/test/regression/type-checker-golden.test.js +1 -1
- package/dist/test/regression/type-checker-golden.test.js.map +1 -1
- package/dist/test/type-checker/pii-propagation.test.js +7 -6
- package/dist/test/type-checker/pii-propagation.test.js.map +1 -1
- package/dist/test/types/core-ir-v2.test-d.d.ts +28 -0
- package/dist/test/types/core-ir-v2.test-d.d.ts.map +1 -0
- package/dist/test/types/core-ir-v2.test-d.js +5 -0
- package/dist/test/types/core-ir-v2.test-d.js.map +1 -0
- package/dist/test/unit/browser/typecheck-browser-pii-failure.test.js +4 -3
- package/dist/test/unit/browser/typecheck-browser-pii-failure.test.js.map +1 -1
- package/dist/test/unit/canonicalizer/article-declaration-names.test.js +1 -1
- package/dist/test/unit/canonicalizer/article-declaration-names.test.js.map +1 -1
- package/dist/test/unit/canonicalizer/chinese-function-syntax.test.js +2 -1
- package/dist/test/unit/canonicalizer/chinese-function-syntax.test.js.map +1 -1
- package/dist/test/unit/core/canonical-json.test.d.ts +2 -0
- package/dist/test/unit/core/canonical-json.test.d.ts.map +1 -0
- package/dist/test/unit/core/canonical-json.test.js +38 -0
- package/dist/test/unit/core/canonical-json.test.js.map +1 -0
- package/dist/test/unit/core/caseless-pattern-name.test.js +6 -8
- package/dist/test/unit/core/caseless-pattern-name.test.js.map +1 -1
- package/dist/test/unit/core/core-ir-conformance.test.d.ts +2 -0
- package/dist/test/unit/core/core-ir-conformance.test.d.ts.map +1 -0
- package/dist/test/unit/core/core-ir-conformance.test.js +39 -0
- package/dist/test/unit/core/core-ir-conformance.test.js.map +1 -0
- package/dist/test/unit/core/core-ir-schema-parity.test.d.ts +2 -0
- package/dist/test/unit/core/core-ir-schema-parity.test.d.ts.map +1 -0
- package/dist/test/unit/core/core-ir-schema-parity.test.js +25 -0
- package/dist/test/unit/core/core-ir-schema-parity.test.js.map +1 -0
- package/dist/test/unit/core/core-ir-v2-outputs.test.d.ts +2 -0
- package/dist/test/unit/core/core-ir-v2-outputs.test.d.ts.map +1 -0
- package/dist/test/unit/core/core-ir-v2-outputs.test.js +128 -0
- package/dist/test/unit/core/core-ir-v2-outputs.test.js.map +1 -0
- package/dist/test/unit/core/read-core-ir.test.d.ts +2 -0
- package/dist/test/unit/core/read-core-ir.test.d.ts.map +1 -0
- package/dist/test/unit/core/read-core-ir.test.js +129 -0
- package/dist/test/unit/core/read-core-ir.test.js.map +1 -0
- package/dist/test/unit/core/resolve-typed-references.test.js +22 -18
- package/dist/test/unit/core/resolve-typed-references.test.js.map +1 -1
- package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.js +5 -5
- package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.js.map +1 -1
- package/dist/test/unit/diagnostics/parse-diagnostics-parity.test.js +3 -2
- package/dist/test/unit/diagnostics/parse-diagnostics-parity.test.js.map +1 -1
- package/dist/test/unit/effect/effect-caps-explicit-only.test.d.ts +2 -0
- package/dist/test/unit/effect/effect-caps-explicit-only.test.d.ts.map +1 -0
- package/dist/test/unit/effect/effect-caps-explicit-only.test.js +73 -0
- package/dist/test/unit/effect/effect-caps-explicit-only.test.js.map +1 -0
- package/dist/test/unit/effect/effect-inference.test.js +17 -13
- package/dist/test/unit/effect/effect-inference.test.js.map +1 -1
- package/dist/test/unit/emitter/emitter.test.js +47 -46
- package/dist/test/unit/emitter/emitter.test.js.map +1 -1
- package/dist/test/unit/formatter-corpus-roundtrip.test.js +5 -1
- package/dist/test/unit/formatter-corpus-roundtrip.test.js.map +1 -1
- package/dist/test/unit/formatter-roundtrip.test.js +5 -4
- package/dist/test/unit/formatter-roundtrip.test.js.map +1 -1
- package/dist/test/unit/frontend/resolve-declarations.test.js +13 -14
- package/dist/test/unit/frontend/resolve-declarations.test.js.map +1 -1
- package/dist/test/unit/governance/governance-check.test.js +1 -1
- package/dist/test/unit/governance/governance-check.test.js.map +1 -1
- package/dist/test/unit/governance/input-refs-parity.test.js +1 -1
- package/dist/test/unit/governance/input-refs-parity.test.js.map +1 -1
- package/dist/test/unit/governance/input-refs.test.js +2 -2
- package/dist/test/unit/governance/input-refs.test.js.map +1 -1
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.js +6 -6
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.js.map +1 -1
- package/dist/test/unit/interpreter/interpreter.test.js +23 -21
- package/dist/test/unit/interpreter/interpreter.test.js.map +1 -1
- package/dist/test/unit/interpreter/scope-writeback.test.js +28 -27
- package/dist/test/unit/interpreter/scope-writeback.test.js.map +1 -1
- package/dist/test/unit/keyword-aliases.test.js +1 -1
- package/dist/test/unit/lambda-capture-parity.test.js +43 -14
- package/dist/test/unit/lambda-capture-parity.test.js.map +1 -1
- package/dist/test/unit/lexicons/fallback-lexicon.test.d.ts +1 -1
- package/dist/test/unit/lexicons/fallback-lexicon.test.js +2 -4
- package/dist/test/unit/lexicons/fallback-lexicon.test.js.map +1 -1
- package/dist/test/unit/lowering/core-ir-v2.test.d.ts +2 -0
- package/dist/test/unit/lowering/core-ir-v2.test.d.ts.map +1 -0
- package/dist/test/unit/lowering/core-ir-v2.test.js +253 -0
- package/dist/test/unit/lowering/core-ir-v2.test.js.map +1 -0
- package/dist/test/unit/lowering/lowering.test.js +19 -14
- package/dist/test/unit/lowering/lowering.test.js.map +1 -1
- package/dist/test/unit/lsp/pii-diagnostics.test.js +33 -30
- package/dist/test/unit/lsp/pii-diagnostics.test.js.map +1 -1
- package/dist/test/unit/lsp/utils.test.js +5 -4
- package/dist/test/unit/lsp/utils.test.js.map +1 -1
- package/dist/test/unit/parser/effect-unknown-name.test.js +7 -7
- package/dist/test/unit/parser/effect-unknown-name.test.js.map +1 -1
- package/dist/test/unit/parser/entry-annotations.test.js +2 -1
- package/dist/test/unit/parser/entry-annotations.test.js.map +1 -1
- package/dist/test/unit/parser/func-type.test.js +3 -3
- package/dist/test/unit/parser/func-type.test.js.map +1 -1
- package/dist/test/unit/parser/governance-sugar.test.js +4 -4
- package/dist/test/unit/parser/governance-sugar.test.js.map +1 -1
- package/dist/test/unit/parser/inferred-type-anchor.test.d.ts +2 -0
- package/dist/test/unit/parser/inferred-type-anchor.test.d.ts.map +1 -0
- package/dist/test/unit/parser/inferred-type-anchor.test.js +83 -0
- package/dist/test/unit/parser/inferred-type-anchor.test.js.map +1 -0
- package/dist/test/unit/parser/naming-rules-parity.test.d.ts +2 -0
- package/dist/test/unit/parser/naming-rules-parity.test.d.ts.map +1 -0
- package/dist/test/unit/parser/naming-rules-parity.test.js +26 -0
- package/dist/test/unit/parser/naming-rules-parity.test.js.map +1 -0
- package/dist/test/unit/parser/parser.test.js +11 -32
- package/dist/test/unit/parser/parser.test.js.map +1 -1
- package/dist/test/unit/parser/type-inference-vectors.test.d.ts +2 -0
- package/dist/test/unit/parser/type-inference-vectors.test.d.ts.map +1 -0
- package/dist/test/unit/parser/type-inference-vectors.test.js +40 -0
- package/dist/test/unit/parser/type-inference-vectors.test.js.map +1 -0
- package/dist/test/unit/parser/type-inference.test.d.ts +2 -1
- package/dist/test/unit/parser/type-inference.test.d.ts.map +1 -1
- package/dist/test/unit/parser/type-inference.test.js +93 -159
- package/dist/test/unit/parser/type-inference.test.js.map +1 -1
- package/dist/test/unit/regex-guard.test.js +6 -6
- package/dist/test/unit/regex-guard.test.js.map +1 -1
- package/dist/test/unit/rule-call-checks.test.js +2 -1
- package/dist/test/unit/rule-call-checks.test.js.map +1 -1
- package/dist/test/unit/typecheck/async-discipline-extended.test.js +11 -10
- package/dist/test/unit/typecheck/async-discipline-extended.test.js.map +1 -1
- package/dist/test/unit/typecheck/effect-prefix-injection.test.js +3 -2
- package/dist/test/unit/typecheck/effect-prefix-injection.test.js.map +1 -1
- package/dist/test/unit/typecheck/function-return-inference.test.js +33 -32
- package/dist/test/unit/typecheck/function-return-inference.test.js.map +1 -1
- package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.js +5 -4
- package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.js.map +1 -1
- package/dist/test/unit/typecheck/regression-fixes.test.js +110 -112
- package/dist/test/unit/typecheck/regression-fixes.test.js.map +1 -1
- package/dist/test/unit/typecheck/symbol-table.test.js +3 -2
- package/dist/test/unit/typecheck/symbol-table.test.js.map +1 -1
- package/dist/test/unit/typecheck/type-system-extended.test.js +6 -5
- package/dist/test/unit/typecheck/type-system-extended.test.js.map +1 -1
- package/dist/test/unit/typecheck/type-system.test.js +20 -19
- package/dist/test/unit/typecheck/type-system.test.js.map +1 -1
- package/dist/test/unit/typecheck/typecheck-advanced.test.js +19 -18
- package/dist/test/unit/typecheck/typecheck-advanced.test.js.map +1 -1
- package/dist/test/unit/typecheck/untyped-field-dynamic.test.js +6 -4
- package/dist/test/unit/typecheck/untyped-field-dynamic.test.js.map +1 -1
- package/dist/test/unit/version.test.js +3 -3
- package/package.json +4 -3
- package/dist/src/config/lexicons/type-inference-rules.d.ts +0 -19
- package/dist/src/config/lexicons/type-inference-rules.d.ts.map +0 -1
- package/dist/src/config/lexicons/type-inference-rules.js +0 -63
- package/dist/src/config/lexicons/type-inference-rules.js.map +0 -1
- package/dist/src/core/core_ir_json.d.ts +0 -62
- package/dist/src/core/core_ir_json.d.ts.map +0 -1
- package/dist/src/core/core_ir_json.js +0 -81
- package/dist/src/core/core_ir_json.js.map +0 -1
- package/dist/test/unit/core_ir_json/core_ir_json.test.d.ts +0 -2
- package/dist/test/unit/core_ir_json/core_ir_json.test.d.ts.map +0 -1
- package/dist/test/unit/core_ir_json/core_ir_json.test.js +0 -218
- package/dist/test/unit/core_ir_json/core_ir_json.test.js.map +0 -1
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"core-ir-v2.schema.generated.js","sourceRoot":"","sources":["../../../src/core/core-ir-v2.schema.generated.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAsC;IAClE,SAAS,EAAE,8CAA8C;IACzD,KAAK,EAAE,4CAA4C;IACnD,OAAO,EAAE,kBAAkB;IAC3B,aAAa,EAAE,+GAA+G;IAC9H,MAAM,EAAE,gBAAgB;IACxB,OAAO,EAAE;QACP,OAAO,EAAE;YACP,aAAa,EAAE,2FAA2F;YAC1G,MAAM,EAAE,SAAS;YACjB,SAAS,EAAE,CAAC,UAAU;YACtB,SAAS,EAAE,UAAU;SACtB;QACD,SAAS,EAAE;YACT,aAAa,EAAE,wEAAwE;YACvF,MAAM,EAAE,SAAS;YACjB,SAAS,EAAE,CAAC,gBAAgB;YAC5B,SAAS,EAAE,gBAAgB;SAC5B;QACD,kBAAkB,EAAE;YAClB,aAAa,EAAE,wFAAwF;YACvG,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,wDAAwD;SACpE;QACD,eAAe,EAAE;YACf,aAAa,EAAE,+DAA+D;YAC9E,MAAM,EAAE;gBACN,IAAI;gBACJ,KAAK;aACN;SACF;QACD,oBAAoB,EAAE;YACpB,aAAa,EAAE,wMAAwM;YACvN,MAAM,EAAE;gBACN,IAAI;gBACJ,KAAK;gBACL,MAAM;gBACN,OAAO;aACR;SACF;QACD,eAAe,EAAE;YACf,aAAa,EAAE,0FAA0F;YACzG,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,0EAA0E;SACtF;QACD,UAAU,EAAE;YACV,aAAa,EAAE,iCAAiC;YAChD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,eAAe;iBACxB;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,eAAe;iBACxB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,KAAK;aACN;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,kGAAkG;YACjH,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,kBAAkB;iBAC3B;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,kBAAkB;iBAC3B;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,WAAW;wBACX,YAAY;wBACZ,aAAa;wBACb,WAAW;wBACX,MAAM;wBACN,WAAW;wBACX,YAAY;wBACZ,UAAU;wBACV,WAAW;wBACX,OAAO;wBACP,IAAI;qBACL;iBACF;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,KAAK;gBACL,SAAS;gBACT,MAAM;aACP;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,0GAA0G;YACzH,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,eAAe,EAAE;oBACf,OAAO,EAAE,CAAC;iBACX;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,eAAe;gBACf,MAAM;gBACN,SAAS;gBACT,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;wBACN,MAAM;wBACN,MAAM;qBACP;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;aACF;SACF;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,kFAAkF;YACjG,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE;wBACN,QAAQ;wBACR,MAAM;qBACP;iBACF;gBACD,SAAS,EAAE;oBACT,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,eAAe;yBACxB;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,SAAS;gBACT,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;gBACR,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,kFAAkF;YACjG,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,cAAc,EAAE;oBACd,MAAM,EAAE,SAAS;iBAClB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,aAAa;gBACb,aAAa;gBACb,cAAc;aACf;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,UAAU;gBACV,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,sNAAsN;YACrO,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,iBAAiB,EAAE;oBACjB,MAAM,EAAE,SAAS;iBAClB;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,gBAAgB,EAAE;oBAChB,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,OAAO,EAAE;4BACP;gCACE,MAAM,EAAE,uBAAuB;6BAChC;4BACD;gCACE,MAAM,EAAE,uBAAuB;6BAChC;yBACF;qBACF;iBACF;gBACD,cAAc,EAAE;oBACd,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,oBAAoB,EAAE;oBACpB,MAAM,EAAE,SAAS;iBAClB;gBACD,WAAW,EAAE;oBACX,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,OAAO;4BACf,OAAO,EAAE;gCACP,MAAM,EAAE,QAAQ;6BACjB;yBACF;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,eAAe;iBACxB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,YAAY;gBACZ,QAAQ;gBACR,KAAK;gBACL,iBAAiB;gBACjB,aAAa;gBACb,gBAAgB;gBAChB,SAAS;gBACT,cAAc;gBACd,YAAY;gBACZ,oBAAoB;gBACpB,WAAW;gBACX,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,8BAA8B;YAC7C,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,oBAAoB;qBAC7B;iBACF;gBACD,cAAc,EAAE;oBACd,MAAM,EAAE,SAAS;iBAClB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,aAAa;gBACb,aAAa;gBACb,cAAc;aACf;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,YAAY,EAAE;YACZ,aAAa,EAAE,4DAA4D;YAC3E,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,uBAAuB;qBAChC;iBACF;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;aACP;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,eAAe,EAAE;YACf,aAAa,EAAE,qFAAqF;YACpG,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;oBAChB,SAAS,EAAE,+BAA+B;iBAC3C;gBACD,OAAO,EAAE;oBACP,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,QAAQ;yBACjB;wBACD;4BACE,MAAM,EAAE,SAAS;yBAClB;wBACD;4BACE,MAAM,EAAE,eAAe;yBACxB;qBACF;iBACF;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;aACR;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,YAAY,EAAE;YACZ,aAAa,EAAE,uDAAuD;YACtE,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,UAAU;wBACV,OAAO;wBACP,SAAS;qBACV;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,UAAU;6BACpB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,kBAAkB;qBAC3B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;aACF;SACF;QACD,UAAU,EAAE;YACV,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,UAAU;iBACpB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,oCAAoC;YACnD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,KAAK,EAAE;oBACL,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,0BAA0B;yBACnC;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,KAAK,EAAE;oBACL,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,0BAA0B;yBACnC;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,KAAK;gBACL,KAAK;gBACL,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;YAC7B,KAAK,EAAE;gBACL,YAAY,EAAE;oBACZ,KAAK,EAAE;wBACL,MAAM,EAAE,MAAM;qBACf;oBACD,KAAK,EAAE;wBACL,MAAM,EAAE,MAAM;qBACf;iBACF;aACF;SACF;QACD,SAAS,EAAE;YACT,aAAa,EAAE,0BAA0B;YACzC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;gBACR,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,sCAAsC;YACrD,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,UAAU;wBACV,SAAS;wBACT,SAAS;wBACT,QAAQ;wBACR,OAAO;wBACP,QAAQ;wBACR,MAAM;wBACN,KAAK;wBACL,UAAU;wBACV,SAAS;qBACV;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,UAAU;6BACpB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,kBAAkB;qBAC3B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,UAAU;6BACpB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,kBAAkB;qBAC3B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;aACF;SACF;QACD,UAAU,EAAE;YACV,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,UAAU;iBACpB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,IAAI,EAAE;oBACJ,MAAM,EAAE,cAAc;iBACvB;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,IAAI;gBACJ,KAAK;gBACL,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,KAAK;gBACL,KAAK;gBACL,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,UAAU,EAAE;YACV,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,UAAU;iBACpB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;gBACR,KAAK;gBACL,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,WAAW;YAC1B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,cAAc;iBACvB;gBACD,aAAa,EAAE;oBACb,MAAM,EAAE,QAAQ;iBACjB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,UAAU;gBACV,aAAa;gBACb,UAAU;gBACV,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,KAAK;YACpB,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,KAAK;wBACL,KAAK;wBACL,QAAQ;wBACR,IAAI;wBACJ,OAAO;wBACP,OAAO;wBACP,OAAO;wBACP,OAAO;wBACP,MAAM;wBACN,UAAU;qBACX;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,IAAI;6BACd;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,YAAY;qBACrB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,UAAU;6BACpB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,kBAAkB;qBAC3B;iBACF;aACF;SACF;QACD,KAAK,EAAE;YACL,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,KAAK;YACpB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,KAAK;YACpB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,IAAI,EAAE;YACJ,aAAa,EAAE,oCAAoC;YACnD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,IAAI;iBACd;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,WAAW,EAAE;oBACX,MAAM,EAAE,eAAe;iBACxB;gBACD,WAAW,EAAE;oBACX,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,eAAe;yBACxB;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,WAAW;gBACX,WAAW;gBACX,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE,aAAa;iBACtB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,kBAAkB;iBAC3B;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,SAAS;gBACT,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,UAAU,EAAE;YACV,aAAa,EAAE,uBAAuB;YACtC,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,QAAQ;wBACR,OAAO;qBACR;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;aACF;SACF;QACD,OAAO,EAAE;YACP,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,YAAY;gBACZ,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,YAAY;gBACZ,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,UAAU,EAAE;YACV,aAAa,EAAE,4DAA4D;YAC3E,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,UAAU;iBACpB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,OAAO,EAAE;oBACP,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,qBAAqB;yBAC9B;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,iBAAiB;yBAC1B;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,YAAY;gBACZ,OAAO;gBACP,SAAS;gBACT,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,gDAAgD;YAC/D,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,eAAe;iBACxB;gBACD,YAAY,EAAE;oBACZ,OAAO,EAAE;wBACP;4BACE,MAAM,EAAE,eAAe;yBACxB;wBACD;4BACE,MAAM,EAAE,MAAM;yBACf;qBACF;iBACF;gBACD,cAAc,EAAE;oBACd,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,MAAM;gBACN,YAAY;gBACZ,cAAc;gBACd,YAAY;gBACZ,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,aAAa,EAAE;YACb,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,aAAa,EAAE;oBACb,MAAM,EAAE,eAAe;iBACxB;gBACD,SAAS,EAAE;oBACT,MAAM,EAAE;wBACN,aAAa;wBACb,QAAQ;qBACT;iBACF;aACF;YACD,UAAU,EAAE;gBACV,aAAa;gBACb,SAAS;aACV;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,cAAc,EAAE;oBACd,MAAM,EAAE,iBAAiB;iBAC1B;aACF;YACD,UAAU,EAAE;gBACV,cAAc;aACf;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,SAAS;wBACT,SAAS;wBACT,SAAS;wBACT,QAAQ;qBACT;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;aACF;SACF;QACD,SAAS,EAAE;YACT,aAAa,EAAE,UAAU;YACzB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,yDAAyD;YACxE,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,UAAU;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,kBAAkB;YACjC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,eAAe;iBACxB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE;gBACV,MAAM;aACP;YACD,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE;wBACN,MAAM;wBACN,MAAM;wBACN,KAAK;wBACL,MAAM;wBACN,QAAQ;wBACR,SAAS;wBACT,QAAQ;wBACR,MAAM;wBACN,IAAI;wBACJ,KAAK;wBACL,MAAM;wBACN,MAAM;wBACN,WAAW;wBACX,MAAM;wBACN,QAAQ;wBACR,OAAO;wBACP,QAAQ;wBACR,SAAS;qBACV;iBACF;aACF;YACD,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,IAAI;6BACd;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,YAAY;qBACrB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,KAAK;6BACf;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,aAAa;qBACtB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,WAAW;6BACrB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,mBAAmB;qBAC5B;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,MAAM;6BAChB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,OAAO;6BACjB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,QAAQ;6BAClB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,gBAAgB;qBACzB;iBACF;gBACD;oBACE,IAAI,EAAE;wBACJ,UAAU,EAAE;4BACV,MAAM;yBACP;wBACD,YAAY,EAAE;4BACZ,MAAM,EAAE;gCACN,OAAO,EAAE,SAAS;6BACnB;yBACF;qBACF;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;aACF;SACF;QACD,MAAM,EAAE;YACN,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,QAAQ;YACvB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,SAAS;iBAClB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,YAAY;YAC3B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,eAAe;iBACxB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,sBAAsB;YACrC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,qCAAqC;YACpD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,0BAA0B;iBACnC;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,yCAAyC;YACxD,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,WAAW;YAC1B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,IAAI,EAAE;YACJ,aAAa,EAAE,cAAc;YAC7B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,IAAI;iBACd;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,KAAK,EAAE;YACL,aAAa,EAAE,cAAc;YAC7B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,KAAK;iBACf;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,cAAc;YAC7B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,YAAY;YAC3B,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,WAAW,EAAE;YACX,aAAa,EAAE,QAAQ;YACvB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,WAAW;iBACrB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,QAAQ;iBACjB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,mBAAmB;qBAC5B;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,UAAU;gBACV,QAAQ;gBACR,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,WAAW,EAAE;YACX,aAAa,EAAE,mBAAmB;YAClC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,MAAM,EAAE,QAAQ;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;aACP;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,MAAM,EAAE;YACN,aAAa,EAAE,KAAK;YACpB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,MAAM;iBAChB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,cAAc;iBACvB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;gBACR,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,qDAAqD;YACpE,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,eAAe;qBACxB;iBACF;gBACD,KAAK,EAAE;oBACL,MAAM,EAAE,cAAc;iBACvB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,eAAe;iBACxB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,QAAQ;qBACjB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,QAAQ;gBACR,KAAK;gBACL,MAAM;gBACN,UAAU;gBACV,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,OAAO,EAAE;YACP,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,OAAO;iBACjB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,QAAQ,EAAE;YACR,aAAa,EAAE,uBAAuB;YACtC,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,QAAQ;iBAClB;gBACD,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc;iBACvB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,cAAc;iBACvB;gBACD,OAAO,EAAE;oBACP,MAAM,EAAE,cAAc;iBACvB;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,OAAO;gBACP,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;QACD,SAAS,EAAE;YACT,aAAa,EAAE,QAAQ;YACvB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE;gBACZ,MAAM,EAAE;oBACN,OAAO,EAAE,SAAS;iBACnB;gBACD,UAAU,EAAE;oBACV,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE;wBACP,MAAM,EAAE,cAAc;qBACvB;iBACF;gBACD,QAAQ,EAAE;oBACR,MAAM,EAAE,gBAAgB;iBACzB;aACF;YACD,UAAU,EAAE;gBACV,MAAM;gBACN,UAAU;gBACV,QAAQ;aACT;YACD,sBAAsB,EAAE,KAAK;SAC9B;KACF;CACF,CAAC"}
|
|
@@ -1,14 +1,27 @@
|
|
|
1
1
|
import { Effect } from '../types.js';
|
|
2
2
|
import type { Core as CoreTypes } from '../types.js';
|
|
3
3
|
export { Effect };
|
|
4
|
+
/** 尚未挂上源码位置的占位 origin(行列号 0)。只用于构造阶段与类型检查合成的节点。 */
|
|
5
|
+
export declare const NO_ORIGIN: CoreTypes.Origin;
|
|
6
|
+
/** 判断 origin 是否仍是占位值。 */
|
|
7
|
+
export declare function isNoOrigin(origin: CoreTypes.Origin): boolean;
|
|
8
|
+
/** Core IR v2 的 schemaVersion(ADR 0055 #1)。 */
|
|
9
|
+
export declare const CORE_IR_SCHEMA_VERSION: 2;
|
|
10
|
+
type Caps = readonly string[];
|
|
4
11
|
export declare const Core: {
|
|
5
|
-
Module: (name: string | null, decls: readonly CoreTypes.Declaration[], profile?: string) => CoreTypes.Module;
|
|
6
|
-
|
|
12
|
+
Module: (name: string | null, decls: readonly CoreTypes.Declaration[], profile?: string | null) => CoreTypes.Module;
|
|
13
|
+
/** ADR 0055 #2:path 为点分模块路径,alias 为绑定名,version 为钉住的版本(均可空)。 */
|
|
14
|
+
Import: (path: string, alias: string | null, version?: number | null) => CoreTypes.Import;
|
|
7
15
|
Data: (name: string, fields: readonly CoreTypes.Field[]) => CoreTypes.Data;
|
|
16
|
+
Field: (name: string, type: CoreTypes.Type, constraints?: readonly CoreTypes.Constraint[], typeInferred?: boolean) => CoreTypes.Field;
|
|
17
|
+
Param: (name: string, type: CoreTypes.Type, constraints?: readonly CoreTypes.Constraint[], typeInferred?: boolean) => CoreTypes.Parameter;
|
|
8
18
|
Enum: (name: string, variants: readonly string[]) => CoreTypes.Enum;
|
|
9
|
-
Func: (name: string, typeParams: readonly string[] | undefined, params: readonly CoreTypes.Parameter[], ret: CoreTypes.Type, effects: readonly
|
|
19
|
+
Func: (name: string, typeParams: readonly string[] | undefined, params: readonly CoreTypes.Parameter[], ret: CoreTypes.Type, effects: readonly string[], body: CoreTypes.Block, effectCaps?: Caps, effectCapsExplicit?: boolean, effectParams?: readonly string[], annotations?: readonly CoreTypes.Annotation[]) => CoreTypes.Func;
|
|
10
20
|
Block: (statements: readonly CoreTypes.Statement[]) => CoreTypes.Block;
|
|
11
21
|
Scope: (statements: readonly CoreTypes.Statement[]) => CoreTypes.Scope;
|
|
22
|
+
Required: () => CoreTypes.ConstraintRequired;
|
|
23
|
+
Range: (min: string | null, max: string | null) => CoreTypes.ConstraintRange;
|
|
24
|
+
Pattern: (regexp: string) => CoreTypes.ConstraintPattern;
|
|
12
25
|
Let: (name: string, expr: CoreTypes.Expression) => CoreTypes.Let;
|
|
13
26
|
Set: (name: string, expr: CoreTypes.Expression) => CoreTypes.Set;
|
|
14
27
|
Return: (expr: CoreTypes.Expression) => CoreTypes.Return;
|
|
@@ -17,13 +30,14 @@ export declare const Core: {
|
|
|
17
30
|
Case: (pattern: CoreTypes.Pattern, body: CoreTypes.Return | CoreTypes.Block) => CoreTypes.Case;
|
|
18
31
|
Start: (name: string, expr: CoreTypes.Expression) => CoreTypes.Start;
|
|
19
32
|
Wait: (names: readonly string[]) => CoreTypes.Wait;
|
|
20
|
-
Workflow: (steps: readonly CoreTypes.Step[], effectCaps:
|
|
21
|
-
Step: (name: string, body: CoreTypes.Block, effectCaps:
|
|
33
|
+
Workflow: (steps: readonly CoreTypes.Step[], effectCaps: Caps, retry?: CoreTypes.RetryPolicy | null, timeout?: CoreTypes.Timeout | null) => CoreTypes.Workflow;
|
|
34
|
+
Step: (name: string, body: CoreTypes.Block, effectCaps: Caps, compensate?: CoreTypes.Block | null, dependencies?: readonly string[]) => CoreTypes.Step;
|
|
22
35
|
Name: (name: string) => CoreTypes.Name;
|
|
23
36
|
Bool: (value: boolean) => CoreTypes.Bool;
|
|
24
37
|
Int: (value: number) => CoreTypes.Int;
|
|
25
38
|
Long: (value: string) => CoreTypes.Long;
|
|
26
|
-
|
|
39
|
+
/** ADR 0055 #18:value 是规范十进制串(由 lowering 从字面量原文求出)。 */
|
|
40
|
+
Double: (value: string) => CoreTypes.Double;
|
|
27
41
|
Decimal: (value: string) => CoreTypes.Decimal;
|
|
28
42
|
String: (value: string) => CoreTypes.String;
|
|
29
43
|
Null: () => CoreTypes.Null;
|
|
@@ -33,6 +47,10 @@ export declare const Core: {
|
|
|
33
47
|
Err: (expr: CoreTypes.Expression) => CoreTypes.Err;
|
|
34
48
|
Some: (expr: CoreTypes.Expression) => CoreTypes.Some;
|
|
35
49
|
None: () => CoreTypes.None;
|
|
50
|
+
Lambda: (params: readonly CoreTypes.Parameter[], ret: CoreTypes.Type, body: CoreTypes.Block, captures?: readonly string[]) => CoreTypes.Lambda;
|
|
51
|
+
Await: (expr: CoreTypes.Expression) => CoreTypes.Await;
|
|
52
|
+
IfExpr: (cond: CoreTypes.Expression, thenE: CoreTypes.Expression, elseE: CoreTypes.Expression) => CoreTypes.IfExpr;
|
|
53
|
+
ListLit: (elements: readonly CoreTypes.Expression[]) => CoreTypes.ListLit;
|
|
36
54
|
TypeName: (name: string) => CoreTypes.TypeName;
|
|
37
55
|
Maybe: (type: CoreTypes.Type) => CoreTypes.Maybe;
|
|
38
56
|
Option: (type: CoreTypes.Type) => CoreTypes.Option;
|
|
@@ -43,12 +61,10 @@ export declare const Core: {
|
|
|
43
61
|
/** 与 Java CoreModel.FuncType 一致:只有 params / ret,不带 effects */
|
|
44
62
|
FuncType: (params: readonly CoreTypes.Type[], ret: CoreTypes.Type) => CoreTypes.FuncType;
|
|
45
63
|
TypeVar: (name: string) => CoreTypes.TypeVar;
|
|
46
|
-
Pii: (baseType: CoreTypes.Type, sensitivity:
|
|
64
|
+
Pii: (baseType: CoreTypes.Type, sensitivity: string, category: string) => CoreTypes.PiiType;
|
|
47
65
|
PatNull: () => CoreTypes.PatNull;
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
ListLit: (elements: readonly CoreTypes.Expression[]) => CoreTypes.ListLit;
|
|
51
|
-
PatCtor: (typeName: string, names?: readonly string[], args?: readonly CoreTypes.Pattern[]) => CoreTypes.PatCtor;
|
|
66
|
+
/** ADR 0055 #15、#16:构造器 / 枚举变体模式只用 args(嵌套模式),0 参变体为 args:[]。 */
|
|
67
|
+
PatCtor: (typeName: string, args?: readonly CoreTypes.Pattern[]) => CoreTypes.PatCtor;
|
|
52
68
|
PatName: (name: string) => CoreTypes.PatName;
|
|
53
69
|
PatInt: (value: number) => CoreTypes.PatInt;
|
|
54
70
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"core_ir.d.ts","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"core_ir.d.ts","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AAErD,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,mDAAmD;AACnD,eAAO,MAAM,SAAS,EAAE,SAAS,CAAC,MAMhC,CAAC;AAEH,yBAAyB;AACzB,wBAAgB,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,OAAO,CAE5D;AAED,+CAA+C;AAC/C,eAAO,MAAM,sBAAsB,EAAG,CAAU,CAAC;AAEjD,KAAK,IAAI,GAAG,SAAS,MAAM,EAAE,CAAC;AAE9B,eAAO,MAAM,IAAI;mBAEA,MAAM,GAAG,IAAI,SAAS,SAAS,SAAS,CAAC,WAAW,EAAE,YAAW,MAAM,GAAG,IAAI,KAAU,SAAS,CAAC,MAAM;IAQvH,+DAA+D;mBAChD,MAAM,SAAS,MAAM,GAAG,IAAI,YAAW,MAAM,GAAG,IAAI,KAAU,SAAS,CAAC,MAAM;iBAOhF,MAAM,UAAU,SAAS,SAAS,CAAC,KAAK,EAAE,KAAG,SAAS,CAAC,IAAI;kBAOhE,MAAM,QACN,SAAS,CAAC,IAAI,gBACP,SAAS,SAAS,CAAC,UAAU,EAAE,6BAE3C,SAAS,CAAC,KAAK;kBAEV,MAAM,QACN,SAAS,CAAC,IAAI,gBACP,SAAS,SAAS,CAAC,UAAU,EAAE,6BAE3C,SAAS,CAAC,SAAS;iBACT,MAAM,YAAY,SAAS,MAAM,EAAE,KAAG,SAAS,CAAC,IAAI;iBAOzD,MAAM,cACA,SAAS,MAAM,EAAE,GAAG,SAAS,UACjC,SAAS,SAAS,CAAC,SAAS,EAAE,OACjC,SAAS,CAAC,IAAI,WACV,SAAS,MAAM,EAAE,QACpB,SAAS,CAAC,KAAK,eACT,IAAI,+CAEF,SAAS,MAAM,EAAE,gBAClB,SAAS,SAAS,CAAC,UAAU,EAAE,KAC3C,SAAS,CAAC,IAAI;wBAiBG,SAAS,SAAS,CAAC,SAAS,EAAE,KAAG,SAAS,CAAC,KAAK;wBAKhD,SAAS,SAAS,CAAC,SAAS,EAAE,KAAG,SAAS,CAAC,KAAK;oBAOtD,SAAS,CAAC,kBAAkB;iBAC7B,MAAM,GAAG,IAAI,OAAO,MAAM,GAAG,IAAI,KAAG,SAAS,CAAC,eAAe;sBAMxD,MAAM,KAAG,SAAS,CAAC,iBAAiB;gBAG1C,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;gBAClD,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;mBAC/C,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,MAAM;eAE9C,SAAS,CAAC,UAAU,aACf,SAAS,CAAC,KAAK,aACf,SAAS,CAAC,KAAK,GAAG,IAAI,KAChC,SAAS,CAAC,EAAE;kBACD,SAAS,CAAC,UAAU,SAAS,SAAS,SAAS,CAAC,IAAI,EAAE,KAAG,SAAS,CAAC,KAAK;oBAMtE,SAAS,CAAC,OAAO,QAAQ,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,KAAK,KAAG,SAAS,CAAC,IAAI;kBAM9E,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,KAAK;kBAMpD,SAAS,MAAM,EAAE,KAAG,SAAS,CAAC,IAAI;sBAEvC,SAAS,SAAS,CAAC,IAAI,EAAE,cACpB,IAAI,UACT,SAAS,CAAC,WAAW,GAAG,IAAI,YAC1B,SAAS,CAAC,OAAO,GAAG,IAAI,KAChC,SAAS,CAAC,QAAQ;iBASb,MAAM,QACN,SAAS,CAAC,KAAK,cACT,IAAI,eACJ,SAAS,CAAC,KAAK,GAAG,IAAI,iBACpB,SAAS,MAAM,EAAE,KAC9B,SAAS,CAAC,IAAI;iBAWJ,MAAM,KAAG,SAAS,CAAC,IAAI;kBACtB,OAAO,KAAG,SAAS,CAAC,IAAI;iBACzB,MAAM,KAAG,SAAS,CAAC,GAAG;kBACrB,MAAM,KAAG,SAAS,CAAC,IAAI;IACrC,uDAAuD;oBACvC,MAAM,KAAG,SAAS,CAAC,MAAM;qBACxB,MAAM,KAAG,SAAS,CAAC,OAAO;oBAC3B,MAAM,KAAG,SAAS,CAAC,MAAM;gBAC/B,SAAS,CAAC,IAAI;mBACT,SAAS,CAAC,UAAU,QAAQ,SAAS,SAAS,CAAC,UAAU,EAAE,KAAG,SAAS,CAAC,IAAI;0BAO/E,MAAM,UACR,SAAS,SAAS,CAAC,cAAc,EAAE,KAC1C,SAAS,CAAC,SAAS;eACX,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,EAAE;gBAClC,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;iBACnC,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,IAAI;gBACxC,SAAS,CAAC,IAAI;qBAEd,SAAS,SAAS,CAAC,SAAS,EAAE,OACjC,SAAS,CAAC,IAAI,QACb,SAAS,CAAC,KAAK,aACX,SAAS,MAAM,EAAE,KAC1B,SAAS,CAAC,MAAM;kBACL,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,KAAK;mBAO5C,SAAS,CAAC,UAAU,SACnB,SAAS,CAAC,UAAU,SACpB,SAAS,CAAC,UAAU,KAC1B,SAAS,CAAC,MAAM;wBAQC,SAAS,SAAS,CAAC,UAAU,EAAE,KAAG,SAAS,CAAC,OAAO;qBAOtD,MAAM,KAAG,SAAS,CAAC,QAAQ;kBAC9B,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,KAAK;mBAC/B,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,MAAM;iBACnC,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,MAAM;iBAMtD,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,IAAI;eACjC,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,GAAG;oBAC9C,MAAM,QAAQ,SAAS,SAAS,CAAC,IAAI,EAAE,KAAG,SAAS,CAAC,OAAO;IAM3E,8DAA8D;uBAC3C,SAAS,SAAS,CAAC,IAAI,EAAE,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,QAAQ;oBAMtE,MAAM,KAAG,SAAS,CAAC,OAAO;oBAC1B,SAAS,CAAC,IAAI,eAAe,MAAM,YAAY,MAAM,KAAG,SAAS,CAAC,OAAO;mBAS5E,SAAS,CAAC,OAAO;IAC9B,iEAAiE;wBAC7C,MAAM,SAAQ,SAAS,SAAS,CAAC,OAAO,EAAE,KAAQ,SAAS,CAAC,OAAO;oBAMvE,MAAM,KAAG,SAAS,CAAC,OAAO;oBAC1B,MAAM,KAAG,SAAS,CAAC,MAAM;CAC1C,CAAC"}
|
package/dist/src/core/core_ir.js
CHANGED
|
@@ -1,163 +1,218 @@
|
|
|
1
1
|
// Core IR for Aster (distinct from CNL AST)
|
|
2
|
+
//
|
|
3
|
+
// Core IR v2(ADR 0055)构造函数:每个构造函数都输出该节点的全部字段(#19 恒输出:标量与对象用
|
|
4
|
+
// null,列表用 [],布尔用 false)。带 kind 的节点必有 origin(#17);构造时先填 NO_ORIGIN,
|
|
5
|
+
// lowering 的 withOrigin 再换成源码位置。NO_ORIGIN 的行号为 0(真实行号从 1 开始),
|
|
6
|
+
// 所以 lowering 漏挂 origin 能被测试发现(test/unit/lowering/core-ir-v2.test.ts 的 every_node_has_origin)。
|
|
2
7
|
import { Effect } from '../types.js';
|
|
3
8
|
export { Effect };
|
|
9
|
+
/** 尚未挂上源码位置的占位 origin(行列号 0)。只用于构造阶段与类型检查合成的节点。 */
|
|
10
|
+
export const NO_ORIGIN = Object.freeze({
|
|
11
|
+
file: null,
|
|
12
|
+
start: Object.freeze({ line: 0, col: 0 }),
|
|
13
|
+
end: Object.freeze({ line: 0, col: 0 }),
|
|
14
|
+
written: null,
|
|
15
|
+
role: null,
|
|
16
|
+
});
|
|
17
|
+
/** 判断 origin 是否仍是占位值。 */
|
|
18
|
+
export function isNoOrigin(origin) {
|
|
19
|
+
return origin.start.line === 0;
|
|
20
|
+
}
|
|
21
|
+
/** Core IR v2 的 schemaVersion(ADR 0055 #1)。 */
|
|
22
|
+
export const CORE_IR_SCHEMA_VERSION = 2;
|
|
4
23
|
export const Core = {
|
|
5
24
|
// Program structure
|
|
6
|
-
|
|
7
|
-
Module: (name, decls, profile) => ({
|
|
25
|
+
Module: (name, decls, profile = null) => ({
|
|
8
26
|
kind: 'Module',
|
|
27
|
+
schemaVersion: CORE_IR_SCHEMA_VERSION,
|
|
9
28
|
name,
|
|
10
|
-
|
|
29
|
+
profile,
|
|
11
30
|
decls,
|
|
31
|
+
origin: NO_ORIGIN,
|
|
12
32
|
}),
|
|
13
|
-
|
|
33
|
+
/** ADR 0055 #2:path 为点分模块路径,alias 为绑定名,version 为钉住的版本(均可空)。 */
|
|
34
|
+
Import: (path, alias, version = null) => ({
|
|
14
35
|
kind: 'Import',
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
36
|
+
path,
|
|
37
|
+
alias,
|
|
38
|
+
version,
|
|
39
|
+
origin: NO_ORIGIN,
|
|
18
40
|
}),
|
|
19
41
|
Data: (name, fields) => ({
|
|
20
42
|
kind: 'Data',
|
|
21
43
|
name,
|
|
22
44
|
fields,
|
|
45
|
+
origin: NO_ORIGIN,
|
|
23
46
|
}),
|
|
47
|
+
Field: (name, type, constraints = [], typeInferred = false) => ({ name, type, annotations: [], constraints, typeInferred }),
|
|
48
|
+
Param: (name, type, constraints = [], typeInferred = false) => ({ name, type, annotations: [], constraints, typeInferred }),
|
|
24
49
|
Enum: (name, variants) => ({
|
|
25
50
|
kind: 'Enum',
|
|
26
51
|
name,
|
|
27
52
|
variants,
|
|
53
|
+
origin: NO_ORIGIN,
|
|
28
54
|
}),
|
|
29
|
-
Func: (name, typeParams, params, ret, effects, body, effectCaps = [], effectCapsExplicit = false, effectParams
|
|
55
|
+
Func: (name, typeParams, params, ret, effects, body, effectCaps = [], effectCapsExplicit = false, effectParams = [], annotations = []) => ({
|
|
30
56
|
kind: 'Func',
|
|
31
57
|
name,
|
|
32
58
|
typeParams: typeParams ?? [],
|
|
33
|
-
// annotations 为空时省略,与既有 golden 基线保持一致(仅 @entry 等显式注解时输出)
|
|
34
|
-
...(annotations.length > 0 ? { annotations } : {}),
|
|
35
59
|
params,
|
|
36
60
|
ret,
|
|
61
|
+
retTypeInferred: false,
|
|
62
|
+
annotations,
|
|
63
|
+
retAnnotations: [],
|
|
37
64
|
effects,
|
|
65
|
+
effectParams,
|
|
38
66
|
effectCaps: [...effectCaps],
|
|
39
67
|
effectCapsExplicit,
|
|
68
|
+
inputRefs: null,
|
|
40
69
|
body,
|
|
41
|
-
|
|
42
|
-
...(declaredEffects && declaredEffects.length > 0 ? { declaredEffects } : {}),
|
|
70
|
+
origin: NO_ORIGIN,
|
|
43
71
|
}),
|
|
44
72
|
Block: (statements) => ({
|
|
45
73
|
kind: 'Block',
|
|
46
74
|
statements,
|
|
75
|
+
origin: NO_ORIGIN,
|
|
47
76
|
}),
|
|
48
77
|
Scope: (statements) => ({
|
|
49
78
|
kind: 'Scope',
|
|
50
79
|
statements,
|
|
80
|
+
origin: NO_ORIGIN,
|
|
81
|
+
}),
|
|
82
|
+
// Constraints(ADR 0055 #4:Range 两端为规范十进制串)
|
|
83
|
+
Required: () => ({ kind: 'Required', origin: NO_ORIGIN }),
|
|
84
|
+
Range: (min, max) => ({
|
|
85
|
+
kind: 'Range',
|
|
86
|
+
min,
|
|
87
|
+
max,
|
|
88
|
+
origin: NO_ORIGIN,
|
|
51
89
|
}),
|
|
90
|
+
Pattern: (regexp) => ({ kind: 'Pattern', regexp, origin: NO_ORIGIN }),
|
|
52
91
|
// Statements
|
|
53
|
-
Let: (name, expr) => ({ kind: 'Let', name, expr }),
|
|
54
|
-
Set: (name, expr) => ({ kind: 'Set', name, expr }),
|
|
55
|
-
Return: (expr) => ({ kind: 'Return', expr }),
|
|
56
|
-
If: (cond, thenBlock, elseBlock) => ({ kind: 'If', cond, thenBlock, elseBlock }),
|
|
92
|
+
Let: (name, expr) => ({ kind: 'Let', name, expr, origin: NO_ORIGIN }),
|
|
93
|
+
Set: (name, expr) => ({ kind: 'Set', name, expr, origin: NO_ORIGIN }),
|
|
94
|
+
Return: (expr) => ({ kind: 'Return', expr, origin: NO_ORIGIN }),
|
|
95
|
+
If: (cond, thenBlock, elseBlock) => ({ kind: 'If', cond, thenBlock, elseBlock, origin: NO_ORIGIN }),
|
|
57
96
|
Match: (expr, cases) => ({
|
|
58
97
|
kind: 'Match',
|
|
59
98
|
expr,
|
|
60
99
|
cases,
|
|
100
|
+
origin: NO_ORIGIN,
|
|
61
101
|
}),
|
|
62
102
|
Case: (pattern, body) => ({
|
|
63
103
|
kind: 'Case',
|
|
64
104
|
pattern,
|
|
65
105
|
body,
|
|
106
|
+
origin: NO_ORIGIN,
|
|
66
107
|
}),
|
|
67
108
|
Start: (name, expr) => ({
|
|
68
109
|
kind: 'Start',
|
|
69
110
|
name,
|
|
70
111
|
expr,
|
|
112
|
+
origin: NO_ORIGIN,
|
|
71
113
|
}),
|
|
72
|
-
Wait: (names) => ({ kind: 'Wait', names }),
|
|
73
|
-
Workflow: (steps, effectCaps, retry, timeout) => ({
|
|
114
|
+
Wait: (names) => ({ kind: 'Wait', names, origin: NO_ORIGIN }),
|
|
115
|
+
Workflow: (steps, effectCaps, retry = null, timeout = null) => ({
|
|
74
116
|
kind: 'workflow',
|
|
75
117
|
steps,
|
|
76
118
|
effectCaps: [...effectCaps],
|
|
77
|
-
|
|
78
|
-
|
|
119
|
+
retry,
|
|
120
|
+
timeout,
|
|
121
|
+
origin: NO_ORIGIN,
|
|
79
122
|
}),
|
|
80
|
-
Step: (name, body, effectCaps, compensate, dependencies = []) => ({
|
|
123
|
+
Step: (name, body, effectCaps, compensate = null, dependencies = []) => ({
|
|
81
124
|
kind: 'step',
|
|
82
125
|
name,
|
|
83
126
|
body,
|
|
127
|
+
compensate,
|
|
84
128
|
dependencies,
|
|
85
129
|
effectCaps: [...effectCaps],
|
|
86
|
-
|
|
130
|
+
origin: NO_ORIGIN,
|
|
87
131
|
}),
|
|
88
132
|
// Expressions
|
|
89
|
-
Name: (name) => ({ kind: 'Name', name }),
|
|
90
|
-
Bool: (value) => ({ kind: 'Bool', value }),
|
|
91
|
-
Int: (value) => ({ kind: 'Int', value }),
|
|
92
|
-
Long: (value) => ({ kind: 'Long', value }),
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
133
|
+
Name: (name) => ({ kind: 'Name', name, origin: NO_ORIGIN }),
|
|
134
|
+
Bool: (value) => ({ kind: 'Bool', value, origin: NO_ORIGIN }),
|
|
135
|
+
Int: (value) => ({ kind: 'Int', value, origin: NO_ORIGIN }),
|
|
136
|
+
Long: (value) => ({ kind: 'Long', value, origin: NO_ORIGIN }),
|
|
137
|
+
/** ADR 0055 #18:value 是规范十进制串(由 lowering 从字面量原文求出)。 */
|
|
138
|
+
Double: (value) => ({ kind: 'Double', value, origin: NO_ORIGIN }),
|
|
139
|
+
Decimal: (value) => ({ kind: 'Decimal', value, origin: NO_ORIGIN }),
|
|
140
|
+
String: (value) => ({ kind: 'String', value, origin: NO_ORIGIN }),
|
|
141
|
+
Null: () => ({ kind: 'Null', origin: NO_ORIGIN }),
|
|
97
142
|
Call: (target, args) => ({
|
|
98
143
|
kind: 'Call',
|
|
99
144
|
target,
|
|
100
145
|
args,
|
|
146
|
+
origin: NO_ORIGIN,
|
|
147
|
+
}),
|
|
148
|
+
Construct: (typeName, fields) => ({ kind: 'Construct', typeName, fields, origin: NO_ORIGIN }),
|
|
149
|
+
Ok: (expr) => ({ kind: 'Ok', expr, origin: NO_ORIGIN }),
|
|
150
|
+
Err: (expr) => ({ kind: 'Err', expr, origin: NO_ORIGIN }),
|
|
151
|
+
Some: (expr) => ({ kind: 'Some', expr, origin: NO_ORIGIN }),
|
|
152
|
+
None: () => ({ kind: 'None', origin: NO_ORIGIN }),
|
|
153
|
+
Lambda: (params, ret, body, captures = []) => ({ kind: 'Lambda', params, ret, body, captures, origin: NO_ORIGIN }),
|
|
154
|
+
Await: (expr) => ({
|
|
155
|
+
kind: 'Await',
|
|
156
|
+
expr,
|
|
157
|
+
origin: NO_ORIGIN,
|
|
158
|
+
}),
|
|
159
|
+
// ADR 0019 G2b:表达式级 if(kind="IfExpr",与 core/truffle 对齐)。
|
|
160
|
+
IfExpr: (cond, thenE, elseE) => ({
|
|
161
|
+
kind: 'IfExpr',
|
|
162
|
+
cond,
|
|
163
|
+
thenE,
|
|
164
|
+
elseE,
|
|
165
|
+
origin: NO_ORIGIN,
|
|
166
|
+
}),
|
|
167
|
+
// ADR 0024 C0:列表字面量(kind="ListLit",与 Java CoreModel.ListE 对齐)。
|
|
168
|
+
ListLit: (elements) => ({
|
|
169
|
+
kind: 'ListLit',
|
|
170
|
+
elements,
|
|
171
|
+
origin: NO_ORIGIN,
|
|
101
172
|
}),
|
|
102
|
-
Construct: (typeName, fields) => ({ kind: 'Construct', typeName, fields }),
|
|
103
|
-
Ok: (expr) => ({ kind: 'Ok', expr }),
|
|
104
|
-
Err: (expr) => ({ kind: 'Err', expr }),
|
|
105
|
-
Some: (expr) => ({ kind: 'Some', expr }),
|
|
106
|
-
None: () => ({ kind: 'None' }),
|
|
107
173
|
// Types
|
|
108
|
-
TypeName: (name) => ({ kind: 'TypeName', name }),
|
|
109
|
-
Maybe: (type) => ({ kind: 'Maybe', type }),
|
|
110
|
-
Option: (type) => ({ kind: 'Option', type }),
|
|
174
|
+
TypeName: (name) => ({ kind: 'TypeName', name, origin: NO_ORIGIN }),
|
|
175
|
+
Maybe: (type) => ({ kind: 'Maybe', type, origin: NO_ORIGIN }),
|
|
176
|
+
Option: (type) => ({ kind: 'Option', type, origin: NO_ORIGIN }),
|
|
111
177
|
Result: (ok, err) => ({
|
|
112
178
|
kind: 'Result',
|
|
113
179
|
ok,
|
|
114
180
|
err,
|
|
181
|
+
origin: NO_ORIGIN,
|
|
115
182
|
}),
|
|
116
|
-
List: (type) => ({ kind: 'List', type }),
|
|
117
|
-
Map: (key, val) => ({ kind: 'Map', key, val }),
|
|
183
|
+
List: (type) => ({ kind: 'List', type, origin: NO_ORIGIN }),
|
|
184
|
+
Map: (key, val) => ({ kind: 'Map', key, val, origin: NO_ORIGIN }),
|
|
118
185
|
TypeApp: (base, args) => ({
|
|
119
186
|
kind: 'TypeApp',
|
|
120
187
|
base,
|
|
121
188
|
args,
|
|
189
|
+
origin: NO_ORIGIN,
|
|
122
190
|
}),
|
|
123
191
|
/** 与 Java CoreModel.FuncType 一致:只有 params / ret,不带 effects */
|
|
124
192
|
FuncType: (params, ret) => ({
|
|
125
193
|
kind: 'FuncType',
|
|
126
194
|
params,
|
|
127
195
|
ret,
|
|
196
|
+
origin: NO_ORIGIN,
|
|
128
197
|
}),
|
|
129
|
-
TypeVar: (name) => ({ kind: 'TypeVar', name }),
|
|
198
|
+
TypeVar: (name) => ({ kind: 'TypeVar', name, origin: NO_ORIGIN }),
|
|
130
199
|
Pii: (baseType, sensitivity, category) => ({
|
|
131
200
|
kind: 'PiiType',
|
|
132
201
|
baseType,
|
|
133
202
|
sensitivity,
|
|
134
203
|
category,
|
|
204
|
+
origin: NO_ORIGIN,
|
|
135
205
|
}),
|
|
136
206
|
// Patterns
|
|
137
|
-
PatNull: () => ({ kind: 'PatNull' }),
|
|
138
|
-
|
|
139
|
-
|
|
140
|
-
expr,
|
|
141
|
-
}),
|
|
142
|
-
// ADR 0019 G2b:表达式级 if(kind="IfExpr",与 core/truffle 对齐)。
|
|
143
|
-
IfExpr: (cond, thenE, elseE) => ({
|
|
144
|
-
kind: 'IfExpr',
|
|
145
|
-
cond,
|
|
146
|
-
thenE,
|
|
147
|
-
elseE,
|
|
148
|
-
}),
|
|
149
|
-
// ADR 0024 C0:列表字面量(kind="ListLit",与 Java CoreModel.ListE 对齐)。
|
|
150
|
-
ListLit: (elements) => ({
|
|
151
|
-
kind: 'ListLit',
|
|
152
|
-
elements,
|
|
153
|
-
}),
|
|
154
|
-
PatCtor: (typeName, names = [], args) => ({
|
|
207
|
+
PatNull: () => ({ kind: 'PatNull', origin: NO_ORIGIN }),
|
|
208
|
+
/** ADR 0055 #15、#16:构造器 / 枚举变体模式只用 args(嵌套模式),0 参变体为 args:[]。 */
|
|
209
|
+
PatCtor: (typeName, args = []) => ({
|
|
155
210
|
kind: 'PatCtor',
|
|
156
211
|
typeName,
|
|
157
|
-
|
|
158
|
-
|
|
212
|
+
args,
|
|
213
|
+
origin: NO_ORIGIN,
|
|
159
214
|
}),
|
|
160
|
-
PatName: (name) => ({ kind: 'PatName', name }),
|
|
161
|
-
PatInt: (value) => ({ kind: 'PatInt', value }),
|
|
215
|
+
PatName: (name) => ({ kind: 'PatName', name, origin: NO_ORIGIN }),
|
|
216
|
+
PatInt: (value) => ({ kind: 'PatInt', value, origin: NO_ORIGIN }),
|
|
162
217
|
};
|
|
163
218
|
//# sourceMappingURL=core_ir.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"core_ir.js","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"AAAA,4CAA4C;
|
|
1
|
+
{"version":3,"file":"core_ir.js","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAC5C,EAAE;AACF,4DAA4D;AAC5D,mEAAmE;AACnE,8DAA8D;AAC9D,+FAA+F;AAE/F,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAGrC,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,mDAAmD;AACnD,MAAM,CAAC,MAAM,SAAS,GAAqB,MAAM,CAAC,MAAM,CAAC;IACvD,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACzC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACvC,OAAO,EAAE,IAAI;IACb,IAAI,EAAE,IAAI;CACX,CAAC,CAAC;AAEH,yBAAyB;AACzB,MAAM,UAAU,UAAU,CAAC,MAAwB;IACjD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;AACjC,CAAC;AAED,+CAA+C;AAC/C,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAU,CAAC;AAIjD,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,oBAAoB;IACpB,MAAM,EAAE,CAAC,IAAmB,EAAE,KAAuC,EAAE,UAAyB,IAAI,EAAoB,EAAE,CAAC,CAAC;QAC1H,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,sBAAsB;QACrC,IAAI;QACJ,OAAO;QACP,KAAK;QACL,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,+DAA+D;IAC/D,MAAM,EAAE,CAAC,IAAY,EAAE,KAAoB,EAAE,UAAyB,IAAI,EAAoB,EAAE,CAAC,CAAC;QAChG,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;QACL,OAAO;QACP,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,MAAkC,EAAkB,EAAE,CAAC,CAAC;QAC3E,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,MAAM;QACN,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,KAAK,EAAE,CACL,IAAY,EACZ,IAAoB,EACpB,cAA+C,EAAE,EACjD,YAAY,GAAG,KAAK,EACH,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IAClF,KAAK,EAAE,CACL,IAAY,EACZ,IAAoB,EACpB,cAA+C,EAAE,EACjD,YAAY,GAAG,KAAK,EACC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IACtF,IAAI,EAAE,CAAC,IAAY,EAAE,QAA2B,EAAkB,EAAE,CAAC,CAAC;QACpE,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,QAAQ;QACR,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,UAAyC,EACzC,MAAsC,EACtC,GAAmB,EACnB,OAA0B,EAC1B,IAAqB,EACrB,aAAmB,EAAE,EACrB,kBAAkB,GAAG,KAAK,EAC1B,eAAkC,EAAE,EACpC,cAA+C,EAAE,EACjC,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAE,UAAU,IAAI,EAAE;QAC5B,MAAM;QACN,GAAG;QACH,eAAe,EAAE,KAAK;QACtB,WAAW;QACX,cAAc,EAAE,EAAE;QAClB,OAAO;QACP,YAAY;QACZ,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,kBAAkB;QAClB,SAAS,EAAE,IAAI;QACf,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,KAAK,EAAE,CAAC,UAA0C,EAAmB,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,UAAU;QACV,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,KAAK,EAAE,CAAC,UAA0C,EAAmB,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,UAAU;QACV,MAAM,EAAE,SAAS;KAClB,CAAC;IAEF,2CAA2C;IAC3C,QAAQ,EAAE,GAAiC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACvF,KAAK,EAAE,CAAC,GAAkB,EAAE,GAAkB,EAA6B,EAAE,CAAC,CAAC;QAC7E,IAAI,EAAE,OAAO;QACb,GAAG;QACH,GAAG;QACH,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,OAAO,EAAE,CAAC,MAAc,EAA+B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAE1G,aAAa;IACb,GAAG,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAClH,GAAG,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAClH,MAAM,EAAE,CAAC,IAA0B,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACvG,EAAE,EAAE,CACF,IAA0B,EAC1B,SAA0B,EAC1B,SAAiC,EACnB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAClF,KAAK,EAAE,CAAC,IAA0B,EAAE,KAAgC,EAAmB,EAAE,CAAC,CAAC;QACzF,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,KAAK;QACL,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CAAC,OAA0B,EAAE,IAAwC,EAAkB,EAAE,CAAC,CAAC;QAC/F,IAAI,EAAE,MAAM;QACZ,OAAO;QACP,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,KAAK,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAmB,EAAE,CAAC,CAAC;QACrE,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CAAC,KAAwB,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAChG,QAAQ,EAAE,CACR,KAAgC,EAChC,UAAgB,EAChB,QAAsC,IAAI,EAC1C,UAAoC,IAAI,EACpB,EAAE,CAAC,CAAC;QACxB,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,KAAK;QACL,OAAO;QACP,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,IAAqB,EACrB,UAAgB,EAChB,aAAqC,IAAI,EACzC,eAAkC,EAAE,EACpB,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,IAAI;QACJ,UAAU;QACV,YAAY;QACZ,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,MAAM,EAAE,SAAS;KAClB,CAAC;IAEF,cAAc;IACd,IAAI,EAAE,CAAC,IAAY,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACnF,IAAI,EAAE,CAAC,KAAc,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACtF,GAAG,EAAE,CAAC,KAAa,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAClF,IAAI,EAAE,CAAC,KAAa,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACrF,uDAAuD;IACvD,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,OAAO,EAAE,CAAC,KAAa,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC9F,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,IAAI,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACjE,IAAI,EAAE,CAAC,MAA4B,EAAE,IAAqC,EAAkB,EAAE,CAAC,CAAC;QAC9F,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,SAAS,EAAE,CACT,QAAgB,EAChB,MAA2C,EACtB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACtF,EAAE,EAAE,CAAC,IAA0B,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,GAAG,EAAE,CAAC,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC9F,IAAI,EAAE,CAAC,IAA0B,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACjG,IAAI,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACjE,MAAM,EAAE,CACN,MAAsC,EACtC,GAAmB,EACnB,IAAqB,EACrB,WAA8B,EAAE,EACd,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,KAAK,EAAE,CAAC,IAA0B,EAAmB,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,yDAAyD;IACzD,MAAM,EAAE,CACN,IAA0B,EAC1B,KAA2B,EAC3B,KAA2B,EACT,EAAE,CAAC,CAAC;QACtB,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;QACL,KAAK;QACL,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,+DAA+D;IAC/D,OAAO,EAAE,CAAC,QAAyC,EAAqB,EAAE,CAAC,CAAC;QAC1E,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,MAAM,EAAE,SAAS;KAClB,CAAC;IAEF,QAAQ;IACR,QAAQ,EAAE,CAAC,IAAY,EAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC/F,KAAK,EAAE,CAAC,IAAoB,EAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC9F,MAAM,EAAE,CAAC,IAAoB,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACjG,MAAM,EAAE,CAAC,EAAkB,EAAE,GAAmB,EAAoB,EAAE,CAAC,CAAC;QACtE,IAAI,EAAE,QAAQ;QACd,EAAE;QACF,GAAG;QACH,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,IAAI,EAAE,CAAC,IAAoB,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC3F,GAAG,EAAE,CAAC,GAAmB,EAAE,GAAmB,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAChH,OAAO,EAAE,CAAC,IAAY,EAAE,IAA+B,EAAqB,EAAE,CAAC,CAAC;QAC9E,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,8DAA8D;IAC9D,QAAQ,EAAE,CAAC,MAAiC,EAAE,GAAmB,EAAsB,EAAE,CAAC,CAAC;QACzF,IAAI,EAAE,UAAU;QAChB,MAAM;QACN,GAAG;QACH,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC5F,GAAG,EAAE,CAAC,QAAwB,EAAE,WAAmB,EAAE,QAAgB,EAAqB,EAAE,CAAC,CAAC;QAC5F,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,WAAW;QACX,QAAQ;QACR,MAAM,EAAE,SAAS;KAClB,CAAC;IAEF,WAAW;IACX,OAAO,EAAE,GAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC1E,iEAAiE;IACjE,OAAO,EAAE,CAAC,QAAgB,EAAE,OAAqC,EAAE,EAAqB,EAAE,CAAC,CAAC;QAC1F,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,IAAI;QACJ,MAAM,EAAE,SAAS;KAClB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC5F,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;CAC5F,CAAC"}
|
package/dist/src/core/index.d.ts
CHANGED
|
@@ -7,14 +7,15 @@
|
|
|
7
7
|
* - Core IR 构造器 (Core)
|
|
8
8
|
* - Core IR 遍历器 (DefaultCoreVisitor, CoreVisitor)
|
|
9
9
|
* - Core IR 格式化器 (formatModule)
|
|
10
|
-
* - Core IR
|
|
10
|
+
* - Core IR v2 规范序列化与严格读入 (serializeCoreIr, readCoreIr,ADR 0055)
|
|
11
11
|
*/
|
|
12
12
|
export { Core, Effect } from './core_ir.js';
|
|
13
13
|
export { DefaultCoreVisitor, createVisitorContext, } from './visitor.js';
|
|
14
14
|
export type { CoreVisitor, VisitorContext } from './visitor.js';
|
|
15
15
|
export { formatModule } from './pretty_core.js';
|
|
16
|
-
export {
|
|
17
|
-
export type {
|
|
16
|
+
export { serializeCoreIr, validateCoreIrInvariants } from './serialize-core-ir.js';
|
|
17
|
+
export type { CoreIrProblem } from './serialize-core-ir.js';
|
|
18
|
+
export { readCoreIr, CoreIrFormatError } from './read-core-ir.js';
|
|
18
19
|
export { evaluate, serializeGuestValue } from './interpreter.js';
|
|
19
20
|
export type { EvalResult } from './interpreter.js';
|
|
20
21
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AACnF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC"}
|
package/dist/src/core/index.js
CHANGED
|
@@ -7,11 +7,12 @@
|
|
|
7
7
|
* - Core IR 构造器 (Core)
|
|
8
8
|
* - Core IR 遍历器 (DefaultCoreVisitor, CoreVisitor)
|
|
9
9
|
* - Core IR 格式化器 (formatModule)
|
|
10
|
-
* - Core IR
|
|
10
|
+
* - Core IR v2 规范序列化与严格读入 (serializeCoreIr, readCoreIr,ADR 0055)
|
|
11
11
|
*/
|
|
12
12
|
export { Core, Effect } from './core_ir.js';
|
|
13
13
|
export { DefaultCoreVisitor, createVisitorContext, } from './visitor.js';
|
|
14
14
|
export { formatModule } from './pretty_core.js';
|
|
15
|
-
export {
|
|
15
|
+
export { serializeCoreIr, validateCoreIrInvariants } from './serialize-core-ir.js';
|
|
16
|
+
export { readCoreIr, CoreIrFormatError } from './read-core-ir.js';
|
|
16
17
|
export { evaluate, serializeGuestValue } from './interpreter.js';
|
|
17
18
|
//# sourceMappingURL=index.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAEnF,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC"}
|
|
@@ -1,16 +1,14 @@
|
|
|
1
1
|
import type { Core } from '../types.js';
|
|
2
|
-
/** 登记一个未声明类型的字段(仅供降级阶段调用)。 */
|
|
3
|
-
export declare function markFieldTypeInferred(field: Core.Field): void;
|
|
4
|
-
/** 字段是否在源码中未声明类型。 */
|
|
5
|
-
export declare function isFieldTypeInferred(field: Core.Field): boolean;
|
|
6
2
|
/**
|
|
7
|
-
*
|
|
8
|
-
*
|
|
3
|
+
* 「类型未在源码中声明」的查询(ADR 0055 #9:typeInferred 是 Core IR v2 的恒输出字段)。
|
|
4
|
+
*
|
|
5
|
+
* `Define X has a, b.` 这类字段没有 `as <Type>`,降级时 `type` 按命名推断填入,构造器检查继续沿用
|
|
6
|
+
* 推断类型;但成员访问时类型检查器要把它当作动态值(Unknown),与 Java BaseTypeChecker 对点号名
|
|
7
|
+
* 一律给 Unknown 的语义对齐。名称解析 R2(ADR 0051 §4、裁决 R31)只把声明类型当作类型来源。
|
|
8
|
+
* v1 用旁路表携带这一事实以免改变 IR;v2 起它就是 IR 字段,这里只读字段。
|
|
9
9
|
*/
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
export declare function markLambdaParamTypeInferred(param: LambdaParam): void;
|
|
10
|
+
/** 字段是否在源码中未声明类型。 */
|
|
11
|
+
export declare function isFieldTypeInferred(field: Core.Field): boolean;
|
|
13
12
|
/** lambda 参数是否在源码中未声明类型。 */
|
|
14
|
-
export declare function isLambdaParamTypeInferred(param:
|
|
15
|
-
export {};
|
|
13
|
+
export declare function isLambdaParamTypeInferred(param: Core.Parameter): boolean;
|
|
16
14
|
//# sourceMappingURL=inferred_fields.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"inferred_fields.d.ts","sourceRoot":"","sources":["../../../src/core/inferred_fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"inferred_fields.d.ts","sourceRoot":"","sources":["../../../src/core/inferred_fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC;;;;;;;GAOG;AAEH,qBAAqB;AACrB,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,OAAO,CAE9D;AAED,4BAA4B;AAC5B,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,GAAG,OAAO,CAExE"}
|