@tsonic/emitter 0.0.76 → 0.0.78
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/.tsbuildinfo +1 -1
- package/dist/array.test.js +8 -4
- package/dist/array.test.js.map +1 -1
- package/dist/core/format/backend-ast/invariants.test.js +5 -0
- package/dist/core/format/backend-ast/invariants.test.js.map +1 -1
- package/dist/core/format/backend-ast/printer-colon-detection.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer-colon-detection.js +2 -0
- package/dist/core/format/backend-ast/printer-colon-detection.js.map +1 -1
- package/dist/core/format/backend-ast/printer-expressions.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer-expressions.js +4 -0
- package/dist/core/format/backend-ast/printer-expressions.js.map +1 -1
- package/dist/core/format/backend-ast/printer-precedence.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer-precedence.js +1 -0
- package/dist/core/format/backend-ast/printer-precedence.js.map +1 -1
- package/dist/core/format/backend-ast/types/expression-ast.d.ts +5 -1
- package/dist/core/format/backend-ast/types/expression-ast.d.ts.map +1 -1
- package/dist/core/format/backend-ast/utils.d.ts +3 -0
- package/dist/core/format/backend-ast/utils.d.ts.map +1 -1
- package/dist/core/format/backend-ast/utils.js +39 -0
- package/dist/core/format/backend-ast/utils.js.map +1 -1
- package/dist/core/format/backend-ast/utils.test.js +13 -1
- package/dist/core/format/backend-ast/utils.test.js.map +1 -1
- package/dist/core/format/local-names.d.ts.map +1 -1
- package/dist/core/format/local-names.js +3 -2
- package/dist/core/format/local-names.js.map +1 -1
- package/dist/core/format/local-names.test.js +7 -6
- package/dist/core/format/local-names.test.js.map +1 -1
- package/dist/core/format/module-emitter/orchestrator.d.ts.map +1 -1
- package/dist/core/format/module-emitter/orchestrator.js +3 -1
- package/dist/core/format/module-emitter/orchestrator.js.map +1 -1
- package/dist/core/format/module-emitter/static-container.d.ts.map +1 -1
- package/dist/core/format/module-emitter/static-container.js +2 -4
- package/dist/core/format/module-emitter/static-container.js.map +1 -1
- package/dist/core/module-emitter-cases/class-and-recursion.test.js +4 -1
- package/dist/core/module-emitter-cases/class-and-recursion.test.js.map +1 -1
- package/dist/core/module-emitter-cases/static-containers.test.js +113 -2
- package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -1
- package/dist/core/semantic/adapt-result.d.ts +20 -0
- package/dist/core/semantic/adapt-result.d.ts.map +1 -0
- package/dist/core/semantic/adapt-result.js +30 -0
- package/dist/core/semantic/adapt-result.js.map +1 -0
- package/dist/core/semantic/array-expected-types.d.ts.map +1 -1
- package/dist/core/semantic/array-expected-types.js +1 -1
- package/dist/core/semantic/array-expected-types.js.map +1 -1
- package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
- package/dist/core/semantic/assignment-flow.js +28 -4
- package/dist/core/semantic/assignment-flow.js.map +1 -1
- package/dist/core/semantic/async-wrapper-types.d.ts +1 -0
- package/dist/core/semantic/async-wrapper-types.d.ts.map +1 -1
- package/dist/core/semantic/async-wrapper-types.js +19 -1
- package/dist/core/semantic/async-wrapper-types.js.map +1 -1
- package/dist/core/semantic/boolean-condition-main.d.ts.map +1 -1
- package/dist/core/semantic/boolean-condition-main.js +6 -2
- package/dist/core/semantic/boolean-condition-main.js.map +1 -1
- package/dist/core/semantic/boolean-context.test.js +2 -1
- package/dist/core/semantic/boolean-context.test.js.map +1 -1
- package/dist/core/semantic/broad-array-storage.d.ts.map +1 -1
- package/dist/core/semantic/broad-array-storage.js +2 -5
- package/dist/core/semantic/broad-array-storage.js.map +1 -1
- package/dist/core/semantic/broad-object-types.d.ts +1 -0
- package/dist/core/semantic/broad-object-types.d.ts.map +1 -1
- package/dist/core/semantic/broad-object-types.js +39 -0
- package/dist/core/semantic/broad-object-types.js.map +1 -1
- package/dist/core/semantic/clr-type-identity.d.ts +1 -2
- package/dist/core/semantic/clr-type-identity.d.ts.map +1 -1
- package/dist/core/semantic/clr-type-identity.js +3 -65
- package/dist/core/semantic/clr-type-identity.js.map +1 -1
- package/dist/core/semantic/comparable-types.d.ts.map +1 -1
- package/dist/core/semantic/comparable-types.js +61 -27
- package/dist/core/semantic/comparable-types.js.map +1 -1
- package/dist/core/semantic/comparable-types.test.js.map +1 -1
- package/dist/core/semantic/deterministic-type-keys.d.ts.map +1 -1
- package/dist/core/semantic/deterministic-type-keys.js +90 -37
- package/dist/core/semantic/deterministic-type-keys.js.map +1 -1
- package/dist/core/semantic/deterministic-type-keys.test.d.ts +2 -0
- package/dist/core/semantic/deterministic-type-keys.test.d.ts.map +1 -0
- package/dist/core/semantic/deterministic-type-keys.test.js +38 -0
- package/dist/core/semantic/deterministic-type-keys.test.js.map +1 -0
- package/dist/core/semantic/direct-storage-ir-types.d.ts +1 -1
- package/dist/core/semantic/direct-storage-ir-types.d.ts.map +1 -1
- package/dist/core/semantic/direct-storage-ir-types.js +12 -3
- package/dist/core/semantic/direct-storage-ir-types.js.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.d.ts.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.js +166 -6
- package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.test.js +69 -6
- package/dist/core/semantic/direct-value-surfaces.test.js.map +1 -1
- package/dist/core/semantic/expected-type-matching.d.ts.map +1 -1
- package/dist/core/semantic/expected-type-matching.js +4 -5
- package/dist/core/semantic/expected-type-matching.js.map +1 -1
- package/dist/core/semantic/implicit-interfaces.d.ts.map +1 -1
- package/dist/core/semantic/implicit-interfaces.js.map +1 -1
- package/dist/core/semantic/imports-cases/basic-and-local.test.js +8 -8
- package/dist/core/semantic/imports-cases/basic-and-local.test.js.map +1 -1
- package/dist/core/semantic/imports.js +3 -2
- package/dist/core/semantic/imports.js.map +1 -1
- package/dist/core/semantic/index.d.ts +1 -1
- package/dist/core/semantic/index.d.ts.map +1 -1
- package/dist/core/semantic/index.js +1 -1
- package/dist/core/semantic/index.js.map +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.d.ts.map +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.js +2 -10
- package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
- package/dist/core/semantic/materialized-narrowing.d.ts +1 -0
- package/dist/core/semantic/materialized-narrowing.d.ts.map +1 -1
- package/dist/core/semantic/materialized-narrowing.js +170 -34
- package/dist/core/semantic/materialized-narrowing.js.map +1 -1
- package/dist/core/semantic/materialized-narrowing.test.js +24 -6
- package/dist/core/semantic/materialized-narrowing.test.js.map +1 -1
- package/dist/core/semantic/module-map.d.ts.map +1 -1
- package/dist/core/semantic/module-map.js +4 -6
- package/dist/core/semantic/module-map.js.map +1 -1
- package/dist/core/semantic/module-type-collisions.d.ts +7 -0
- package/dist/core/semantic/module-type-collisions.d.ts.map +1 -0
- package/dist/core/semantic/module-type-collisions.js +24 -0
- package/dist/core/semantic/module-type-collisions.js.map +1 -0
- package/dist/core/semantic/mutable-storage-helpers.d.ts +1 -1
- package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
- package/dist/core/semantic/mutable-storage-helpers.js +5 -12
- package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
- package/dist/core/semantic/naming-collisions.d.ts.map +1 -1
- package/dist/core/semantic/naming-collisions.js +13 -3
- package/dist/core/semantic/naming-collisions.js.map +1 -1
- package/dist/core/semantic/narrowed-expression-types.d.ts +3 -1
- package/dist/core/semantic/narrowed-expression-types.d.ts.map +1 -1
- package/dist/core/semantic/narrowed-expression-types.js +139 -17
- package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
- package/dist/core/semantic/narrowed-union-resolution.d.ts.map +1 -1
- package/dist/core/semantic/narrowed-union-resolution.js +14 -3
- package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
- package/dist/core/semantic/narrowing-builder-core.d.ts +3 -2
- package/dist/core/semantic/narrowing-builder-core.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-builder-core.js +85 -126
- package/dist/core/semantic/narrowing-builder-core.js.map +1 -1
- package/dist/core/semantic/narrowing-builder-core.test.js +3 -2
- package/dist/core/semantic/narrowing-builder-core.test.js.map +1 -1
- package/dist/core/semantic/narrowing-builder-unions.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-builder-unions.js +43 -7
- package/dist/core/semantic/narrowing-builder-unions.js.map +1 -1
- package/dist/core/semantic/narrowing-builders.d.ts +1 -1
- package/dist/core/semantic/narrowing-builders.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-builders.js +1 -1
- package/dist/core/semantic/narrowing-builders.js.map +1 -1
- package/dist/core/semantic/narrowing-refinements.d.ts +1 -1
- package/dist/core/semantic/narrowing-refinements.d.ts.map +1 -1
- package/dist/core/semantic/narrowing-refinements.js +1 -1
- package/dist/core/semantic/narrowing-refinements.js.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.d.ts +1 -5
- package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.js +136 -88
- package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
- package/dist/core/semantic/nullish-value-helpers.d.ts +1 -1
- package/dist/core/semantic/nullish-value-helpers.d.ts.map +1 -1
- package/dist/core/semantic/nullish-value-helpers.js +18 -9
- package/dist/core/semantic/nullish-value-helpers.js.map +1 -1
- package/dist/core/semantic/runtime-materialization-targets.js +1 -1
- package/dist/core/semantic/runtime-materialization-targets.js.map +1 -1
- package/dist/core/semantic/runtime-reification.d.ts +1 -0
- package/dist/core/semantic/runtime-reification.d.ts.map +1 -1
- package/dist/core/semantic/runtime-reification.js +141 -35
- package/dist/core/semantic/runtime-reification.js.map +1 -1
- package/dist/core/semantic/runtime-union-family-preservation.js +1 -1
- package/dist/core/semantic/runtime-union-family-preservation.js.map +1 -1
- package/dist/core/semantic/runtime-union-frame.d.ts +6 -0
- package/dist/core/semantic/runtime-union-frame.d.ts.map +1 -0
- package/dist/core/semantic/runtime-union-frame.js +130 -0
- package/dist/core/semantic/runtime-union-frame.js.map +1 -0
- package/dist/core/semantic/runtime-union-matching.d.ts.map +1 -1
- package/dist/core/semantic/runtime-union-matching.js +13 -0
- package/dist/core/semantic/runtime-union-matching.js.map +1 -1
- package/dist/core/semantic/runtime-union-member-mapping.test.js +1 -1
- package/dist/core/semantic/runtime-union-member-mapping.test.js.map +1 -1
- package/dist/core/semantic/runtime-union-ordering.d.ts.map +1 -1
- package/dist/core/semantic/runtime-union-ordering.js +10 -22
- package/dist/core/semantic/runtime-union-ordering.js.map +1 -1
- package/dist/core/semantic/runtime-union-projection.d.ts.map +1 -1
- package/dist/core/semantic/runtime-union-projection.js +23 -7
- package/dist/core/semantic/runtime-union-projection.js.map +1 -1
- package/dist/core/semantic/runtime-union-projection.test.js +19 -1
- package/dist/core/semantic/runtime-union-projection.test.js.map +1 -1
- package/dist/core/semantic/runtime-union-registry.js +13 -13
- package/dist/core/semantic/runtime-union-registry.js.map +1 -1
- package/dist/core/semantic/runtime-unions.d.ts +3 -4
- package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
- package/dist/core/semantic/runtime-unions.js +46 -145
- package/dist/core/semantic/runtime-unions.js.map +1 -1
- package/dist/core/semantic/runtime-unions.test.js +12 -7
- package/dist/core/semantic/runtime-unions.test.js.map +1 -1
- package/dist/core/semantic/semantic-union-members.d.ts.map +1 -1
- package/dist/core/semantic/semantic-union-members.js +1 -1
- package/dist/core/semantic/semantic-union-members.js.map +1 -1
- package/dist/core/semantic/storage-erased-adaptation.d.ts.map +1 -1
- package/dist/core/semantic/storage-erased-adaptation.js +8 -11
- package/dist/core/semantic/storage-erased-adaptation.js.map +1 -1
- package/dist/core/semantic/storage-erased-adaptation.test.js +4 -1
- package/dist/core/semantic/storage-erased-adaptation.test.js.map +1 -1
- package/dist/core/semantic/storage-types.d.ts +3 -0
- package/dist/core/semantic/storage-types.d.ts.map +1 -1
- package/dist/core/semantic/storage-types.js +17 -4
- package/dist/core/semantic/storage-types.js.map +1 -1
- package/dist/core/semantic/structural-shape-matching.d.ts +5 -1
- package/dist/core/semantic/structural-shape-matching.d.ts.map +1 -1
- package/dist/core/semantic/structural-shape-matching.js +29 -4
- package/dist/core/semantic/structural-shape-matching.js.map +1 -1
- package/dist/core/semantic/surface-member-semantics.d.ts +14 -0
- package/dist/core/semantic/surface-member-semantics.d.ts.map +1 -0
- package/dist/core/semantic/surface-member-semantics.js +41 -0
- package/dist/core/semantic/surface-member-semantics.js.map +1 -0
- package/dist/core/semantic/symbol-types.d.ts +2 -9
- package/dist/core/semantic/symbol-types.d.ts.map +1 -1
- package/dist/core/semantic/symbol-types.js +7 -11
- package/dist/core/semantic/symbol-types.js.map +1 -1
- package/dist/core/semantic/ternary-guards.d.ts +1 -1
- package/dist/core/semantic/ternary-guards.d.ts.map +1 -1
- package/dist/core/semantic/ternary-guards.js +2 -1
- package/dist/core/semantic/ternary-guards.js.map +1 -1
- package/dist/core/semantic/truthiness-evaluation.d.ts.map +1 -1
- package/dist/core/semantic/truthiness-evaluation.js +3 -3
- package/dist/core/semantic/truthiness-evaluation.js.map +1 -1
- package/dist/core/semantic/type-compatibility.d.ts +4 -2
- package/dist/core/semantic/type-compatibility.d.ts.map +1 -1
- package/dist/core/semantic/type-compatibility.js +62 -2
- package/dist/core/semantic/type-compatibility.js.map +1 -1
- package/dist/core/semantic/type-domains.d.ts +17 -0
- package/dist/core/semantic/type-domains.d.ts.map +1 -0
- package/dist/core/semantic/type-domains.js +7 -0
- package/dist/core/semantic/type-domains.js.map +1 -0
- package/dist/core/semantic/type-equivalence.d.ts.map +1 -1
- package/dist/core/semantic/type-equivalence.js +12 -7
- package/dist/core/semantic/type-equivalence.js.map +1 -1
- package/dist/core/semantic/type-equivalence.test.js +34 -0
- package/dist/core/semantic/type-equivalence.test.js.map +1 -1
- package/dist/core/semantic/type-resolution-cases/array-like-element.test.js +13 -4
- package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map +1 -1
- package/dist/core/semantic/type-resolution-cases/helpers.d.ts +2 -2
- package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map +1 -1
- package/dist/core/semantic/type-resolution-cases/helpers.js +2 -2
- package/dist/core/semantic/type-resolution-cases/helpers.js.map +1 -1
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts +2 -0
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts.map +1 -0
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js +36 -0
- package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js.map +1 -0
- package/dist/core/semantic/type-resolution.test.d.ts +1 -1
- package/dist/core/semantic/type-resolution.test.d.ts.map +1 -1
- package/dist/core/semantic/type-resolution.test.js +1 -1
- package/dist/core/semantic/type-resolution.test.js.map +1 -1
- package/dist/core/semantic/type-substitution.d.ts.map +1 -1
- package/dist/core/semantic/type-substitution.js +2 -1
- package/dist/core/semantic/type-substitution.js.map +1 -1
- package/dist/core/semantic/typeof-comparison.d.ts +14 -0
- package/dist/core/semantic/typeof-comparison.d.ts.map +1 -0
- package/dist/core/semantic/typeof-comparison.js +47 -0
- package/dist/core/semantic/typeof-comparison.js.map +1 -0
- package/dist/core/semantic/union-predicate-matching.d.ts.map +1 -1
- package/dist/core/semantic/union-predicate-matching.js +1 -1
- package/dist/core/semantic/union-predicate-matching.js.map +1 -1
- package/dist/core/semantic/union-semantics.js +1 -1
- package/dist/core/semantic/union-semantics.js.map +1 -1
- package/dist/core/semantic/union-typeof-matching.d.ts.map +1 -1
- package/dist/core/semantic/union-typeof-matching.js +72 -22
- package/dist/core/semantic/union-typeof-matching.js.map +1 -1
- package/dist/core/semantic/variable-type-resolution.d.ts +1 -0
- package/dist/core/semantic/variable-type-resolution.d.ts.map +1 -1
- package/dist/core/semantic/variable-type-resolution.js +62 -6
- package/dist/core/semantic/variable-type-resolution.js.map +1 -1
- package/dist/duplicate-type-suppression.d.ts.map +1 -1
- package/dist/duplicate-type-suppression.js.map +1 -1
- package/dist/emitter-types/context.d.ts +1 -0
- package/dist/emitter-types/context.d.ts.map +1 -1
- package/dist/emitter-types/context.js +13 -1
- package/dist/emitter-types/context.js.map +1 -1
- package/dist/emitter-types/core.d.ts +10 -9
- package/dist/emitter-types/core.d.ts.map +1 -1
- package/dist/emitter-types/fqn.d.ts +0 -1
- package/dist/emitter-types/fqn.d.ts.map +1 -1
- package/dist/emitter-types/fqn.js +0 -1
- package/dist/emitter-types/fqn.js.map +1 -1
- package/dist/emitter-types/index.d.ts +1 -1
- package/dist/emitter-types/index.d.ts.map +1 -1
- package/dist/emitter-types/index.js +1 -1
- package/dist/emitter-types/index.js.map +1 -1
- package/dist/emitter.d.ts +3 -3
- package/dist/emitter.d.ts.map +1 -1
- package/dist/emitter.js +1 -7
- package/dist/emitter.js.map +1 -1
- package/dist/expression-emitter.d.ts.map +1 -1
- package/dist/expression-emitter.js +7 -2
- package/dist/expression-emitter.js.map +1 -1
- package/dist/expressions/access-binding.d.ts.map +1 -1
- package/dist/expressions/access-binding.js +38 -66
- package/dist/expressions/access-binding.js.map +1 -1
- package/dist/expressions/access-computed.d.ts.map +1 -1
- package/dist/expressions/access-computed.js +10 -15
- package/dist/expressions/access-computed.js.map +1 -1
- package/dist/expressions/access-function-length.d.ts +13 -0
- package/dist/expressions/access-function-length.d.ts.map +1 -0
- package/dist/expressions/access-function-length.js +115 -0
- package/dist/expressions/access-function-length.js.map +1 -0
- package/dist/expressions/access-length.d.ts +5 -11
- package/dist/expressions/access-length.d.ts.map +1 -1
- package/dist/expressions/access-length.js +18 -242
- package/dist/expressions/access-length.js.map +1 -1
- package/dist/expressions/access-length.test.js +17 -0
- package/dist/expressions/access-length.test.js.map +1 -1
- package/dist/expressions/access-property.d.ts +1 -2
- package/dist/expressions/access-property.d.ts.map +1 -1
- package/dist/expressions/access-property.js +20 -94
- package/dist/expressions/access-property.js.map +1 -1
- package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
- package/dist/expressions/access-resolution-receivers.js +24 -17
- package/dist/expressions/access-resolution-receivers.js.map +1 -1
- package/dist/expressions/access-resolution-types.d.ts.map +1 -1
- package/dist/expressions/access-resolution-types.js +7 -0
- package/dist/expressions/access-resolution-types.js.map +1 -1
- package/dist/expressions/access.d.ts +2 -2
- package/dist/expressions/access.d.ts.map +1 -1
- package/dist/expressions/access.js +11 -22
- package/dist/expressions/access.js.map +1 -1
- package/dist/expressions/architecture-invariants.test.js +112 -0
- package/dist/expressions/architecture-invariants.test.js.map +1 -1
- package/dist/expressions/await-normalization.d.ts.map +1 -1
- package/dist/expressions/await-normalization.js +53 -13
- package/dist/expressions/await-normalization.js.map +1 -1
- package/dist/expressions/awaitable-adaptation.d.ts +15 -0
- package/dist/expressions/awaitable-adaptation.d.ts.map +1 -0
- package/dist/expressions/awaitable-adaptation.js +174 -0
- package/dist/expressions/awaitable-adaptation.js.map +1 -0
- package/dist/expressions/calls/call-analysis.d.ts +0 -1
- package/dist/expressions/calls/call-analysis.d.ts.map +1 -1
- package/dist/expressions/calls/call-analysis.js +0 -7
- package/dist/expressions/calls/call-analysis.js.map +1 -1
- package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
- package/dist/expressions/calls/call-arguments-emit.js +236 -35
- package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
- package/dist/expressions/calls/call-arguments-helpers.d.ts.map +1 -1
- package/dist/expressions/calls/call-arguments-helpers.js +2 -2
- package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
- package/dist/expressions/calls/call-array-interop.d.ts +1 -1
- package/dist/expressions/calls/call-array-interop.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-interop.js +1 -1
- package/dist/expressions/calls/call-array-interop.js.map +1 -1
- package/dist/expressions/calls/call-array-mutation.d.ts +0 -1
- package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-mutation.js +9 -36
- package/dist/expressions/calls/call-array-mutation.js.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.js +9 -12
- package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
- package/dist/expressions/calls/call-emitter.d.ts +1 -1
- package/dist/expressions/calls/call-emitter.d.ts.map +1 -1
- package/dist/expressions/calls/call-emitter.js +85 -7
- package/dist/expressions/calls/call-emitter.js.map +1 -1
- package/dist/expressions/calls/call-json.d.ts +1 -1
- package/dist/expressions/calls/call-json.d.ts.map +1 -1
- package/dist/expressions/calls/call-json.js +50 -84
- package/dist/expressions/calls/call-json.js.map +1 -1
- package/dist/expressions/calls/call-promise-ir-types.d.ts.map +1 -1
- package/dist/expressions/calls/call-promise-ir-types.js.map +1 -1
- package/dist/expressions/calls/call-runtime-union-guards.d.ts.map +1 -1
- package/dist/expressions/calls/call-runtime-union-guards.js +10 -1
- package/dist/expressions/calls/call-runtime-union-guards.js.map +1 -1
- package/dist/expressions/calls/new-emitter-collections.d.ts +7 -4
- package/dist/expressions/calls/new-emitter-collections.d.ts.map +1 -1
- package/dist/expressions/calls/new-emitter-collections.js +64 -25
- package/dist/expressions/calls/new-emitter-collections.js.map +1 -1
- package/dist/expressions/calls/new-emitter.d.ts.map +1 -1
- package/dist/expressions/calls/new-emitter.js +4 -5
- package/dist/expressions/calls/new-emitter.js.map +1 -1
- package/dist/expressions/direct-storage-types.d.ts.map +1 -1
- package/dist/expressions/direct-storage-types.js +76 -15
- package/dist/expressions/direct-storage-types.js.map +1 -1
- package/dist/expressions/exact-comparison.d.ts.map +1 -1
- package/dist/expressions/exact-comparison.js +3 -1
- package/dist/expressions/exact-comparison.js.map +1 -1
- package/dist/expressions/expected-type-adaptation.d.ts +1 -1
- package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
- package/dist/expressions/expected-type-adaptation.js +164 -30
- package/dist/expressions/expected-type-adaptation.js.map +1 -1
- package/dist/expressions/expected-type-adaptation.test.js +81 -26
- package/dist/expressions/expected-type-adaptation.test.js.map +1 -1
- package/dist/expressions/identifier-storage/broad-storage-target.d.ts +4 -0
- package/dist/expressions/identifier-storage/broad-storage-target.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/broad-storage-target.js +26 -0
- package/dist/expressions/identifier-storage/broad-storage-target.js.map +1 -0
- package/dist/expressions/identifier-storage/implicit-storage.d.ts +14 -0
- package/dist/expressions/identifier-storage/implicit-storage.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/implicit-storage.js +44 -0
- package/dist/expressions/identifier-storage/implicit-storage.js.map +1 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.d.ts +7 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.js +92 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.js.map +1 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts +14 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.js +168 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.js.map +1 -0
- package/dist/expressions/identifier-storage/reified-storage.d.ts +7 -0
- package/dist/expressions/identifier-storage/reified-storage.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/reified-storage.js +25 -0
- package/dist/expressions/identifier-storage/reified-storage.js.map +1 -0
- package/dist/expressions/identifier-storage/runtime-subset.d.ts +14 -0
- package/dist/expressions/identifier-storage/runtime-subset.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/runtime-subset.js +100 -0
- package/dist/expressions/identifier-storage/runtime-subset.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-compatible.d.ts +10 -0
- package/dist/expressions/identifier-storage/storage-compatible.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-compatible.js +76 -0
- package/dist/expressions/identifier-storage/storage-compatible.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-match.d.ts +4 -0
- package/dist/expressions/identifier-storage/storage-surface-match.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-match.js +95 -0
- package/dist/expressions/identifier-storage/storage-surface-match.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.d.ts +12 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.js +77 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface.d.ts +9 -0
- package/dist/expressions/identifier-storage/storage-surface.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface.js +9 -0
- package/dist/expressions/identifier-storage/storage-surface.js.map +1 -0
- package/dist/expressions/identifier-storage.d.ts +1 -42
- package/dist/expressions/identifier-storage.d.ts.map +1 -1
- package/dist/expressions/identifier-storage.js +1 -477
- package/dist/expressions/identifier-storage.js.map +1 -1
- package/dist/expressions/identifiers.d.ts.map +1 -1
- package/dist/expressions/identifiers.js +7 -16
- package/dist/expressions/identifiers.js.map +1 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +9 -3
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js +4 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map +1 -1
- package/dist/expressions/index-cases/basic-literals-and-calls.test.js +3 -3
- package/dist/expressions/index-cases/basic-literals-and-calls.test.js.map +1 -1
- package/dist/expressions/index-cases/defaults-and-char-context.test.js +8 -2
- package/dist/expressions/index-cases/defaults-and-char-context.test.js.map +1 -1
- package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js +17 -20
- package/dist/expressions/index-cases/dictionary-and-object-initializers-a.test.js.map +1 -1
- package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js +7 -8
- package/dist/expressions/index-cases/dictionary-and-object-initializers-b.test.js.map +1 -1
- package/dist/expressions/index-cases/helpers.d.ts +6 -4
- package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
- package/dist/expressions/index-cases/helpers.js +31 -2
- package/dist/expressions/index-cases/helpers.js.map +1 -1
- package/dist/expressions/index-cases/nullable-and-comparisons.test.js +9 -9
- package/dist/expressions/index-cases/nullable-and-comparisons.test.js.map +1 -1
- package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js +3 -3
- package/dist/expressions/index-cases/runtime-subset-and-assertions.test.js.map +1 -1
- package/dist/expressions/index-cases/runtime-union-reification-b.test.js +19 -13
- package/dist/expressions/index-cases/runtime-union-reification-b.test.js.map +1 -1
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +22 -13
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
- package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js +5 -5
- package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js.map +1 -1
- package/dist/expressions/lambda-body.js +3 -3
- package/dist/expressions/lambda-body.js.map +1 -1
- package/dist/expressions/lambda-parameters.d.ts.map +1 -1
- package/dist/expressions/lambda-parameters.js +97 -12
- package/dist/expressions/lambda-parameters.js.map +1 -1
- package/dist/expressions/object-literal.d.ts.map +1 -1
- package/dist/expressions/object-literal.js +48 -18
- package/dist/expressions/object-literal.js.map +1 -1
- package/dist/expressions/operators/binary-dispatch.d.ts +1 -1
- package/dist/expressions/operators/binary-dispatch.d.ts.map +1 -1
- package/dist/expressions/operators/binary-dispatch.js +52 -12
- package/dist/expressions/operators/binary-dispatch.js.map +1 -1
- package/dist/expressions/operators/binary-helpers.d.ts.map +1 -1
- package/dist/expressions/operators/binary-helpers.js +11 -1
- package/dist/expressions/operators/binary-helpers.js.map +1 -1
- package/dist/expressions/operators/binary-special-ops.d.ts +1 -11
- package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
- package/dist/expressions/operators/binary-special-ops.js +214 -218
- package/dist/expressions/operators/binary-special-ops.js.map +1 -1
- package/dist/expressions/operators/conditional-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/conditional-emitter.js +89 -19
- package/dist/expressions/operators/conditional-emitter.js.map +1 -1
- package/dist/expressions/operators/logical-emitter.js +1 -1
- package/dist/expressions/operators/logical-emitter.js.map +1 -1
- package/dist/expressions/operators/unary-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/unary-emitter.js +7 -50
- package/dist/expressions/operators/unary-emitter.js.map +1 -1
- package/dist/expressions/other.d.ts +2 -6
- package/dist/expressions/other.d.ts.map +1 -1
- package/dist/expressions/other.js +6 -13
- package/dist/expressions/other.js.map +1 -1
- package/dist/expressions/post-emission-adaptation.d.ts +1 -1
- package/dist/expressions/post-emission-adaptation.d.ts.map +1 -1
- package/dist/expressions/post-emission-adaptation.js +55 -150
- package/dist/expressions/post-emission-adaptation.js.map +1 -1
- package/dist/expressions/precedence.test.js +5 -46
- package/dist/expressions/precedence.test.js.map +1 -1
- package/dist/expressions/runtime-union-adaptation-projection.d.ts.map +1 -1
- package/dist/expressions/runtime-union-adaptation-projection.js +25 -4
- package/dist/expressions/runtime-union-adaptation-projection.js.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.d.ts +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.js +281 -31
- package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
- package/dist/expressions/structural-anonymous-targets.d.ts.map +1 -1
- package/dist/expressions/structural-anonymous-targets.js +5 -0
- package/dist/expressions/structural-anonymous-targets.js.map +1 -1
- package/dist/expressions/structural-collection-adaptation.d.ts.map +1 -1
- package/dist/expressions/structural-collection-adaptation.js +4 -2
- package/dist/expressions/structural-collection-adaptation.js.map +1 -1
- package/dist/expressions/structural-object-adaptation.d.ts.map +1 -1
- package/dist/expressions/structural-object-adaptation.js +58 -3
- package/dist/expressions/structural-object-adaptation.js.map +1 -1
- package/dist/expressions/structural-property-model.d.ts.map +1 -1
- package/dist/expressions/structural-property-model.js +7 -3
- package/dist/expressions/structural-property-model.js.map +1 -1
- package/dist/expressions/structural-type-shapes.d.ts.map +1 -1
- package/dist/expressions/structural-type-shapes.js +1 -1
- package/dist/expressions/structural-type-shapes.js.map +1 -1
- package/dist/expressions/structural-type-shapes.test.js +2 -1
- package/dist/expressions/structural-type-shapes.test.js.map +1 -1
- package/dist/expressions/type-assertion-emitters.d.ts.map +1 -1
- package/dist/expressions/type-assertion-emitters.js +231 -15
- package/dist/expressions/type-assertion-emitters.js.map +1 -1
- package/dist/fixture-regression-mirrors.test.js +43 -112
- package/dist/fixture-regression-mirrors.test.js.map +1 -1
- package/dist/generated-files.d.ts +0 -1
- package/dist/generated-files.d.ts.map +1 -1
- package/dist/generated-files.js +0 -229
- package/dist/generated-files.js.map +1 -1
- package/dist/generated-files.test.js +53 -1
- package/dist/generated-files.test.js.map +1 -1
- package/dist/golden-tests/runner.d.ts.map +1 -1
- package/dist/golden-tests/runner.js +1 -0
- package/dist/golden-tests/runner.js.map +1 -1
- package/dist/integration-cases/arrow-and-generics-a.test.js +52 -32
- package/dist/integration-cases/arrow-and-generics-a.test.js.map +1 -1
- package/dist/integration-cases/arrow-and-generics-b.test.js +17 -23
- package/dist/integration-cases/arrow-and-generics-b.test.js.map +1 -1
- package/dist/integration-cases/await-and-intrinsics.test.js +12 -10
- package/dist/integration-cases/await-and-intrinsics.test.js.map +1 -1
- package/dist/integration-cases/clr-iterable-overloads.test.js +58 -27
- package/dist/integration-cases/clr-iterable-overloads.test.js.map +1 -1
- package/dist/integration-cases/full-module-and-promises.test.js +21 -19
- package/dist/integration-cases/full-module-and-promises.test.js.map +1 -1
- package/dist/integration-cases/helpers.d.ts.map +1 -1
- package/dist/integration-cases/helpers.js +12 -33
- package/dist/integration-cases/helpers.js.map +1 -1
- package/dist/integration-cases/may14-downstream-contracts.test.d.ts +2 -0
- package/dist/integration-cases/may14-downstream-contracts.test.d.ts.map +1 -0
- package/dist/integration-cases/may14-downstream-contracts.test.js +894 -0
- package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -0
- package/dist/integration-cases/object-literals-and-channels.test.js +10 -4
- package/dist/integration-cases/object-literals-and-channels.test.js.map +1 -1
- package/dist/integration-cases/regression-coverage-a.test.js +36 -30
- package/dist/integration-cases/regression-coverage-a.test.js.map +1 -1
- package/dist/integration-cases/regression-coverage-b.test.js +95 -111
- package/dist/integration-cases/regression-coverage-b.test.js.map +1 -1
- package/dist/integration-cases/regression-coverage-c.test.js +499 -197
- package/dist/integration-cases/regression-coverage-c.test.js.map +1 -1
- package/dist/integration.test.d.ts +1 -0
- package/dist/integration.test.d.ts.map +1 -1
- package/dist/integration.test.js +1 -0
- package/dist/integration.test.js.map +1 -1
- package/dist/json-aot-generic.test.js +48 -200
- package/dist/json-aot-generic.test.js.map +1 -1
- package/dist/statements/block-emitters/block-and-return.d.ts +1 -1
- package/dist/statements/block-emitters/block-and-return.d.ts.map +1 -1
- package/dist/statements/block-emitters/block-and-return.js +9 -3
- package/dist/statements/block-emitters/block-and-return.js.map +1 -1
- package/dist/statements/classes/members/properties.d.ts.map +1 -1
- package/dist/statements/classes/members/properties.js +2 -3
- package/dist/statements/classes/members/properties.js.map +1 -1
- package/dist/statements/classes/properties.d.ts.map +1 -1
- package/dist/statements/classes/properties.js.map +1 -1
- package/dist/statements/control/conditionals/architecture-invariants.test.d.ts +2 -0
- package/dist/statements/control/conditionals/architecture-invariants.test.d.ts.map +1 -0
- package/dist/statements/control/conditionals/architecture-invariants.test.js +19 -0
- package/dist/statements/control/conditionals/architecture-invariants.test.js.map +1 -0
- package/dist/statements/control/conditionals/branch-context.d.ts +4 -6
- package/dist/statements/control/conditionals/branch-context.d.ts.map +1 -1
- package/dist/statements/control/conditionals/branch-context.js +105 -32
- package/dist/statements/control/conditionals/branch-context.js.map +1 -1
- package/dist/statements/control/conditionals/guard-analysis.d.ts +2 -2
- package/dist/statements/control/conditionals/guard-analysis.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-analysis.js +1 -1
- package/dist/statements/control/conditionals/guard-analysis.js.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts +2 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.js +83 -1
- package/dist/statements/control/conditionals/guard-detectors-discriminant.js.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-structural.d.ts +2 -7
- package/dist/statements/control/conditionals/guard-detectors-structural.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors-structural.js +47 -82
- package/dist/statements/control/conditionals/guard-detectors-structural.js.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors.d.ts +2 -2
- package/dist/statements/control/conditionals/guard-detectors.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-detectors.js +2 -2
- package/dist/statements/control/conditionals/guard-detectors.js.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.d.ts +5 -7
- package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.js +10 -190
- package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
- package/dist/statements/control/conditionals/guard-types.d.ts +16 -26
- package/dist/statements/control/conditionals/guard-types.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-types.js +23 -1
- package/dist/statements/control/conditionals/guard-types.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-instanceof-guards.js +5 -8
- package/dist/statements/control/conditionals/if-emit-instanceof-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts +2 -8
- package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-predicate-guards.js +4 -84
- package/dist/statements/control/conditionals/if-emit-predicate-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts +2 -0
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js +87 -3
- package/dist/statements/control/conditionals/if-emit-property-discriminant-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js +254 -20
- package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emit-union-guards.d.ts +2 -2
- package/dist/statements/control/conditionals/if-emit-union-guards.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emit-union-guards.js +2 -2
- package/dist/statements/control/conditionals/if-emit-union-guards.js.map +1 -1
- package/dist/statements/control/conditionals/if-emitter.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emitter.js +36 -43
- package/dist/statements/control/conditionals/if-emitter.js.map +1 -1
- package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts +5 -0
- package/dist/statements/control/conditionals/ir-branch-narrowings.d.ts.map +1 -0
- package/dist/statements/control/conditionals/ir-branch-narrowings.js +16 -0
- package/dist/statements/control/conditionals/ir-branch-narrowings.js.map +1 -0
- package/dist/statements/control/loops.d.ts +2 -9
- package/dist/statements/control/loops.d.ts.map +1 -1
- package/dist/statements/control/loops.js +56 -48
- package/dist/statements/control/loops.js.map +1 -1
- package/dist/statements/declarations/classes.d.ts.map +1 -1
- package/dist/statements/declarations/classes.js.map +1 -1
- package/dist/statements/declarations/interfaces.d.ts.map +1 -1
- package/dist/statements/declarations/interfaces.js.map +1 -1
- package/dist/statements/declarations/structs.test.js +5 -4
- package/dist/statements/declarations/structs.test.js.map +1 -1
- package/dist/statements/declarations/type-aliases.js.map +1 -1
- package/dist/statements/declarations/variables.d.ts.map +1 -1
- package/dist/statements/declarations/variables.js +7 -4
- package/dist/statements/declarations/variables.js.map +1 -1
- package/dist/statements/statement-cases/flow-and-void.test.js +3 -3
- package/dist/statements/statement-cases/flow-and-void.test.js.map +1 -1
- package/dist/statements/statement-cases/helpers.d.ts +3 -2
- package/dist/statements/statement-cases/helpers.d.ts.map +1 -1
- package/dist/statements/statement-cases/helpers.js +1 -1
- package/dist/statements/statement-cases/helpers.js.map +1 -1
- package/dist/statements/statement-cases/if-and-instanceof-guards.test.js +21 -21
- package/dist/statements/statement-cases/if-and-instanceof-guards.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-basic.test.js +3 -80
- package/dist/statements/statement-cases/union-guards-basic.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js +0 -196
- package/dist/statements/statement-cases/union-guards-nullish-and-object.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js +15 -15
- package/dist/statements/statement-cases/union-guards-predicate-and-truthy.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-remapped-a.test.js +7 -189
- package/dist/statements/statement-cases/union-guards-remapped-a.test.js.map +1 -1
- package/dist/statements/statement-cases/union-guards-remapped-b.test.js +7 -193
- package/dist/statements/statement-cases/union-guards-remapped-b.test.js.map +1 -1
- package/dist/test-ir-strict.d.ts +7 -0
- package/dist/test-ir-strict.d.ts.map +1 -0
- package/dist/test-ir-strict.js +9 -0
- package/dist/test-ir-strict.js.map +1 -0
- package/dist/type-assertion.test.js +5 -4
- package/dist/type-assertion.test.js.map +1 -1
- package/dist/types/emitter.d.ts.map +1 -1
- package/dist/types/emitter.js +7 -1
- package/dist/types/emitter.js.map +1 -1
- package/dist/types/intersections.d.ts +2 -2
- package/dist/types/intersections.d.ts.map +1 -1
- package/dist/types/intersections.js +26 -6
- package/dist/types/intersections.js.map +1 -1
- package/dist/types/parameters.d.ts.map +1 -1
- package/dist/types/parameters.js +30 -5
- package/dist/types/parameters.js.map +1 -1
- package/dist/types/reference-structural-signatures.d.ts.map +1 -1
- package/dist/types/reference-structural-signatures.js +3 -6
- package/dist/types/reference-structural-signatures.js.map +1 -1
- package/dist/types/references-cases/array-and-cross-module.test.js +2 -4
- package/dist/types/references-cases/array-and-cross-module.test.js.map +1 -1
- package/dist/types/references-cases/bindings-and-local.test.js +2 -4
- package/dist/types/references-cases/bindings-and-local.test.js.map +1 -1
- package/dist/types/references-cases/helpers.d.ts +3 -2
- package/dist/types/references-cases/helpers.d.ts.map +1 -1
- package/dist/types/references-cases/helpers.js +2 -1
- package/dist/types/references-cases/helpers.js.map +1 -1
- package/dist/types/references.d.ts.map +1 -1
- package/dist/types/references.js +21 -2
- package/dist/types/references.js.map +1 -1
- package/dist/types/unions-cases/basic-and-ordering.test.js +51 -0
- package/dist/types/unions-cases/basic-and-ordering.test.js.map +1 -1
- package/dist/types/unions.d.ts.map +1 -1
- package/dist/types/unions.js +17 -0
- package/dist/types/unions.js.map +1 -1
- package/dist/types.d.ts +3 -1
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js +2 -1
- package/dist/types.js.map +1 -1
- package/package.json +2 -2
- package/dist/core/semantic/js-value-types.d.ts +0 -5
- package/dist/core/semantic/js-value-types.d.ts.map +0 -1
- package/dist/core/semantic/js-value-types.js +0 -42
- package/dist/core/semantic/js-value-types.js.map +0 -1
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts +0 -2
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts.map +0 -1
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js +0 -98
- package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js.map +0 -1
- package/dist/expressions/calls/call-dynamic-import.d.ts +0 -11
- package/dist/expressions/calls/call-dynamic-import.d.ts.map +0 -1
- package/dist/expressions/calls/call-dynamic-import.js +0 -148
- package/dist/expressions/calls/call-dynamic-import.js.map +0 -1
|
@@ -234,7 +234,10 @@ describe("storage-erased-adaptation", () => {
|
|
|
234
234
|
});
|
|
235
235
|
});
|
|
236
236
|
it("materializes nullable exact numeric storage before exact-value assignments", () => {
|
|
237
|
-
const context = createContext({
|
|
237
|
+
const context = createContext({
|
|
238
|
+
rootNamespace: "Test",
|
|
239
|
+
surface: "@tsonic/js",
|
|
240
|
+
});
|
|
238
241
|
const result = adaptStorageErasedValueAst({
|
|
239
242
|
valueAst: identifierExpression("value"),
|
|
240
243
|
semanticType: { kind: "primitiveType", name: "int" },
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"storage-erased-adaptation.test.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-erased-adaptation.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAE5E,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,EACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACvG,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;SACzC,EACD;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAC1D,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QAEF,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,8BAA8B;gBAC/C,MAAM,EAAE;oBACN,QAAQ,EAAE,gDAAgD;oBAC1D,OAAO,EAAE,8BAA8B;oBACvC,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,EACD;YACE,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,4BAA4B;gBAC7C,MAAM,EAAE;oBACN,QAAQ,EAAE,8CAA8C;oBACxD,OAAO,EAAE,4BAA4B;oBACrC,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,IAAI;oBACJ;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;oCAC1C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;oCAC3C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,OAAO;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,KAAK;oCACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;gCACD;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,IAAI;oCACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,WAAW;oBACjB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;4BAC1C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,YAAY;oBAClB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF;SACF,EACD;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAE/C,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ;YACR,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAChC,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YACnD,UAAU,EAAE;gBACV,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBACnD,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC;aAC1C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,OAAO,GAAG,aAAa,CAAC,
|
|
1
|
+
{"version":3,"file":"storage-erased-adaptation.test.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-erased-adaptation.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAE5E,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;aAC7C;SACF,EACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACvG,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;SACzC,EACD;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAC1D,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QAEF,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,8BAA8B;gBAC/C,MAAM,EAAE;oBACN,QAAQ,EAAE,gDAAgD;oBAC1D,OAAO,EAAE,8BAA8B;oBACvC,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,EACD;YACE,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,4BAA4B;gBAC7C,MAAM,EAAE;oBACN,QAAQ,EAAE,8CAA8C;oBACxD,OAAO,EAAE,4BAA4B;oBACrC,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,IAAI;oBACJ;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;oCAC1C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;oCAC3C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,OAAO;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,KAAK;oCACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;gCACD;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,IAAI;oCACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CACJ,2BAA2B,CACzB;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,WAAW;oBACjB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;4BAC1C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,YAAY;oBAClB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF;SACF,EACD;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAE/C,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ;YACR,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAChC,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YACnD,UAAU,EAAE;gBACV,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBACnD,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC;aAC1C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,OAAO,GAAG,aAAa,CAAC;YAC5B,aAAa,EAAE,MAAM;YACrB,OAAO,EAAE,YAAY;SACtB,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,WAAW,EAAE;gBACX,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF;YACD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACpD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAChC,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACzC,UAAU,EAAE,OAAO;SACpB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1,5 +1,8 @@
|
|
|
1
1
|
import { IrType } from "@tsonic/frontend";
|
|
2
2
|
import type { EmitterContext } from "../../types.js";
|
|
3
|
+
export declare const resolveRuntimeStorageArrayLikeElementType: (type: IrType | undefined, context: EmitterContext) => IrType | undefined;
|
|
4
|
+
export declare const resolveRuntimeStorageType: (type: IrType | undefined, context: EmitterContext) => IrType | undefined;
|
|
5
|
+
export declare const resolveRuntimeStoragePropertyType: (receiverType: IrType | undefined, propertyName: string, fallbackType: IrType | undefined, context: EmitterContext) => IrType | undefined;
|
|
3
6
|
export declare const isObjectStorageType: (type: IrType | undefined, context: EmitterContext) => boolean;
|
|
4
7
|
export declare function shouldUseBroadObjectForUnionStorage(type: Extract<IrType, {
|
|
5
8
|
kind: "unionType";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"storage-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAqB,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"storage-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAqB,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAyBrD,eAAO,MAAM,yCAAyC,GACpD,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,MAAM,GAAG,SAIX,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,MAAM,GAAG,SAAuD,CAAC;AAEpE,eAAO,MAAM,iCAAiC,GAC5C,cAAc,MAAM,GAAG,SAAS,EAChC,cAAc,MAAM,EACpB,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,MAAM,GAAG,SAIX,CAAC;AAeF,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,OAWF,CAAC;AAEF,wBAAgB,mCAAmC,CACjD,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EAC5C,OAAO,EAAE,cAAc,EACvB,eAAe,GAAE,WAAW,CAAC,MAAM,CAAqB,GACvD,OAAO,CAwCT;AA4OD,eAAO,MAAM,2BAA2B,GACtC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,EACvB,kBAAiB,WAAW,CAAC,MAAM,CAAqB,KACvD,MAAM,GAAG,SAgPX,CAAC"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { isAwaitableIrType } from "@tsonic/frontend";
|
|
2
|
-
import { getCanonicalRuntimeUnionMembers } from "./runtime-
|
|
3
|
-
import { resolveTypeAlias, splitRuntimeNullishUnionMembers, } from "./type-resolution.js";
|
|
2
|
+
import { getCanonicalRuntimeUnionMembers } from "./runtime-union-frame.js";
|
|
3
|
+
import { getPropertyType, resolveArrayLikeReceiverType, resolveTypeAlias, splitRuntimeNullishUnionMembers, } from "./type-resolution.js";
|
|
4
4
|
import { rebuildUnionTypePreservingCarrierFamily } from "./runtime-union-family-preservation.js";
|
|
5
5
|
import { isBroadObjectSlotType } from "./broad-object-types.js";
|
|
6
6
|
import { referenceTypeHasClrIdentity } from "./clr-type-identity.js";
|
|
@@ -15,6 +15,17 @@ const OBJECT_STORAGE_TYPE = {
|
|
|
15
15
|
name: "object",
|
|
16
16
|
resolvedClrType: "System.Object",
|
|
17
17
|
};
|
|
18
|
+
export const resolveRuntimeStorageArrayLikeElementType = (type, context) => {
|
|
19
|
+
if (!type)
|
|
20
|
+
return undefined;
|
|
21
|
+
const storageType = resolveRuntimeStorageType(type, context) ?? type;
|
|
22
|
+
return resolveArrayLikeReceiverType(storageType, context)?.elementType;
|
|
23
|
+
};
|
|
24
|
+
export const resolveRuntimeStorageType = (type, context) => normalizeRuntimeStorageType(type, context);
|
|
25
|
+
export const resolveRuntimeStoragePropertyType = (receiverType, propertyName, fallbackType, context) => {
|
|
26
|
+
const propertyType = getPropertyType(receiverType, propertyName, context) ?? fallbackType;
|
|
27
|
+
return resolveRuntimeStorageType(propertyType, context) ?? propertyType;
|
|
28
|
+
};
|
|
18
29
|
const typesEquivalent = (left, right, context) => areIrTypesEquivalent(left, right, context);
|
|
19
30
|
const containsEquivalentType = (types, type, context) => types.some((candidate) => typesEquivalent(candidate, type, context));
|
|
20
31
|
export const isObjectStorageType = (type, context) => {
|
|
@@ -170,8 +181,7 @@ const normalizeOutOfScopeTypeParameters = (type, context, visited = new WeakSet(
|
|
|
170
181
|
};
|
|
171
182
|
});
|
|
172
183
|
const normalizedReturnType = normalizeOutOfScopeTypeParameters(resolved.returnType, context, visited);
|
|
173
|
-
return normalizedParameters.every((parameter, index) => typesEquivalent(parameter.type ?? { kind: "voidType" }, resolved.parameters[index]?.type ?? { kind: "voidType" }, context)) &&
|
|
174
|
-
typesEquivalent(normalizedReturnType, resolved.returnType, context)
|
|
184
|
+
return normalizedParameters.every((parameter, index) => typesEquivalent(parameter.type ?? { kind: "voidType" }, resolved.parameters[index]?.type ?? { kind: "voidType" }, context)) && typesEquivalent(normalizedReturnType, resolved.returnType, context)
|
|
175
185
|
? resolved
|
|
176
186
|
: {
|
|
177
187
|
...resolved,
|
|
@@ -202,6 +212,9 @@ export const normalizeRuntimeStorageType = (type, context, activeArrayKeys = new
|
|
|
202
212
|
});
|
|
203
213
|
if (resolvedAlias.kind === "unionType" &&
|
|
204
214
|
resolvedAlias.runtimeCarrierFamilyKey) {
|
|
215
|
+
if (shouldUseBroadObjectForUnionStorage(resolvedAlias, context, activeArrayKeys)) {
|
|
216
|
+
return normalizeRuntimeStorageType(resolvedAlias, context, activeArrayKeys);
|
|
217
|
+
}
|
|
205
218
|
if (!type.typeArguments || type.typeArguments.length === 0) {
|
|
206
219
|
return type;
|
|
207
220
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"storage-types.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EACL,gBAAgB,EAChB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAW;IAClC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAY,EACZ,KAAa,EACb,OAAuB,EACd,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAC7B,KAAwB,EACxB,IAAY,EACZ,OAAuB,EACd,EAAE,CACX,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACzB,2BAA2B,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,mCAAmC,CACjD,IAA4C,EAC5C,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU;IAExD,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,iBAAiB,GAAG,KAAK,EAAE,iBAAiB,IAAI,IAAI,CAAC,KAAK,CAAC;IACjE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,uCAAuC,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAChE,OAAO,CACR,CAAC;IACF,MAAM,cAAc,GAClB,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC;QAC3D,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,iBAAiB,CAAC;IACxB,IACE,cAAc,CAAC,MAAM,GAAG,CAAC;QACzB,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;QACpC,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC;QAC1E,IAAI,sBAAsB,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACzE,SAAS;QACX,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,CACL,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5B,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,MAAM,sBAAsB,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CACvD,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAClB,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;IAClE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC,8CAA8C;YAC3D,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACvB,UAA2B,IAAI,OAAO,EAAU,EACxC,EAAE;IACV,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAClE,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAClC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CACtB,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACJ;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;QAC/C,yBAAyB,EAAE,IAAI;KAChC,CAAC,CAAC;IAEH,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO,sBAAsB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;gBACnD,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,mBAAmB,CAAC;QAE1B,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,qBAAqB,GAAG,iCAAiC,CAC7D,QAAQ,CAAC,WAAW,EACpB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CAAC,qBAAqB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;gBAC1E,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,WAAW,EAAE,qBAAqB;iBACnC,CAAC;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,iBAAiB,GAAG,iCAAiC,CACzD,QAAQ,CAAC,OAAO,EAChB,OAAO,EACP,OAAO,CACR,CAAC;YACF,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,QAAQ,CAAC,SAAS,EAClB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CAAC,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;gBAClE,eAAe,CAAC,mBAAmB,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;gBACjE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,OAAO,EAAE,iBAAiB;oBAC1B,SAAS,EAAE,mBAAmB;iBAC/B,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,sBAAsB,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACvE,iCAAiC,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CACjE,CAAC;YACF,OAAO,sBAAsB,CAAC,KAAK,CACjC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CACrB,eAAe,CACb,WAAW,EACX,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,WAAW,EAC3C,OAAO,CACR,CACJ;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,YAAY,EAAE,sBAAsB;iBACrC,CAAC;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnE,OAAO,QAAQ,CAAC;YAClB,CAAC;YAED,MAAM,uBAAuB,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrE,iCAAiC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAC7D,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAClC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACjB,eAAe,CACb,OAAO,EACP,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,OAAO,EAC1C,OAAO,CACR,CACJ;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAC5B,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAChB,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CACpE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,oBAAoB,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBACjE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;oBACpB,OAAO,SAAS,CAAC;gBACnB,CAAC;gBAED,MAAM,uBAAuB,GAAG,iCAAiC,CAC/D,SAAS,CAAC,IAAI,EACd,OAAO,EACP,OAAO,CACR,CAAC;gBACF,OAAO,eAAe,CAAC,uBAAuB,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC;oBACtE,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC;wBACE,GAAG,SAAS;wBACZ,IAAI,EAAE,uBAAuB;qBAC9B,CAAC;YACR,CAAC,CAAC,CAAC;YACH,MAAM,oBAAoB,GAAG,iCAAiC,CAC5D,QAAQ,CAAC,UAAU,EACnB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,oBAAoB,CAAC,KAAK,CAC/B,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACnB,eAAe,CACb,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACtC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACxD,OAAO,CACR,CACJ;gBACC,eAAe,CAAC,oBAAoB,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;gBACnE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,UAAU,EAAE,oBAAoB;oBAChC,UAAU,EAAE,oBAAoB;iBACjC,CAAC;QACR,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAC5B,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAChB,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CACpE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED;YACE,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAwB,EACxB,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU,EACpC,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,CAAC,CACzD,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAClC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CACtB,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACJ;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAElE,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;QAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,EACjE,CAAC;QACD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,QAAQ,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,SAAS;gBACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACpD;gBACE,OAAO,QAAQ,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;QAC5C,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,MAAM,qBAAqB,GACzB,2BAA2B,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC;YACtE,QAAQ,CAAC,WAAW,CAAC;QAEvB,OAAO,eAAe,CAAC,qBAAqB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;YAC1E,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC;gBACE,GAAG,QAAQ;gBACX,WAAW,EAAE,qBAAqB;aACnC,CAAC;IACR,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IACE,mCAAmC,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,CAAC,EACvE,CAAC;YACD,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;YACrE,OAAO,KAAK,EAAE,iBAAiB;gBAC7B,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;oBAChD,mBAAmB;oBACnB,GAAG,cAAc;iBAClB,CAAC;gBACJ,CAAC,CAAC,mBAAmB,CAAC;QAC1B,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QAChE,MAAM,yBAAyB,GAC7B,aAAa,EAAE,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC;QACrD,MAAM,uBAAuB,GAC3B,yBAAyB,CAAC,MAAM,GAAG,CAAC;YAClC,CAAC,CAAC,+BAA+B,CAC7B,uCAAuC,CACrC,QAAQ,EACR,yBAAyB,CAC1B,EACD,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,0BAA0B,GAAa,EAAE,CAAC;YAChD,KAAK,MAAM,MAAM,IAAI,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;oBAC7D,MAAM,CAAC;gBACT,IACE,sBAAsB,CACpB,0BAA0B,EAC1B,gBAAgB,EAChB,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,0BAA0B,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACpD,CAAC;YAED,IAAI,CAAC,aAAa,EAAE,iBAAiB,EAAE,CAAC;gBACtC,OAAO,uCAAuC,CAC5C,QAAQ,EACR,0BAA0B,CAC3B,CAAC;YACJ,CAAC;YAED,MAAM,oBAAoB,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAChD,sBAAsB,CACvB,CAAC;YACF,OAAO,uCAAuC,CAAC,QAAQ,EAAE;gBACvD,GAAG,0BAA0B;gBAC7B,GAAG,oBAAoB;aACxB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,2BAA2B,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAC7D,CAAC,MAAM,EAAE,EAAE,CACT,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;gBAC7D,MAAM,CACT,CAAC;YACF,MAAM,kCAAkC,GAAa,EAAE,CAAC;YAExD,KAAK,MAAM,MAAM,IAAI,2BAA2B,EAAE,CAAC;gBACjD,IACE,sBAAsB,CACpB,kCAAkC,EAClC,MAAM,EACN,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,kCAAkC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;YAED,IAAI,kCAAkC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,MAAM,CAAC,sBAAsB,CAAC,GAAG,kCAAkC,CAAC;gBACpE,MAAM,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC;gBACvD,IAAI,CAAC,sBAAsB,EAAE,CAAC;oBAC5B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;gBACrE,IACE,oBAAoB;oBACpB,iCAAiC,CAAC,oBAAoB,EAAE,OAAO,CAAC,EAChE,CAAC;oBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;wBAChC,CAAC,CAAC,mBAAmB;wBACrB,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE,CAAC,mBAAmB,EAAE,GAAG,cAAc,CAAC;yBAChD,CAAC;gBACR,CAAC;gBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;oBAChC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;wBAChD,sBAAsB;wBACtB,GAAG,cAAc;qBAClB,CAAC,CAAC;YACT,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,iCAAiC,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAC9D;aACF,CAAC;QACJ,CAAC;QACD,MAAM,0BAA0B,GAC9B,2BAA2B,CAAC,gBAAgB,EAAE,OAAO,EAAE,eAAe,CAAC;YACvE,gBAAgB,CAAC;QAEnB,IAAI,eAAe,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YAC3E,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,OAAO,uCAAuC,CAC5C,QAAQ,EACR,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,CACrE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"storage-types.js","sourceRoot":"","sources":["../../../src/core/semantic/storage-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EACL,eAAe,EACf,4BAA4B,EAC5B,gBAAgB,EAChB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAW;IAClC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,CACvD,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,WAAW,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC;IACrE,OAAO,4BAA4B,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAwB,EACxB,OAAuB,EACH,EAAE,CAAC,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAEpE,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAgC,EAChC,YAAoB,EACpB,YAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,MAAM,YAAY,GAChB,eAAe,CAAC,YAAY,EAAE,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;IACvE,OAAO,yBAAyB,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,IAAY,EACZ,KAAa,EACb,OAAuB,EACd,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAC7B,KAAwB,EACxB,IAAY,EACZ,OAAuB,EACd,EAAE,CACX,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACzB,2BAA2B,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,mCAAmC,CACjD,IAA4C,EAC5C,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU;IAExD,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,iBAAiB,GAAG,KAAK,EAAE,iBAAiB,IAAI,IAAI,CAAC,KAAK,CAAC;IACjE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,uCAAuC,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAChE,OAAO,CACR,CAAC;IACF,MAAM,cAAc,GAClB,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC;QAC3D,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,iBAAiB,CAAC;IACxB,IACE,cAAc,CAAC,MAAM,GAAG,CAAC;QACzB,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;QACpC,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,IAAI,MAAM,CAAC;QAC1E,IAAI,sBAAsB,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACzE,SAAS;QACX,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,CACL,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5B,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,MAAM,sBAAsB,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;AAEzD,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CACvD,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAClB,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;IAClE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC,8CAA8C;YAC3D,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACvB,UAA2B,IAAI,OAAO,EAAU,EACxC,EAAE;IACV,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAClE,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAC3D,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;QAC/C,yBAAyB,EAAE,IAAI;KAChC,CAAC,CAAC;IAEH,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO,sBAAsB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;gBACnD,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,mBAAmB,CAAC;QAE1B,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,qBAAqB,GAAG,iCAAiC,CAC7D,QAAQ,CAAC,WAAW,EACpB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CACpB,qBAAqB,EACrB,QAAQ,CAAC,WAAW,EACpB,OAAO,CACR;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,WAAW,EAAE,qBAAqB;iBACnC,CAAC;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,iBAAiB,GAAG,iCAAiC,CACzD,QAAQ,CAAC,OAAO,EAChB,OAAO,EACP,OAAO,CACR,CAAC;YACF,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,QAAQ,CAAC,SAAS,EAClB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CAAC,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;gBAClE,eAAe,CAAC,mBAAmB,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;gBACjE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,OAAO,EAAE,iBAAiB;oBAC1B,SAAS,EAAE,mBAAmB;iBAC/B,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,sBAAsB,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACvE,iCAAiC,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CACjE,CAAC;YACF,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CACzD,eAAe,CACb,WAAW,EACX,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,WAAW,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,YAAY,EAAE,sBAAsB;iBACrC,CAAC;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnE,OAAO,QAAQ,CAAC;YAClB,CAAC;YAED,MAAM,uBAAuB,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrE,iCAAiC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAC7D,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACtD,eAAe,CACb,OAAO,EACP,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,OAAO,EAC1C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC/C,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CAClE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,oBAAoB,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBACjE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;oBACpB,OAAO,SAAS,CAAC;gBACnB,CAAC;gBAED,MAAM,uBAAuB,GAAG,iCAAiC,CAC/D,SAAS,CAAC,IAAI,EACd,OAAO,EACP,OAAO,CACR,CAAC;gBACF,OAAO,eAAe,CAAC,uBAAuB,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC;oBACtE,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC;wBACE,GAAG,SAAS;wBACZ,IAAI,EAAE,uBAAuB;qBAC9B,CAAC;YACR,CAAC,CAAC,CAAC;YACH,MAAM,oBAAoB,GAAG,iCAAiC,CAC5D,QAAQ,CAAC,UAAU,EACnB,OAAO,EACP,OAAO,CACR,CAAC;YACF,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACrD,eAAe,CACb,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACtC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EACxD,OAAO,CACR,CACF,IAAI,eAAe,CAAC,oBAAoB,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;gBACtE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,UAAU,EAAE,oBAAoB;oBAChC,UAAU,EAAE,oBAAoB;iBACjC,CAAC;QACR,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtD,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAC5D,CAAC;YACF,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC/C,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,EAAE,OAAO,CAAC,CAClE;gBACC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC;oBACE,GAAG,QAAQ;oBACX,KAAK,EAAE,iBAAiB;iBACzB,CAAC;QACR,CAAC;QAED;YACE,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAwB,EACxB,OAAuB,EACvB,kBAAuC,IAAI,GAAG,EAAU,EACpC,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE;YACpD,yBAAyB,EAAE,IAAI;SAChC,CAAC,CAAC;QACH,IACE,aAAa,CAAC,IAAI,KAAK,WAAW;YAClC,aAAa,CAAC,uBAAuB,EACrC,CAAC;YACD,IACE,mCAAmC,CACjC,aAAa,EACb,OAAO,EACP,eAAe,CAChB,EACD,CAAC;gBACD,OAAO,2BAA2B,CAChC,aAAa,EACb,OAAO,EACP,eAAe,CAChB,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,uBAAuB,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACtE,iCAAiC,CAAC,YAAY,EAAE,OAAO,CAAC,CACzD,CAAC;YACF,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAC3D,eAAe,CACb,YAAY,EACZ,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,YAAY,EAC3C,OAAO,CACR,CACF;gBACC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,uBAAuB;iBACvC,CAAC;QACR,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAElE,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;QAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,EACjE,CAAC;QACD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,QAAQ,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,KAAK,SAAS;gBACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACpD;gBACE,OAAO,QAAQ,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;QAC5C,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,MAAM,qBAAqB,GACzB,2BAA2B,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC;YACtE,QAAQ,CAAC,WAAW,CAAC;QAEvB,OAAO,eAAe,CAAC,qBAAqB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;YAC1E,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC;gBACE,GAAG,QAAQ;gBACX,WAAW,EAAE,qBAAqB;aACnC,CAAC;IACR,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IACE,mCAAmC,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,CAAC,EACvE,CAAC;YACD,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;YACrE,OAAO,KAAK,EAAE,iBAAiB;gBAC7B,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;oBAChD,mBAAmB;oBACnB,GAAG,cAAc;iBAClB,CAAC;gBACJ,CAAC,CAAC,mBAAmB,CAAC;QAC1B,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QAChE,MAAM,yBAAyB,GAC7B,aAAa,EAAE,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC;QACrD,MAAM,uBAAuB,GAC3B,yBAAyB,CAAC,MAAM,GAAG,CAAC;YAClC,CAAC,CAAC,+BAA+B,CAC7B,uCAAuC,CACrC,QAAQ,EACR,yBAAyB,CAC1B,EACD,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,uBAAuB,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,0BAA0B,GAAa,EAAE,CAAC;YAChD,KAAK,MAAM,MAAM,IAAI,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,gBAAgB,GACpB,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;oBAC7D,MAAM,CAAC;gBACT,IACE,sBAAsB,CACpB,0BAA0B,EAC1B,gBAAgB,EAChB,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,0BAA0B,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACpD,CAAC;YAED,IAAI,CAAC,aAAa,EAAE,iBAAiB,EAAE,CAAC;gBACtC,OAAO,uCAAuC,CAC5C,QAAQ,EACR,0BAA0B,CAC3B,CAAC;YACJ,CAAC;YAED,MAAM,oBAAoB,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAChD,sBAAsB,CACvB,CAAC;YACF,OAAO,uCAAuC,CAAC,QAAQ,EAAE;gBACvD,GAAG,0BAA0B;gBAC7B,GAAG,oBAAoB;aACxB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,2BAA2B,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAC7D,CAAC,MAAM,EAAE,EAAE,CACT,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;gBAC7D,MAAM,CACT,CAAC;YACF,MAAM,kCAAkC,GAAa,EAAE,CAAC;YAExD,KAAK,MAAM,MAAM,IAAI,2BAA2B,EAAE,CAAC;gBACjD,IACE,sBAAsB,CACpB,kCAAkC,EAClC,MAAM,EACN,OAAO,CACR,EACD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,kCAAkC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;YAED,IAAI,kCAAkC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,MAAM,CAAC,sBAAsB,CAAC,GAAG,kCAAkC,CAAC;gBACpE,MAAM,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC;gBACvD,IAAI,CAAC,sBAAsB,EAAE,CAAC;oBAC5B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;gBACrE,IACE,oBAAoB;oBACpB,iCAAiC,CAAC,oBAAoB,EAAE,OAAO,CAAC,EAChE,CAAC;oBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;wBAChC,CAAC,CAAC,mBAAmB;wBACrB,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE,CAAC,mBAAmB,EAAE,GAAG,cAAc,CAAC;yBAChD,CAAC;gBACR,CAAC;gBACD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;oBAChC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,uCAAuC,CAAC,QAAQ,EAAE;wBAChD,sBAAsB;wBACtB,GAAG,cAAc;qBAClB,CAAC,CAAC;YACT,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,iCAAiC,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAC9D;aACF,CAAC;QACJ,CAAC;QACD,MAAM,0BAA0B,GAC9B,2BAA2B,CAAC,gBAAgB,EAAE,OAAO,EAAE,eAAe,CAAC;YACvE,gBAAgB,CAAC;QAEnB,IACE,eAAe,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,OAAO,CAAC,EACtE,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,OAAO,uCAAuC,CAC5C,QAAQ,EACR,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,CACrE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}
|
|
@@ -9,7 +9,10 @@ import type { EmitterContext } from "../../types.js";
|
|
|
9
9
|
export declare const isCompilerGeneratedStructuralReferenceType: (type: Extract<IrType, {
|
|
10
10
|
kind: "referenceType";
|
|
11
11
|
}>) => boolean;
|
|
12
|
-
|
|
12
|
+
type IteratorResultResolutionState = {
|
|
13
|
+
readonly activeReferenceKeys: Set<string>;
|
|
14
|
+
};
|
|
15
|
+
export declare const resolveIteratorResultReferenceType: (type: IrType, context: EmitterContext, state?: IteratorResultResolutionState) => Extract<IrType, {
|
|
13
16
|
kind: "referenceType";
|
|
14
17
|
}> | undefined;
|
|
15
18
|
/**
|
|
@@ -19,4 +22,5 @@ export declare const resolveIteratorResultReferenceType: (type: IrType, context:
|
|
|
19
22
|
*/
|
|
20
23
|
export declare const resolveStructuralReferenceType: (type: IrType, context: EmitterContext) => IrType | undefined;
|
|
21
24
|
export declare const normalizeStructuralEmissionType: (type: IrType, context: EmitterContext) => IrType;
|
|
25
|
+
export {};
|
|
22
26
|
//# sourceMappingURL=structural-shape-matching.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"structural-shape-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/structural-shape-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"structural-shape-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/structural-shape-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAQrD,eAAO,MAAM,0CAA0C,GACrD,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,KAC/C,OAOF,CAAC;AAkBF,KAAK,6BAA6B,GAAG;IACnC,QAAQ,CAAC,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC3C,CAAC;AA0DF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,MAAM,EACZ,SAAS,cAAc,EACvB,QAAO,6BAAkE,KACxE,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,GAAG,SAgD/C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SAaX,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA2MF,CAAC"}
|
|
@@ -5,6 +5,7 @@
|
|
|
5
5
|
* comparison logic and the normalizeStructuralEmissionType deep walker.
|
|
6
6
|
*/
|
|
7
7
|
import { resolveTypeAlias, stripNullish } from "./nullish-value-helpers.js";
|
|
8
|
+
import { getReferenceNominalIdentityKey } from "./reference-type-identity.js";
|
|
8
9
|
import { rebuildUnionTypePreservingCarrierFamily } from "./runtime-union-family-preservation.js";
|
|
9
10
|
const isCompilerGeneratedStructuralName = (name) => !!name && (name.startsWith("__Anon_") || name.startsWith("__Rest_"));
|
|
10
11
|
export const isCompilerGeneratedStructuralReferenceType = (type) => {
|
|
@@ -19,6 +20,10 @@ const buildReferenceType = (name, resolvedClrType, typeArguments) => ({
|
|
|
19
20
|
...(resolvedClrType ? { resolvedClrType } : {}),
|
|
20
21
|
...(typeArguments ? { typeArguments: [...typeArguments] } : {}),
|
|
21
22
|
});
|
|
23
|
+
const getIteratorResultReferenceKey = (type, context) => getReferenceNominalIdentityKey(type, context) ??
|
|
24
|
+
type.typeId?.stableId ??
|
|
25
|
+
type.resolvedClrType ??
|
|
26
|
+
type.name;
|
|
22
27
|
const tryResolveIteratorResultVariant = (type, context) => {
|
|
23
28
|
const resolved = resolveTypeAlias(stripNullish(type), context);
|
|
24
29
|
const members = resolved.kind === "objectType"
|
|
@@ -50,12 +55,32 @@ const tryResolveIteratorResultVariant = (type, context) => {
|
|
|
50
55
|
valueType: valueProperty.type,
|
|
51
56
|
};
|
|
52
57
|
};
|
|
53
|
-
export const resolveIteratorResultReferenceType = (type, context) => {
|
|
54
|
-
const
|
|
55
|
-
if (
|
|
58
|
+
export const resolveIteratorResultReferenceType = (type, context, state = { activeReferenceKeys: new Set() }) => {
|
|
59
|
+
const stripped = stripNullish(type);
|
|
60
|
+
if (stripped.kind === "referenceType") {
|
|
61
|
+
const key = getIteratorResultReferenceKey(stripped, context);
|
|
62
|
+
if (state.activeReferenceKeys.has(key)) {
|
|
63
|
+
return undefined;
|
|
64
|
+
}
|
|
65
|
+
state.activeReferenceKeys.add(key);
|
|
66
|
+
try {
|
|
67
|
+
const resolved = resolveTypeAlias(stripped, context);
|
|
68
|
+
if (resolved === stripped || resolved.kind !== "unionType") {
|
|
69
|
+
return undefined;
|
|
70
|
+
}
|
|
71
|
+
return resolveIteratorResultReferenceType(resolved, context, state);
|
|
72
|
+
}
|
|
73
|
+
finally {
|
|
74
|
+
state.activeReferenceKeys.delete(key);
|
|
75
|
+
}
|
|
76
|
+
}
|
|
77
|
+
if (stripped.kind !== "unionType") {
|
|
78
|
+
return undefined;
|
|
79
|
+
}
|
|
80
|
+
if (stripped.types.length !== 2) {
|
|
56
81
|
return undefined;
|
|
57
82
|
}
|
|
58
|
-
const variants =
|
|
83
|
+
const variants = stripped.types
|
|
59
84
|
.map((member) => tryResolveIteratorResultVariant(member, context))
|
|
60
85
|
.filter((variant) => variant !== undefined);
|
|
61
86
|
if (variants.length !== 2) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"structural-shape-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/structural-shape-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AAEjG,MAAM,iCAAiC,GAAG,CAAC,IAAwB,EAAW,EAAE,CAC9E,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAgD,EACvC,EAAE;IACX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;IAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC7D,OAAO,CACL,iCAAiC,CAAC,UAAU,CAAC;QAC7C,iCAAiC,CAAC,aAAa,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,eAAmC,EACnC,aAA4C,EACA,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAChE,CAAC,CAAC;
|
|
1
|
+
{"version":3,"file":"structural-shape-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/structural-shape-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AAEjG,MAAM,iCAAiC,GAAG,CAAC,IAAwB,EAAW,EAAE,CAC9E,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAgD,EACvC,EAAE;IACX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;IAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC7D,OAAO,CACL,iCAAiC,CAAC,UAAU,CAAC;QAC7C,iCAAiC,CAAC,aAAa,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,eAAmC,EACnC,aAA4C,EACA,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAChE,CAAC,CAAC;AAWH,MAAM,6BAA6B,GAAG,CACpC,IAAgD,EAChD,OAAuB,EACf,EAAE,CACV,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC;IAC7C,IAAI,CAAC,MAAM,EAAE,QAAQ;IACrB,IAAI,CAAC,eAAe;IACpB,IAAI,CAAC,IAAI,CAAC;AAEZ,MAAM,+BAA+B,GAAG,CACtC,IAAY,EACZ,OAAuB,EACY,EAAE;IACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,OAAO,GACX,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC5B,CAAC,CAAC,QAAQ,CAAC,OAAO;QAClB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;YACjC,CAAC,CAAC,QAAQ,CAAC,iBAAiB;YAC5B,CAAC,CAAC,SAAS,CAAC;IAClB,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAC/B,CAAC,MAAM,EAAmE,EAAE,CAC1E,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC3E,IACE,CAAC,YAAY;QACb,CAAC,aAAa;QACd,YAAY,CAAC,UAAU;QACvB,aAAa,CAAC,UAAU,EACxB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QACxC,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,EAC5C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK;QAC7B,SAAS,EAAE,aAAa,CAAC,IAAI;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAY,EACZ,OAAuB,EACvB,QAAuC,EAAE,mBAAmB,EAAE,IAAI,GAAG,EAAE,EAAE,EACjB,EAAE;IAC1D,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,6BAA6B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC3D,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,kCAAkC,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACtE,CAAC;gBAAS,CAAC;YACT,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK;SAC5B,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;SACjE,MAAM,CACL,CAAC,OAAO,EAAoC,EAAE,CAAC,OAAO,KAAK,SAAS,CACrE,CAAC;IACJ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAC5E,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC1E,IAAI,CAAC,gBAAgB,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,kBAAkB,CACvB,gBAAgB,EAChB,uCAAuC,EACvC,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,uBAAuB,GAAG,kCAAkC,CAChE,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAEjC,MAAM,SAAS,GAAG,CAAC,OAAe,EAAU,EAAE;QAC5C,MAAM,OAAO,GAAG,8BAA8B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACjE,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACxB,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAEpB,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE;YACvB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;gBACrB,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC5D,MAAM,UAAU,GACd,CAAC,CAAC,aAAa;wBACf,aAAa,CAAC,IAAI,CAChB,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CACjE,CAAC;oBACJ,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,aAAa;yBACd;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;oBACnD,MAAM,uBAAuB,GAC3B,OAAO,CAAC,uBAAuB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBAClD,MAAM,oBAAoB,GAAG,OAAO,CAAC,oBAAoB;wBACvD,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,oBAAoB,CAAC;wBACzC,CAAC,CAAC,SAAS,CAAC;oBACd,MAAM,UAAU,GACd,WAAW,KAAK,OAAO,CAAC,WAAW;wBACnC,CAAC,CAAC,CAAC,uBAAuB;4BACxB,uBAAuB,CAAC,IAAI,CAC1B,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACjB,OAAO,KAAK,OAAO,CAAC,uBAAuB,EAAE,CAAC,KAAK,CAAC,CACvD,CAAC;wBACJ,oBAAoB,KAAK,OAAO,CAAC,oBAAoB,CAAC;oBACxD,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,WAAW;4BACX,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC/D,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBAC1D;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBACzD,OAAO,YAAY,CAAC,IAAI,CACtB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAC5D;wBACC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE;wBAC9B,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,cAAc,CAAC,CAAC,CAAC;oBACpB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACtD,SAAS,CAAC,IAAI;wBACZ,CAAC,CAAC;4BACE,GAAG,SAAS;4BACZ,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;yBAChC;wBACH,CAAC,CAAC,SAAS,CACd,CAAC;oBACF,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;oBACjD,MAAM,UAAU,GACd,UAAU,KAAK,OAAO,CAAC,UAAU;wBACjC,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAC9D,CAAC;oBACJ,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,UAAU;4BACV,UAAU;yBACX;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,YAAY,CAAC,CAAC,CAAC;oBAClB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;wBAC7C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;4BACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gCACzB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gCAC1C,OAAO,UAAU,KAAK,MAAM,CAAC,IAAI;oCAC/B,CAAC,CAAC;wCACE,GAAG,MAAM;wCACT,IAAI,EAAE,UAAU;qCACjB;oCACH,CAAC,CAAC,MAAM,CAAC;4BACb,CAAC;4BACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gCACvB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACrD,SAAS,CAAC,IAAI;oCACZ,CAAC,CAAC;wCACE,GAAG,SAAS;wCACZ,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;qCAChC;oCACH,CAAC,CAAC,SAAS,CACd,CAAC;gCACF,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU;oCAClC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC;oCAC9B,CAAC,CAAC,SAAS,CAAC;gCACd,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,EAAE,GAAG,CAC/C,CAAC,aAAa,EAAE,EAAE,CAChB,aAAa,CAAC,UAAU,IAAI,aAAa,CAAC,OAAO;oCAC/C,CAAC,CAAC;wCACE,GAAG,aAAa;wCAChB,GAAG,CAAC,aAAa,CAAC,UAAU;4CAC1B,CAAC,CAAC;gDACE,UAAU,EAAE,SAAS,CAAC,aAAa,CAAC,UAAU,CAAC;6CAChD;4CACH,CAAC,CAAC,EAAE,CAAC;wCACP,GAAG,CAAC,aAAa,CAAC,OAAO;4CACvB,CAAC,CAAC;gDACE,OAAO,EAAE,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC;6CAC1C;4CACH,CAAC,CAAC,EAAE,CAAC;qCACR;oCACH,CAAC,CAAC,aAAa,CACpB,CAAC;gCACF,MAAM,UAAU,GACd,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAC7D;oCACD,UAAU,KAAK,MAAM,CAAC,UAAU;oCAChC,CAAC,CAAC,CAAC,cAAc;wCACf,cAAc,CAAC,IAAI,CACjB,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CACvB,aAAa,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC,KAAK,CAAC,CACnD,CAAC,CAAC;gCACP,OAAO,UAAU;oCACf,CAAC,CAAC;wCACE,GAAG,MAAM;wCACT,UAAU;wCACV,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wCACrC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qCAC9C;oCACH,CAAC,CAAC,MAAM,CAAC;4BACb,CAAC;wBACH,CAAC;oBACH,CAAC,CAAC,CAAC;oBACH,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CACrD;wBACC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE;wBACzB,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;oBACtB,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;oBAC3C,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;oBAC/C,OAAO,OAAO,KAAK,OAAO,CAAC,OAAO,IAAI,SAAS,KAAK,OAAO,CAAC,SAAS;wBACnE,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,OAAO;4BACP,SAAS;yBACV;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC;gBACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;oBACxB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC3C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;wBACpE,OAAO,OAAO,CAAC;oBACjB,CAAC;oBAED,OAAO,OAAO,CAAC,IAAI,KAAK,WAAW;wBACjC,CAAC,CAAC,uCAAuC,CAAC,OAAO,EAAE,KAAK,CAAC;wBACzD,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,KAAK;yBACN,CAAC;gBACR,CAAC;gBACD,KAAK,eAAe,CAAC;gBACrB,KAAK,mBAAmB,CAAC;gBACzB,KAAK,aAAa,CAAC;gBACnB,KAAK,SAAS,CAAC;gBACf,KAAK,aAAa,CAAC;gBACnB,KAAK,UAAU,CAAC;gBAChB,KAAK,WAAW;oBACd,OAAO,OAAO,CAAC;YACnB,CAAC;QACH,CAAC,CAAC,EAAE,CAAC;QAEL,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvB,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import type { IrExpression, SurfaceMemberSemantics } from "@tsonic/frontend";
|
|
2
|
+
import type { EmitterContext } from "../../types.js";
|
|
3
|
+
type MemberBinding = NonNullable<Extract<IrExpression, {
|
|
4
|
+
kind: "memberAccess";
|
|
5
|
+
}>["memberBinding"]>;
|
|
6
|
+
export declare const getSurfaceMemberSemantics: (binding: MemberBinding, context: EmitterContext) => SurfaceMemberSemantics | undefined;
|
|
7
|
+
export declare const surfaceMemberMutatesReceiver: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
8
|
+
export declare const surfaceMemberReturnsReceiver: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
9
|
+
export declare const surfaceMemberReturnsArray: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
10
|
+
export declare const surfaceMemberReadsArrayLength: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
11
|
+
export declare const getSurfaceEmittedMemberName: (binding: MemberBinding, context: EmitterContext) => string | undefined;
|
|
12
|
+
export declare const surfaceMemberEmitsAsInstanceMember: (binding: MemberBinding, context: EmitterContext) => boolean;
|
|
13
|
+
export {};
|
|
14
|
+
//# sourceMappingURL=surface-member-semantics.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"surface-member-semantics.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/surface-member-semantics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,KAAK,aAAa,GAAG,WAAW,CAC9B,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,CAAC,eAAe,CAAC,CACjE,CAAC;AA6BF,eAAO,MAAM,yBAAyB,GACpC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,sBAAsB,GAAG,SAa3B,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OACoE,CAAC;AAExE,eAAO,MAAM,4BAA4B,GACvC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OACoE,CAAC;AAExE,eAAO,MAAM,yBAAyB,GACpC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OACiE,CAAC;AAErE,eAAO,MAAM,6BAA6B,GACxC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OAC2E,CAAC;AAE/E,eAAO,MAAM,2BAA2B,GACtC,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,MAAM,GAAG,SACoD,CAAC;AAEjE,eAAO,MAAM,kCAAkC,GAC7C,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,OAEe,CAAC"}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
const stripGlobalPrefix = (typeName) => typeName.startsWith("global::")
|
|
2
|
+
? typeName.slice("global::".length)
|
|
3
|
+
: typeName;
|
|
4
|
+
const stripClrGenericArity = (typeName) => typeName.replace(/`\d+$/, "");
|
|
5
|
+
const getTypeNameCandidates = (typeName) => {
|
|
6
|
+
const candidates = new Set();
|
|
7
|
+
const withoutGlobal = stripGlobalPrefix(typeName.trim());
|
|
8
|
+
const withoutArity = stripClrGenericArity(withoutGlobal);
|
|
9
|
+
if (typeName.trim().length > 0) {
|
|
10
|
+
candidates.add(typeName.trim());
|
|
11
|
+
}
|
|
12
|
+
if (withoutGlobal.length > 0) {
|
|
13
|
+
candidates.add(withoutGlobal);
|
|
14
|
+
}
|
|
15
|
+
if (withoutArity.length > 0) {
|
|
16
|
+
candidates.add(withoutArity);
|
|
17
|
+
candidates.add(`global::${withoutArity}`);
|
|
18
|
+
}
|
|
19
|
+
return [...candidates];
|
|
20
|
+
};
|
|
21
|
+
export const getSurfaceMemberSemantics = (binding, context) => {
|
|
22
|
+
const memberSemantics = context.options.surfaceCapabilities?.memberSemantics;
|
|
23
|
+
if (!memberSemantics)
|
|
24
|
+
return undefined;
|
|
25
|
+
for (const typeName of getTypeNameCandidates(binding.type)) {
|
|
26
|
+
const members = memberSemantics[typeName];
|
|
27
|
+
const semantics = members?.[binding.member];
|
|
28
|
+
if (semantics) {
|
|
29
|
+
return semantics;
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
return undefined;
|
|
33
|
+
};
|
|
34
|
+
export const surfaceMemberMutatesReceiver = (binding, context) => getSurfaceMemberSemantics(binding, context)?.mutatesReceiver === true;
|
|
35
|
+
export const surfaceMemberReturnsReceiver = (binding, context) => getSurfaceMemberSemantics(binding, context)?.returnsReceiver === true;
|
|
36
|
+
export const surfaceMemberReturnsArray = (binding, context) => getSurfaceMemberSemantics(binding, context)?.returnsArray === true;
|
|
37
|
+
export const surfaceMemberReadsArrayLength = (binding, context) => getSurfaceMemberSemantics(binding, context)?.storageAccess === "arrayLength";
|
|
38
|
+
export const getSurfaceEmittedMemberName = (binding, context) => getSurfaceMemberSemantics(binding, context)?.emittedMemberName;
|
|
39
|
+
export const surfaceMemberEmitsAsInstanceMember = (binding, context) => getSurfaceMemberSemantics(binding, context)?.emissionKind ===
|
|
40
|
+
"instanceMember";
|
|
41
|
+
//# sourceMappingURL=surface-member-semantics.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"surface-member-semantics.js","sourceRoot":"","sources":["../../../src/core/semantic/surface-member-semantics.ts"],"names":[],"mappings":"AAOA,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAU,EAAE,CACrD,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC;IAC7B,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;IACnC,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAU,EAAE,CACxD,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAEhC,MAAM,qBAAqB,GAAG,CAAC,QAAgB,EAAqB,EAAE;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAEzD,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,UAAU,CAAC,GAAG,CAAC,WAAW,YAAY,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAsB,EACtB,OAAuB,EACa,EAAE;IACtC,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,eAAe,CAAC;IAC7E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,KAAK,MAAM,QAAQ,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,eAAe,KAAK,IAAI,CAAC;AAExE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,eAAe,KAAK,IAAI,CAAC;AAExE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,YAAY,KAAK,IAAI,CAAC;AAErE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,aAAa,KAAK,aAAa,CAAC;AAE/E,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,OAAsB,EACtB,OAAuB,EACH,EAAE,CACtB,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC;AAEjE,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,OAAsB,EACtB,OAAuB,EACd,EAAE,CACX,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,YAAY;IACzD,gBAAgB,CAAC"}
|
|
@@ -55,6 +55,7 @@ export declare const registerParameterTypes: (originalName: string, semanticType
|
|
|
55
55
|
* because collection-level normalization can change the element extraction.
|
|
56
56
|
*/
|
|
57
57
|
export declare const registerForOfElementSymbolTypes: (originalName: string, collectionType: IrExpression["inferredType"], context: EmitterContext) => EmitterContext;
|
|
58
|
+
export declare const registerForInKeySymbolTypes: (originalName: string, context: EmitterContext) => EmitterContext;
|
|
58
59
|
/**
|
|
59
60
|
* Register both semantic and storage types for a variable declaration.
|
|
60
61
|
*
|
|
@@ -66,15 +67,7 @@ export declare const registerVariableSymbolTypes: (originalName: string, decl: V
|
|
|
66
67
|
/**
|
|
67
68
|
* Register catch variable types.
|
|
68
69
|
*
|
|
69
|
-
*
|
|
70
|
-
* Storage: System.Exception (the CLR catch carrier).
|
|
70
|
+
* Catch variables are CLR exceptions in emitted code.
|
|
71
71
|
*/
|
|
72
72
|
export declare const registerCatchVariableTypes: (originalName: string, context: EmitterContext) => EmitterContext;
|
|
73
|
-
/**
|
|
74
|
-
* Register for-in key variable types.
|
|
75
|
-
*
|
|
76
|
-
* Both semantic and storage are string — for-in keys are always strings
|
|
77
|
-
* in both channels.
|
|
78
|
-
*/
|
|
79
|
-
export declare const registerForInKeyTypes: (originalName: string, context: EmitterContext) => EmitterContext;
|
|
80
73
|
//# sourceMappingURL=symbol-types.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"symbol-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,OAAO,EAGL,KAAK,sBAAsB,EAC5B,MAAM,+BAA+B,CAAC;AAGvC;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,cAAc,MAAM,GAAG,SAAS,EAChC,0BAA0B,OAAO,EACjC,SAAS,cAAc,KACtB,cAgBF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,+BAA+B,GAC1C,cAAc,MAAM,EACpB,gBAAgB,YAAY,CAAC,cAAc,CAAC,EAC5C,SAAS,cAAc,KACtB,cAYF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,MAAM,sBAAsB,EAC5B,SAAS,cAAc,EACvB,sBAAsB,MAAM,EAC5B,uBAAuB,MAAM,KAC5B,cAQA,CAAC;AAEJ
|
|
1
|
+
{"version":3,"file":"symbol-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,OAAO,EAGL,KAAK,sBAAsB,EAC5B,MAAM,+BAA+B,CAAC;AAGvC;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,cAAc,MAAM,GAAG,SAAS,EAChC,0BAA0B,OAAO,EACjC,SAAS,cAAc,KACtB,cAgBF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,+BAA+B,GAC1C,cAAc,MAAM,EACpB,gBAAgB,YAAY,CAAC,cAAc,CAAC,EAC5C,SAAS,cAAc,KACtB,cAYF,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,cAGF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,MAAM,sBAAsB,EAC5B,SAAS,cAAc,EACvB,sBAAsB,MAAM,EAC5B,uBAAuB,MAAM,KAC5B,cAQA,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GACrC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,cAcA,CAAC"}
|
|
@@ -67,6 +67,10 @@ export const registerForOfElementSymbolTypes = (originalName, collectionType, co
|
|
|
67
67
|
const storageElementType = deriveForOfElementType(normalizeRuntimeStorageType(collectionType, context), context);
|
|
68
68
|
return registerLocalSymbolTypes(originalName, semanticElementType, storageElementType ?? semanticElementType, context);
|
|
69
69
|
};
|
|
70
|
+
export const registerForInKeySymbolTypes = (originalName, context) => {
|
|
71
|
+
const keyType = { kind: "primitiveType", name: "string" };
|
|
72
|
+
return registerLocalSymbolTypes(originalName, keyType, keyType, context);
|
|
73
|
+
};
|
|
70
74
|
/**
|
|
71
75
|
* Register both semantic and storage types for a variable declaration.
|
|
72
76
|
*
|
|
@@ -80,23 +84,15 @@ export const registerVariableSymbolTypes = (originalName, decl, context, storage
|
|
|
80
84
|
/**
|
|
81
85
|
* Register catch variable types.
|
|
82
86
|
*
|
|
83
|
-
*
|
|
84
|
-
* Storage: System.Exception (the CLR catch carrier).
|
|
87
|
+
* Catch variables are CLR exceptions in emitted code.
|
|
85
88
|
*/
|
|
86
89
|
export const registerCatchVariableTypes = (originalName, context) => registerLocalSymbolTypes(originalName, {
|
|
87
90
|
kind: "referenceType",
|
|
88
|
-
name: "
|
|
89
|
-
resolvedClrType: "
|
|
91
|
+
name: "System.Exception",
|
|
92
|
+
resolvedClrType: "global::System.Exception",
|
|
90
93
|
}, {
|
|
91
94
|
kind: "referenceType",
|
|
92
95
|
name: "System.Exception",
|
|
93
96
|
resolvedClrType: "global::System.Exception",
|
|
94
97
|
}, context);
|
|
95
|
-
/**
|
|
96
|
-
* Register for-in key variable types.
|
|
97
|
-
*
|
|
98
|
-
* Both semantic and storage are string — for-in keys are always strings
|
|
99
|
-
* in both channels.
|
|
100
|
-
*/
|
|
101
|
-
export const registerForInKeyTypes = (originalName, context) => registerLocalSymbolTypes(originalName, { kind: "primitiveType", name: "string" }, { kind: "primitiveType", name: "string" }, context);
|
|
102
98
|
//# sourceMappingURL=symbol-types.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"symbol-types.js","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EACL,sCAAsC,EACtC,uBAAuB,GAExB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAEzD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,YAAgC,EAChC,wBAAiC,EACjC,OAAuB,EACP,EAAE;IAClB,MAAM,YAAY,GAAG,wBAAwB,CAC3C,YAAY,EACZ,wBAAwB,CACzB,CAAC;IACF,MAAM,WAAW,GACf,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC;QAClD,YAAY;QACZ,YAAY,CAAC;IAEf,OAAO,wBAAwB,CAC7B,YAAY,EACZ,YAAY,IAAI,YAAY,EAC5B,WAAW,EACX,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAoB,EACpB,cAA4C,EAC5C,OAAuB,EACP,EAAE;IAClB,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,kBAAkB,GAAG,sBAAsB,CAC/C,2BAA2B,CAAC,cAAc,EAAE,OAAO,CAAC,EACpD,OAAO,CACR,CAAC;IACF,OAAO,wBAAwB,CAC7B,YAAY,EACZ,mBAAmB,EACnB,kBAAkB,IAAI,mBAAmB,EACzC,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,IAA4B,EAC5B,OAAuB,EACvB,mBAA4B,EAC5B,oBAA6B,EACb,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ,oBAAoB;IAClB,IAAI,CAAC,IAAI;IACT,sCAAsC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,EACnE,mBAAmB,IAAI,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7D,OAAO,CACR,CAAC;AAEJ
|
|
1
|
+
{"version":3,"file":"symbol-types.js","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EACL,sCAAsC,EACtC,uBAAuB,GAExB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAEzD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,YAAgC,EAChC,wBAAiC,EACjC,OAAuB,EACP,EAAE;IAClB,MAAM,YAAY,GAAG,wBAAwB,CAC3C,YAAY,EACZ,wBAAwB,CACzB,CAAC;IACF,MAAM,WAAW,GACf,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC;QAClD,YAAY;QACZ,YAAY,CAAC;IAEf,OAAO,wBAAwB,CAC7B,YAAY,EACZ,YAAY,IAAI,YAAY,EAC5B,WAAW,EACX,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAoB,EACpB,cAA4C,EAC5C,OAAuB,EACP,EAAE;IAClB,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,kBAAkB,GAAG,sBAAsB,CAC/C,2BAA2B,CAAC,cAAc,EAAE,OAAO,CAAC,EACpD,OAAO,CACR,CAAC;IACF,OAAO,wBAAwB,CAC7B,YAAY,EACZ,mBAAmB,EACnB,kBAAkB,IAAI,mBAAmB,EACzC,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,OAAuB,EACP,EAAE;IAClB,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAClE,OAAO,wBAAwB,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,IAA4B,EAC5B,OAAuB,EACvB,mBAA4B,EAC5B,oBAA6B,EACb,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ,oBAAoB;IAClB,IAAI,CAAC,IAAI;IACT,sCAAsC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,EACnE,mBAAmB,IAAI,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7D,OAAO,CACR,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,YAAoB,EACpB,OAAuB,EACP,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ;IACE,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,kBAAkB;IACxB,eAAe,EAAE,0BAA0B;CAC5C,EACD;IACE,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,kBAAkB;IACxB,eAAe,EAAE,0BAA0B;CAC5C,EACD,OAAO,CACR,CAAC"}
|
|
@@ -13,7 +13,7 @@
|
|
|
13
13
|
*/
|
|
14
14
|
import { IrExpression, IrType } from "@tsonic/frontend";
|
|
15
15
|
import { EmitterContext } from "../../types.js";
|
|
16
|
-
import {
|
|
16
|
+
import type { EmitTypeAstLike } from "./runtime-union-shared.js";
|
|
17
17
|
/**
|
|
18
18
|
* Information extracted from a ternary condition guard.
|
|
19
19
|
* Used to generate inline Union.IsN()/AsN() narrowing in conditional expressions.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ternary-guards.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,
|
|
1
|
+
{"version":3,"file":"ternary-guards.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAajE;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;CAC5C,CAAC;AAwOF;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,GACjC,WAAW,YAAY,EACvB,SAAS,cAAc,EACvB,aAAa,eAAe,KAC3B,gBAAgB,GAAG,SA8BrB,CAAC"}
|
|
@@ -14,7 +14,8 @@
|
|
|
14
14
|
import { getPropertyType } from "./type-resolution.js";
|
|
15
15
|
import { emitRemappedLocalName } from "../format/local-names.js";
|
|
16
16
|
import { resolveIteratorResultReferenceType } from "./structural-resolution.js";
|
|
17
|
-
import { getCanonicalRuntimeUnionMembers
|
|
17
|
+
import { getCanonicalRuntimeUnionMembers } from "./runtime-union-frame.js";
|
|
18
|
+
import { findRuntimeUnionMemberIndices } from "./runtime-union-matching.js";
|
|
18
19
|
import { getSemanticUnionMembers, findSemanticUnionMemberIndex, } from "./semantic-union-members.js";
|
|
19
20
|
import { resolveNarrowedUnionMembers } from "./narrowed-union-resolution.js";
|
|
20
21
|
import { resolveLocalTypesForReference, tryGetLiteralSet, } from "./guard-primitives.js";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ternary-guards.js","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;
|
|
1
|
+
{"version":3,"file":"ternary-guards.js","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAEhF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EACL,uBAAuB,EACvB,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAkB/B;;;;;;;GAOG;AACH,MAAM,+BAA+B,GAAG,CACtC,IAA6C,EAC7C,OAAuB,EACO,EAAE;IAChC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/C,IACE,CAAC,GAAG;QACJ,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QACxC,GAAG,CAAC,IAAI,KAAK,YAAY,EACzB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9B,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC;IACzC,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,6BAA6B;IAC7B,sEAAsE;IACtE,2EAA2E;IAC3E,gFAAgF;IAChF,MAAM,eAAe,GAAG,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,WAAW,GAAG,4BAA4B,CAC9C,eAAe,EACf,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhD,sEAAsE;IACtE,0EAA0E;IAC1E,yEAAyE;IACzE,iFAAiF;IACjF,MAAM,cAAc,GAAG,+BAA+B,CACpD,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,MAAM,cAAc,GAAG,6BAA6B,CAClD,cAAc,EACd,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,UAAU,GAAG,CAAC;QACvB,YAAY;QACZ,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,UAAU;KACrB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,0CAA0C,GAAG,CACjD,IAAkB,EAClB,OAAuB,EACvB,YAA6B,EACC,EAAE;IAChC,2FAA2F;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,0CAA0C,CACtD,IAAI,CAAC,UAAU,EACf,OAAO,EACP,YAAY,CACb,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO;YACL,GAAG,KAAK;YACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;SAClE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,IAAI,CAAC,QAAQ,KAAK,IAAI,EACtB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM;YACrB,YAAY,EAAE,IAAI,CAAC,QAAQ;YAC3B,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,IAAI,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,IAAI,kCAAkC,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,2BAA2B,CACjD,YAAY,EACZ,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,eAAe,CAAC;IACvD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GACnB,EAAE,CAAC;IAEL,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,IAAI,QAA4B,CAAC;QAEjC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAC5D,CAAC;YACF,QAAQ,GAAG,IAAI,EAAE,IAAI,CAAC;QACxB,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC3C,MAAM,UAAU,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAClE,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC1C,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC;gBAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAEhB,QAAQ,GAAG,eAAe,CACxB,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAC/B,YAAY,EACZ,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAC3B,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,SAAS;QACX,CAAC;QAED,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC;gBACnB,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBACtC,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IAEvE,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,aAAa,CAAC,OAAO;QAC9B,YAAY,EAAE,aAAa,CAAC,IAAI;QAChC,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;KACjD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAuB,EACvB,OAAuB,EACvB,WAA4B,EACE,EAAE;IAChC,4CAA4C;IAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,+BAA+B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,qDAAqD;IACrD,MAAM,KAAK,GAAG,0CAA0C,CACtD,SAAS,EACT,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,+CAA+C;IAC/C,IACE,SAAS,CAAC,IAAI,KAAK,OAAO;QAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC1B,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;QACD,MAAM,KAAK,GAAG,+BAA+B,CAC3C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"truthiness-evaluation.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD,OAAO,KAAK,EACV,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,aAAa,EACd,MAAM,gCAAgC,CAAC;AAExC,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,MAAM,KACX,MAAM,GAAG,SA+BX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,GAAI,MAAM,YAAY,KAAG,
|
|
1
|
+
{"version":3,"file":"truthiness-evaluation.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD,OAAO,KAAK,EACV,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,aAAa,EACd,MAAM,gCAAgC,CAAC;AAExC,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,MAAM,KACX,MAAM,GAAG,SA+BX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,GAAI,MAAM,YAAY,KAAG,OAoBlE,CAAC;AAMF,oGAAoG;AACpG,eAAO,MAAM,SAAS,GAAI,KAAK,mBAAmB,KAAG,mBA0BpD,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,mBAG5C,CAAC;AAEH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,aAAa,KAClB,mBAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GACzB,SAAS,2BAA2B,KACnC,aAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,aACnB,CAAC;AAE5B,eAAO,MAAM,QAAQ,GACnB,MAAM,aAAa,EACnB,YAAY,mBAAmB,KAC9B,mBAID,CAAC;AAEH,eAAO,MAAM,WAAW,GAAI,MAAM,aAAa,KAAG,gBAGhD,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAClB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,SAAS,mBAAmB,KAAG,mBAIrD,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,mBAAmB,EAC7B,YAAY,MAAM,KACjB,mBAID,CAAC;AAEH,eAAO,MAAM,QAAQ,GACnB,QAAQ,mBAAmB,EAC3B,MAAM,SAAS,mBAAmB,EAAE,KACnC,mBAID,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,SAAS,gBAAgB,EACzB,YAAY,mBAAmB,KAC9B;IACD,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;CACb,CAAC;AAE/B,eAAO,MAAM,oBAAoB,GAAI,KAAK,MAAM,KAAG,mBA8GlD,CAAC;AAMF,eAAO,MAAM,iCAAiC,GAC5C,YAAY,mBAAmB,EAC/B,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAwCtC,CAAC;AAMF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA2BF,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,OAAO,SAAS,MAAM,EAAE,KACvB,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAkBpC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAUxD,CAAC"}
|
|
@@ -62,8 +62,7 @@ export const isInherentlyBooleanExpression = (expr) => {
|
|
|
62
62
|
expr.operator === ">" ||
|
|
63
63
|
expr.operator === "<=" ||
|
|
64
64
|
expr.operator === ">=" ||
|
|
65
|
-
expr.operator === "instanceof"
|
|
66
|
-
expr.operator === "in");
|
|
65
|
+
expr.operator === "instanceof");
|
|
67
66
|
}
|
|
68
67
|
if (expr.kind === "unary") {
|
|
69
68
|
return expr.operator === "!";
|
|
@@ -197,7 +196,8 @@ export const buildTruthySwitchAst = (tmp) => {
|
|
|
197
196
|
export const emitRuntimeTruthinessConditionAst = (emittedAst, context) => {
|
|
198
197
|
// Use a pattern variable to evaluate the operand exactly once, then apply JS-like truthiness.
|
|
199
198
|
//
|
|
200
|
-
// This is the
|
|
199
|
+
// This is the deterministic runtime-truthiness path when inferredType is not
|
|
200
|
+
// specific enough for compile-time truthiness:
|
|
201
201
|
// - Never emit `x != null` for unknowns (silently miscompiles boxed value types like bool/int).
|
|
202
202
|
// - Use runtime type checks to preserve semantics deterministically.
|
|
203
203
|
const nextId = (context.tempVarId ?? 0) + 1;
|