@tsonic/emitter 0.0.77 → 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 +5 -1
- package/dist/array.test.js.map +1 -1
- package/dist/core/module-emitter-cases/static-containers.test.js +2 -1
- package/dist/core/module-emitter-cases/static-containers.test.js.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 +2 -1
- package/dist/core/semantic/assignment-flow.js.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.js +2 -1
- package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.js +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
- package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
- package/dist/core/semantic/mutable-storage-helpers.js +3 -2
- package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
- package/dist/core/semantic/narrowed-expression-types.js +1 -1
- package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
- package/dist/core/semantic/narrowed-union-resolution.js +1 -1
- package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.js +8 -31
- package/dist/core/semantic/nullable-typeof-refinements.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-unions.d.ts +3 -4
- package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
- package/dist/core/semantic/runtime-unions.js +4 -129
- package/dist/core/semantic/runtime-unions.js.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-types.d.ts +3 -0
- package/dist/core/semantic/storage-types.d.ts.map +1 -1
- package/dist/core/semantic/storage-types.js +13 -2
- package/dist/core/semantic/storage-types.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/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/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-semantics.js +1 -1
- package/dist/core/semantic/union-semantics.js.map +1 -1
- package/dist/emitter-types/context.d.ts.map +1 -1
- package/dist/emitter-types/context.js +1 -0
- package/dist/emitter-types/context.js.map +1 -1
- package/dist/expressions/access-binding.d.ts.map +1 -1
- package/dist/expressions/access-binding.js +18 -32
- 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 +3 -7
- 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 +2 -4
- package/dist/expressions/access-length.d.ts.map +1 -1
- package/dist/expressions/access-length.js +7 -23
- 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-resolution-receivers.d.ts.map +1 -1
- package/dist/expressions/access-resolution-receivers.js +10 -12
- package/dist/expressions/access-resolution-receivers.js.map +1 -1
- package/dist/expressions/access.d.ts.map +1 -1
- package/dist/expressions/access.js +7 -19
- package/dist/expressions/access.js.map +1 -1
- package/dist/expressions/architecture-invariants.test.js +94 -0
- package/dist/expressions/architecture-invariants.test.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-arguments-emit.d.ts.map +1 -1
- package/dist/expressions/calls/call-arguments-emit.js +20 -2
- package/dist/expressions/calls/call-arguments-emit.js.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 +5 -7
- 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 +3 -8
- package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
- package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
- package/dist/expressions/expected-type-adaptation.js +15 -1
- package/dist/expressions/expected-type-adaptation.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 -47
- package/dist/expressions/identifier-storage.d.ts.map +1 -1
- package/dist/expressions/identifier-storage.js +1 -652
- package/dist/expressions/identifier-storage.js.map +1 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +7 -1
- 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/helpers.d.ts +1 -0
- package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
- package/dist/expressions/index-cases/helpers.js +28 -0
- package/dist/expressions/index-cases/helpers.js.map +1 -1
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +18 -9
- 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/operators/binary-special-ops.d.ts.map +1 -1
- package/dist/expressions/operators/binary-special-ops.js +4 -30
- package/dist/expressions/operators/binary-special-ops.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 +13 -0
- package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
- package/dist/integration-cases/may14-downstream-contracts.test.js +372 -0
- package/dist/integration-cases/may14-downstream-contracts.test.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/control/conditionals/branch-context.js +3 -3
- package/dist/statements/control/conditionals/branch-context.js.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.js +7 -32
- package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
- package/dist/statements/control/loops.js +2 -2
- package/dist/statements/control/loops.js.map +1 -1
- package/dist/types/unions.js +2 -1
- package/dist/types/unions.js.map +1 -1
- package/package.json +2 -2
- package/dist/core/semantic/js-array-surface-members.d.ts +0 -4
- package/dist/core/semantic/js-array-surface-members.d.ts.map +0 -1
- package/dist/core/semantic/js-array-surface-members.js +0 -32
- package/dist/core/semantic/js-array-surface-members.js.map +0 -1
|
@@ -0,0 +1,168 @@
|
|
|
1
|
+
import { identifierExpression } from "../../core/format/backend-ast/builders.js";
|
|
2
|
+
import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
|
|
3
|
+
import { matchesExpectedEmissionType, requiresValueTypeMaterialization, } from "../../core/semantic/expected-type-matching.js";
|
|
4
|
+
import { tryResolveRuntimeUnionMemberType } from "../../core/semantic/narrowed-expression-types.js";
|
|
5
|
+
import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
|
|
6
|
+
import { stripNullish } from "../../core/semantic/type-resolution.js";
|
|
7
|
+
import { isStorageErasedBroadObjectPassThroughType } from "../../core/semantic/broad-object-types.js";
|
|
8
|
+
import { isBroadStorageTarget } from "./broad-storage-target.js";
|
|
9
|
+
import { matchesEmittedStorageSurface } from "./storage-surface-match.js";
|
|
10
|
+
import { preservesMaterializedValueTypeNarrowing } from "./storage-surface-shared.js";
|
|
11
|
+
export const tryEmitStorageCompatibleNarrowedIdentifier = (expr, narrowed, context, expectedType) => {
|
|
12
|
+
if (!narrowed.type && !expectedType) {
|
|
13
|
+
return undefined;
|
|
14
|
+
}
|
|
15
|
+
const remappedLocal = context.localNameMap?.get(expr.name);
|
|
16
|
+
const storageType = narrowed.storageType ?? context.localValueTypes?.get(expr.name);
|
|
17
|
+
if (!storageType) {
|
|
18
|
+
return undefined;
|
|
19
|
+
}
|
|
20
|
+
const targetType = expectedType ?? narrowed.type;
|
|
21
|
+
if (!targetType) {
|
|
22
|
+
return undefined;
|
|
23
|
+
}
|
|
24
|
+
const narrowedProjectionType = narrowed.type ??
|
|
25
|
+
tryResolveRuntimeUnionMemberType(narrowed.sourceType ?? storageType, narrowed.exprAst, context);
|
|
26
|
+
const shouldAvoidProjectedRuntimeUnionStorageReuse = narrowed.storageExprAst !== undefined &&
|
|
27
|
+
narrowed.storageExprAst !== narrowed.exprAst &&
|
|
28
|
+
willCarryAsRuntimeUnion(storageType, context) &&
|
|
29
|
+
!!narrowedProjectionType &&
|
|
30
|
+
!willCarryAsRuntimeUnion(narrowedProjectionType, context);
|
|
31
|
+
const shouldAvoidBroadStorageReuse = !!expectedType &&
|
|
32
|
+
!!narrowed.type &&
|
|
33
|
+
isBroadStorageTarget(expectedType, context) &&
|
|
34
|
+
willCarryAsRuntimeUnion(storageType, context) &&
|
|
35
|
+
!willCarryAsRuntimeUnion(narrowed.type, context);
|
|
36
|
+
const shouldAvoidBroadCarrierReuseForProjectedNarrowing = !!expectedType &&
|
|
37
|
+
isBroadStorageTarget(expectedType, context) &&
|
|
38
|
+
narrowed.carrierExprAst !== undefined &&
|
|
39
|
+
narrowed.carrierExprAst !== narrowed.exprAst;
|
|
40
|
+
const shouldPreserveMaterializedValueNarrowing = preservesMaterializedValueTypeNarrowing(narrowed, context);
|
|
41
|
+
const shouldAvoidStorageReuse = shouldAvoidBroadStorageReuse ||
|
|
42
|
+
shouldAvoidProjectedRuntimeUnionStorageReuse ||
|
|
43
|
+
shouldAvoidBroadCarrierReuseForProjectedNarrowing ||
|
|
44
|
+
shouldPreserveMaterializedValueNarrowing;
|
|
45
|
+
const originalRuntimeCarrierAst = narrowed.carrierExprAst ??
|
|
46
|
+
narrowed.storageExprAst ??
|
|
47
|
+
(remappedLocal ? identifierExpression(remappedLocal) : undefined);
|
|
48
|
+
const originalRuntimeCarrierType = narrowed.carrierExprAst
|
|
49
|
+
? (narrowed.carrierType ?? context.localValueTypes?.get(expr.name))
|
|
50
|
+
: storageType;
|
|
51
|
+
const [sameSourceCarrierSurface, carrierSurfaceContext] = expectedType && originalRuntimeCarrierType
|
|
52
|
+
? matchesEmittedStorageSurface(stripNullish(originalRuntimeCarrierType), expectedType, context)
|
|
53
|
+
: [false, context];
|
|
54
|
+
const canReuseOriginalRuntimeCarrier = !!expectedType &&
|
|
55
|
+
!!originalRuntimeCarrierAst &&
|
|
56
|
+
!!originalRuntimeCarrierType &&
|
|
57
|
+
willCarryAsRuntimeUnion(expectedType, context) &&
|
|
58
|
+
sameSourceCarrierSurface &&
|
|
59
|
+
!shouldAvoidStorageReuse &&
|
|
60
|
+
(!narrowedProjectionType ||
|
|
61
|
+
!willCarryAsRuntimeUnion(narrowedProjectionType, context));
|
|
62
|
+
const canReuseOriginalCarrierSurface = !!expectedType &&
|
|
63
|
+
!!originalRuntimeCarrierAst &&
|
|
64
|
+
!!originalRuntimeCarrierType &&
|
|
65
|
+
sameSourceCarrierSurface &&
|
|
66
|
+
!shouldAvoidStorageReuse &&
|
|
67
|
+
!requiresValueTypeMaterialization(originalRuntimeCarrierType, expectedType, carrierSurfaceContext);
|
|
68
|
+
if (expectedType &&
|
|
69
|
+
isBroadStorageTarget(expectedType, context) &&
|
|
70
|
+
!shouldAvoidStorageReuse) {
|
|
71
|
+
const originalSourceCarrierType = narrowed.carrierType ??
|
|
72
|
+
narrowed.sourceType ??
|
|
73
|
+
context.localValueTypes?.get(expr.name);
|
|
74
|
+
if (originalSourceCarrierType &&
|
|
75
|
+
!willCarryAsRuntimeUnion(originalSourceCarrierType, context) &&
|
|
76
|
+
(matchesExpectedEmissionType(stripNullish(originalSourceCarrierType), expectedType, context) ||
|
|
77
|
+
isStorageErasedBroadObjectPassThroughType(originalSourceCarrierType, context))) {
|
|
78
|
+
return [
|
|
79
|
+
identifierExpression(remappedLocal ?? escapeCSharpIdentifier(expr.name)),
|
|
80
|
+
context,
|
|
81
|
+
];
|
|
82
|
+
}
|
|
83
|
+
if (narrowed.carrierExprAst) {
|
|
84
|
+
return [narrowed.carrierExprAst, context];
|
|
85
|
+
}
|
|
86
|
+
if (remappedLocal) {
|
|
87
|
+
return [identifierExpression(remappedLocal), context];
|
|
88
|
+
}
|
|
89
|
+
if (narrowed.storageExprAst) {
|
|
90
|
+
return [narrowed.storageExprAst, context];
|
|
91
|
+
}
|
|
92
|
+
}
|
|
93
|
+
if (canReuseOriginalRuntimeCarrier) {
|
|
94
|
+
return [originalRuntimeCarrierAst, carrierSurfaceContext];
|
|
95
|
+
}
|
|
96
|
+
if (canReuseOriginalCarrierSurface) {
|
|
97
|
+
return [originalRuntimeCarrierAst, carrierSurfaceContext];
|
|
98
|
+
}
|
|
99
|
+
const [sameSurface, nextContext] = matchesEmittedStorageSurface(storageType, targetType, context);
|
|
100
|
+
if (!sameSurface) {
|
|
101
|
+
return undefined;
|
|
102
|
+
}
|
|
103
|
+
if (!narrowed.storageExprAst) {
|
|
104
|
+
if (!remappedLocal) {
|
|
105
|
+
return undefined;
|
|
106
|
+
}
|
|
107
|
+
return [identifierExpression(remappedLocal), nextContext];
|
|
108
|
+
}
|
|
109
|
+
if (narrowed.exprAst.kind === "memberAccessExpression" &&
|
|
110
|
+
narrowed.exprAst.memberName === "Value" &&
|
|
111
|
+
narrowed.exprAst.expression === narrowed.storageExprAst) {
|
|
112
|
+
return undefined;
|
|
113
|
+
}
|
|
114
|
+
if (shouldAvoidStorageReuse) {
|
|
115
|
+
return undefined;
|
|
116
|
+
}
|
|
117
|
+
return [narrowed.storageExprAst, nextContext];
|
|
118
|
+
};
|
|
119
|
+
export const tryEmitExactStorageCompatibleNarrowedIdentifier = (expr, narrowed, context, expectedType) => {
|
|
120
|
+
if (!expectedType) {
|
|
121
|
+
return undefined;
|
|
122
|
+
}
|
|
123
|
+
const remappedLocal = context.localNameMap?.get(expr.name);
|
|
124
|
+
const storageType = narrowed.storageType ?? context.localValueTypes?.get(expr.name);
|
|
125
|
+
if (!storageType) {
|
|
126
|
+
return undefined;
|
|
127
|
+
}
|
|
128
|
+
const originalRuntimeCarrierAst = narrowed.carrierExprAst ??
|
|
129
|
+
narrowed.storageExprAst ??
|
|
130
|
+
(remappedLocal ? identifierExpression(remappedLocal) : undefined);
|
|
131
|
+
const originalRuntimeCarrierType = narrowed.carrierExprAst
|
|
132
|
+
? (narrowed.carrierType ?? context.localValueTypes?.get(expr.name))
|
|
133
|
+
: storageType;
|
|
134
|
+
const [sameSourceCarrierSurface, carrierSurfaceContext] = originalRuntimeCarrierAst && originalRuntimeCarrierType
|
|
135
|
+
? matchesEmittedStorageSurface(stripNullish(originalRuntimeCarrierType), expectedType, context)
|
|
136
|
+
: [false, context];
|
|
137
|
+
if (preservesMaterializedValueTypeNarrowing(narrowed, context)) {
|
|
138
|
+
return undefined;
|
|
139
|
+
}
|
|
140
|
+
if (originalRuntimeCarrierAst &&
|
|
141
|
+
willCarryAsRuntimeUnion(expectedType, context) &&
|
|
142
|
+
sameSourceCarrierSurface) {
|
|
143
|
+
return [originalRuntimeCarrierAst, carrierSurfaceContext];
|
|
144
|
+
}
|
|
145
|
+
if (originalRuntimeCarrierAst &&
|
|
146
|
+
sameSourceCarrierSurface &&
|
|
147
|
+
originalRuntimeCarrierType &&
|
|
148
|
+
!requiresValueTypeMaterialization(originalRuntimeCarrierType, expectedType, carrierSurfaceContext)) {
|
|
149
|
+
return [originalRuntimeCarrierAst, carrierSurfaceContext];
|
|
150
|
+
}
|
|
151
|
+
const [sameStorageSurface, nextContext] = matchesEmittedStorageSurface(storageType, expectedType, context);
|
|
152
|
+
if (!sameStorageSurface) {
|
|
153
|
+
return undefined;
|
|
154
|
+
}
|
|
155
|
+
if (narrowed.exprAst.kind === "memberAccessExpression" &&
|
|
156
|
+
narrowed.exprAst.memberName === "Value" &&
|
|
157
|
+
narrowed.exprAst.expression === narrowed.storageExprAst) {
|
|
158
|
+
return undefined;
|
|
159
|
+
}
|
|
160
|
+
if (narrowed.storageExprAst) {
|
|
161
|
+
return [narrowed.storageExprAst, nextContext];
|
|
162
|
+
}
|
|
163
|
+
if (!remappedLocal) {
|
|
164
|
+
return undefined;
|
|
165
|
+
}
|
|
166
|
+
return [identifierExpression(remappedLocal), nextContext];
|
|
167
|
+
};
|
|
168
|
+
//# sourceMappingURL=narrowed-storage-compatible.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"narrowed-storage-compatible.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/narrowed-storage-compatible.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EACL,2BAA2B,EAC3B,gCAAgC,GACjC,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,yCAAyC,EAAE,MAAM,2CAA2C,CAAC;AAEtG,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,uCAAuC,EAAE,MAAM,6BAA6B,CAAC;AAEtF,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAmD,EACnD,QAAoD,EACpD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,IAAI,QAAQ,CAAC,IAAI,CAAC;IACjD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,sBAAsB,GAC1B,QAAQ,CAAC,IAAI;QACb,gCAAgC,CAC9B,QAAQ,CAAC,UAAU,IAAI,WAAW,EAClC,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR,CAAC;IACJ,MAAM,4CAA4C,GAChD,QAAQ,CAAC,cAAc,KAAK,SAAS;QACrC,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO;QAC5C,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC7C,CAAC,CAAC,sBAAsB;QACxB,CAAC,uBAAuB,CAAC,sBAAsB,EAAE,OAAO,CAAC,CAAC;IAE5D,MAAM,4BAA4B,GAChC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC7C,CAAC,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,iDAAiD,GACrD,CAAC,CAAC,YAAY;QACd,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,QAAQ,CAAC,cAAc,KAAK,SAAS;QACrC,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO,CAAC;IAC/C,MAAM,wCAAwC,GAC5C,uCAAuC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,uBAAuB,GAC3B,4BAA4B;QAC5B,4CAA4C;QAC5C,iDAAiD;QACjD,wCAAwC,CAAC;IAC3C,MAAM,yBAAyB,GAC7B,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,cAAc;QACvB,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,0BAA0B,GAAG,QAAQ,CAAC,cAAc;QACxD,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,WAAW,CAAC;IAChB,MAAM,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,GACrD,YAAY,IAAI,0BAA0B;QACxC,CAAC,CAAC,4BAA4B,CAC1B,YAAY,CAAC,0BAA0B,CAAC,EACxC,YAAY,EACZ,OAAO,CACR;QACH,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvB,MAAM,8BAA8B,GAClC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,0BAA0B;QAC5B,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,wBAAwB;QACxB,CAAC,uBAAuB;QACxB,CAAC,CAAC,sBAAsB;YACtB,CAAC,uBAAuB,CAAC,sBAAsB,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,8BAA8B,GAClC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,0BAA0B;QAC5B,wBAAwB;QACxB,CAAC,uBAAuB;QACxB,CAAC,gCAAgC,CAC/B,0BAA0B,EAC1B,YAAY,EACZ,qBAAqB,CACtB,CAAC;IACJ,IACE,YAAY;QACZ,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,CAAC,uBAAuB,EACxB,CAAC;QACD,MAAM,yBAAyB,GAC7B,QAAQ,CAAC,WAAW;YACpB,QAAQ,CAAC,UAAU;YACnB,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IACE,yBAAyB;YACzB,CAAC,uBAAuB,CAAC,yBAAyB,EAAE,OAAO,CAAC;YAC5D,CAAC,2BAA2B,CAC1B,YAAY,CAAC,yBAAyB,CAAC,EACvC,YAAY,EACZ,OAAO,CACR;gBACC,yCAAyC,CACvC,yBAAyB,EACzB,OAAO,CACR,CAAC,EACJ,CAAC;YACD,OAAO;gBACL,oBAAoB,CAClB,aAAa,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CACnD;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,IAAI,8BAA8B,EAAE,CAAC;QACnC,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,8BAA8B,EAAE,CAAC;QACnC,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,4BAA4B,CAC7D,WAAW,EACX,UAAU,EACV,OAAO,CACR,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;IAC5D,CAAC;IAED,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,wBAAwB;QAClD,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,OAAO;QACvC,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,cAAc,EACvD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAC7D,IAAmD,EACnD,QAAoD,EACpD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,yBAAyB,GAC7B,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,cAAc;QACvB,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,0BAA0B,GAAG,QAAQ,CAAC,cAAc;QACxD,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,WAAW,CAAC;IAChB,MAAM,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,GACrD,yBAAyB,IAAI,0BAA0B;QACrD,CAAC,CAAC,4BAA4B,CAC1B,YAAY,CAAC,0BAA0B,CAAC,EACxC,YAAY,EACZ,OAAO,CACR;QACH,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvB,IAAI,uCAAuC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,yBAAyB;QACzB,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,wBAAwB,EACxB,CAAC;QACD,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IACD,IACE,yBAAyB;QACzB,wBAAwB;QACxB,0BAA0B;QAC1B,CAAC,gCAAgC,CAC/B,0BAA0B,EAC1B,YAAY,EACZ,qBAAqB,CACtB,EACD,CAAC;QACD,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,kBAAkB,EAAE,WAAW,CAAC,GAAG,4BAA4B,CACpE,WAAW,EACX,YAAY,EACZ,OAAO,CACR,CAAC;IACF,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,wBAAwB;QAClD,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,OAAO;QACvC,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,cAAc,EACvD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC5B,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;AAC5D,CAAC,CAAC"}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import { IrExpression, IrType } from "@tsonic/frontend";
|
|
2
|
+
import { EmitterContext } from "../../types.js";
|
|
3
|
+
import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
|
|
4
|
+
export declare const tryEmitReifiedStorageIdentifier: (expr: Extract<IrExpression, {
|
|
5
|
+
kind: "identifier";
|
|
6
|
+
}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
7
|
+
//# sourceMappingURL=reified-storage.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"reified-storage.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/reified-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAMhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAElF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAuB1C,CAAC"}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
import { emitTypeAst } from "../../type-emitter.js";
|
|
2
|
+
import { identifierExpression } from "../../core/format/backend-ast/builders.js";
|
|
3
|
+
import { matchesSemanticExpectedType } from "../../core/semantic/expected-type-matching.js";
|
|
4
|
+
import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
|
|
5
|
+
import { adaptStorageErasedValueAst } from "../../core/semantic/storage-erased-adaptation.js";
|
|
6
|
+
export const tryEmitReifiedStorageIdentifier = (expr, context, expectedType) => {
|
|
7
|
+
const remappedLocal = context.localNameMap?.get(expr.name);
|
|
8
|
+
const storageType = context.localValueTypes?.get(expr.name);
|
|
9
|
+
if (!remappedLocal || !storageType) {
|
|
10
|
+
return undefined;
|
|
11
|
+
}
|
|
12
|
+
const effectiveType = resolveEffectiveExpressionType(expr, context);
|
|
13
|
+
const expressionType = expr.inferredType;
|
|
14
|
+
const expressionMatchesExpected = matchesSemanticExpectedType(expressionType, expectedType, context);
|
|
15
|
+
return adaptStorageErasedValueAst({
|
|
16
|
+
valueAst: identifierExpression(remappedLocal),
|
|
17
|
+
semanticType: expressionMatchesExpected ? expressionType : effectiveType,
|
|
18
|
+
storageType,
|
|
19
|
+
expectedType,
|
|
20
|
+
context,
|
|
21
|
+
emitTypeAst,
|
|
22
|
+
allowCastFallback: expressionMatchesExpected,
|
|
23
|
+
});
|
|
24
|
+
};
|
|
25
|
+
//# sourceMappingURL=reified-storage.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"reified-storage.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/reified-storage.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,0BAA0B,EAAE,MAAM,kDAAkD,CAAC;AAG9F,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAmD,EACnD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,aAAa,IAAI,CAAC,WAAW,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,CAAC;IACzC,MAAM,yBAAyB,GAAG,2BAA2B,CAC3D,cAAc,EACd,YAAY,EACZ,OAAO,CACR,CAAC;IACF,OAAO,0BAA0B,CAAC;QAChC,QAAQ,EAAE,oBAAoB,CAAC,aAAa,CAAC;QAC7C,YAAY,EAAE,yBAAyB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa;QACxE,WAAW;QACX,YAAY;QACZ,OAAO;QACP,WAAW;QACX,iBAAiB,EAAE,yBAAyB;KAC7C,CAAC,CAAC;AACL,CAAC,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import { IrExpression, IrType } from "@tsonic/frontend";
|
|
2
|
+
import { EmitterContext, NarrowedBinding } from "../../types.js";
|
|
3
|
+
import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
|
|
4
|
+
export declare const buildRuntimeSubsetExpressionAst: (expr: Extract<IrExpression, {
|
|
5
|
+
kind: "identifier";
|
|
6
|
+
}>, narrowed: Extract<NarrowedBinding, {
|
|
7
|
+
kind: "runtimeSubset";
|
|
8
|
+
}>, context: EmitterContext, targetType?: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
9
|
+
export declare const tryEmitRuntimeSubsetMemberProjectionIdentifier: (expr: Extract<IrExpression, {
|
|
10
|
+
kind: "identifier";
|
|
11
|
+
}>, narrowed: Extract<NarrowedBinding, {
|
|
12
|
+
kind: "runtimeSubset";
|
|
13
|
+
}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
14
|
+
//# sourceMappingURL=runtime-subset.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"runtime-subset.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/runtime-subset.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAWjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAKlF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,EACvB,aAAY,MAAM,GAAG,SAAyB,KAC7C,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAqE1C,CAAC;AAEF,eAAO,MAAM,8CAA8C,GACzD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA8D1C,CAAC"}
|
|
@@ -0,0 +1,100 @@
|
|
|
1
|
+
import { emitTypeAst } from "../../type-emitter.js";
|
|
2
|
+
import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
|
|
3
|
+
import { identifierExpression } from "../../core/format/backend-ast/builders.js";
|
|
4
|
+
import { stableTypeKeyFromAst } from "../../core/format/backend-ast/utils.js";
|
|
5
|
+
import { tryBuildRuntimeMaterializationAst, } from "../../core/semantic/runtime-reification.js";
|
|
6
|
+
import { buildRuntimeUnionLayout } from "../../core/semantic/runtime-unions.js";
|
|
7
|
+
import { getCanonicalRuntimeUnionMembers } from "../../core/semantic/runtime-union-frame.js";
|
|
8
|
+
import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
|
|
9
|
+
import { isBroadStorageTarget } from "./broad-storage-target.js";
|
|
10
|
+
import { wrapMaterializedTargetAst } from "./storage-surface-shared.js";
|
|
11
|
+
export const buildRuntimeSubsetExpressionAst = (expr, narrowed, context, targetType = narrowed.type) => {
|
|
12
|
+
const sourceType = narrowed.sourceType ?? expr.inferredType;
|
|
13
|
+
if (!sourceType || !targetType) {
|
|
14
|
+
return undefined;
|
|
15
|
+
}
|
|
16
|
+
const sourceFrame = (() => {
|
|
17
|
+
const sourceValueAst = narrowed.storageExprAst ??
|
|
18
|
+
identifierExpression(escapeCSharpIdentifier(expr.name));
|
|
19
|
+
if (narrowed.sourceMembers &&
|
|
20
|
+
narrowed.sourceCandidateMemberNs &&
|
|
21
|
+
narrowed.sourceMembers.length === narrowed.sourceCandidateMemberNs.length) {
|
|
22
|
+
const explicitFrame = {
|
|
23
|
+
members: narrowed.sourceMembers,
|
|
24
|
+
candidateMemberNs: narrowed.sourceCandidateMemberNs,
|
|
25
|
+
runtimeUnionArity: narrowed.runtimeUnionArity,
|
|
26
|
+
};
|
|
27
|
+
const storageType = context.localValueTypes?.get(expr.name);
|
|
28
|
+
const storageMembers = sourceValueAst.kind === "identifierExpression" && storageType
|
|
29
|
+
? getCanonicalRuntimeUnionMembers(storageType, context)
|
|
30
|
+
: undefined;
|
|
31
|
+
return storageMembers &&
|
|
32
|
+
storageMembers.length > (explicitFrame.runtimeUnionArity ?? 0)
|
|
33
|
+
? {
|
|
34
|
+
members: storageMembers,
|
|
35
|
+
candidateMemberNs: storageMembers.map((_, index) => index + 1),
|
|
36
|
+
runtimeUnionArity: storageMembers.length,
|
|
37
|
+
}
|
|
38
|
+
: explicitFrame;
|
|
39
|
+
}
|
|
40
|
+
const inferredMembers = narrowed.type
|
|
41
|
+
? getCanonicalRuntimeUnionMembers(narrowed.type, context)
|
|
42
|
+
: undefined;
|
|
43
|
+
return inferredMembers &&
|
|
44
|
+
inferredMembers.length === narrowed.runtimeMemberNs.length
|
|
45
|
+
? {
|
|
46
|
+
members: inferredMembers,
|
|
47
|
+
candidateMemberNs: narrowed.runtimeMemberNs,
|
|
48
|
+
runtimeUnionArity: narrowed.runtimeUnionArity,
|
|
49
|
+
}
|
|
50
|
+
: undefined;
|
|
51
|
+
})();
|
|
52
|
+
const sourceValueAst = narrowed.storageExprAst ??
|
|
53
|
+
identifierExpression(escapeCSharpIdentifier(expr.name));
|
|
54
|
+
const materialized = tryBuildRuntimeMaterializationAst(sourceValueAst, sourceType, targetType, context, emitTypeAst, new Set(narrowed.runtimeMemberNs), sourceFrame);
|
|
55
|
+
if (!materialized) {
|
|
56
|
+
return undefined;
|
|
57
|
+
}
|
|
58
|
+
return wrapMaterializedTargetAst(materialized[0], targetType, materialized[1]);
|
|
59
|
+
};
|
|
60
|
+
export const tryEmitRuntimeSubsetMemberProjectionIdentifier = (expr, narrowed, context, expectedType) => {
|
|
61
|
+
if (!expectedType ||
|
|
62
|
+
isBroadStorageTarget(expectedType, context) ||
|
|
63
|
+
willCarryAsRuntimeUnion(expectedType, context) ||
|
|
64
|
+
narrowed.runtimeMemberNs.length !== 1) {
|
|
65
|
+
return undefined;
|
|
66
|
+
}
|
|
67
|
+
const [sourceMemberN] = narrowed.runtimeMemberNs;
|
|
68
|
+
if (sourceMemberN === undefined || sourceMemberN < 1) {
|
|
69
|
+
return undefined;
|
|
70
|
+
}
|
|
71
|
+
const sourceType = narrowed.sourceType ?? expr.inferredType;
|
|
72
|
+
if (!sourceType) {
|
|
73
|
+
return undefined;
|
|
74
|
+
}
|
|
75
|
+
const [sourceLayout, sourceLayoutContext] = buildRuntimeUnionLayout(sourceType, context, emitTypeAst);
|
|
76
|
+
const sourceMember = sourceLayout?.members[sourceMemberN - 1];
|
|
77
|
+
if (!sourceLayout || !sourceMember) {
|
|
78
|
+
return undefined;
|
|
79
|
+
}
|
|
80
|
+
const [sourceMemberAst, sourceMemberContext] = emitTypeAst(sourceMember, sourceLayoutContext);
|
|
81
|
+
const [expectedAst, expectedContext] = emitTypeAst(expectedType, sourceMemberContext);
|
|
82
|
+
if (stableTypeKeyFromAst(sourceMemberAst) !== stableTypeKeyFromAst(expectedAst)) {
|
|
83
|
+
return undefined;
|
|
84
|
+
}
|
|
85
|
+
const carrierAst = narrowed.storageExprAst ??
|
|
86
|
+
identifierExpression(context.localNameMap?.get(expr.name) ?? escapeCSharpIdentifier(expr.name));
|
|
87
|
+
return [
|
|
88
|
+
{
|
|
89
|
+
kind: "invocationExpression",
|
|
90
|
+
expression: {
|
|
91
|
+
kind: "memberAccessExpression",
|
|
92
|
+
expression: carrierAst,
|
|
93
|
+
memberName: `As${sourceMemberN}`,
|
|
94
|
+
},
|
|
95
|
+
arguments: [],
|
|
96
|
+
},
|
|
97
|
+
expectedContext,
|
|
98
|
+
];
|
|
99
|
+
};
|
|
100
|
+
//# sourceMappingURL=runtime-subset.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"runtime-subset.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/runtime-subset.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAEL,iCAAiC,GAClC,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,4CAA4C,CAAC;AAE7F,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAmD,EACnD,QAA6D,EAC7D,OAAuB,EACvB,aAAiC,QAAQ,CAAC,IAAI,EACK,EAAE;IACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY,CAAC;IAC5D,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAkD,CAAC,GAAG,EAAE;QACvE,MAAM,cAAc,GAClB,QAAQ,CAAC,cAAc;YACvB,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,IACE,QAAQ,CAAC,aAAa;YACtB,QAAQ,CAAC,uBAAuB;YAChC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,CAAC,uBAAuB,CAAC,MAAM,EACzE,CAAC;YACD,MAAM,aAAa,GAAG;gBACpB,OAAO,EAAE,QAAQ,CAAC,aAAa;gBAC/B,iBAAiB,EAAE,QAAQ,CAAC,uBAAuB;gBACnD,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;aAC9C,CAAC;YACF,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5D,MAAM,cAAc,GAClB,cAAc,CAAC,IAAI,KAAK,sBAAsB,IAAI,WAAW;gBAC3D,CAAC,CAAC,+BAA+B,CAAC,WAAW,EAAE,OAAO,CAAC;gBACvD,CAAC,CAAC,SAAS,CAAC;YAChB,OAAO,cAAc;gBACnB,cAAc,CAAC,MAAM,GAAG,CAAC,aAAa,CAAC,iBAAiB,IAAI,CAAC,CAAC;gBAC9D,CAAC,CAAC;oBACE,OAAO,EAAE,cAAc;oBACvB,iBAAiB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;oBAC9D,iBAAiB,EAAE,cAAc,CAAC,MAAM;iBACzC;gBACH,CAAC,CAAC,aAAa,CAAC;QACpB,CAAC;QAED,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI;YACnC,CAAC,CAAC,+BAA+B,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YACzD,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,eAAe;YACpB,eAAe,CAAC,MAAM,KAAK,QAAQ,CAAC,eAAe,CAAC,MAAM;YAC1D,CAAC,CAAC;gBACE,OAAO,EAAE,eAAe;gBACxB,iBAAiB,EAAE,QAAQ,CAAC,eAAe;gBAC3C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;aAC9C;YACH,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,cAAc,GAClB,QAAQ,CAAC,cAAc;QACvB,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAE1D,MAAM,YAAY,GAAG,iCAAiC,CACpD,cAAc,EACd,UAAU,EACV,UAAU,EACV,OAAO,EACP,WAAW,EACX,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,EACjC,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,yBAAyB,CAC9B,YAAY,CAAC,CAAC,CAAC,EACf,UAAU,EACV,YAAY,CAAC,CAAC,CAAC,CAChB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8CAA8C,GAAG,CAC5D,IAAmD,EACnD,QAA6D,EAC7D,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IACE,CAAC,YAAY;QACb,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EACrC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,GAAG,QAAQ,CAAC,eAAe,CAAC;IACjD,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY,CAAC;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,MAAM,YAAY,GAAG,YAAY,EAAE,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACxD,YAAY,EACZ,mBAAmB,CACpB,CAAC;IACF,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,GAAG,WAAW,CAChD,YAAY,EACZ,mBAAmB,CACpB,CAAC;IACF,IACE,oBAAoB,CAAC,eAAe,CAAC,KAAK,oBAAoB,CAAC,WAAW,CAAC,EAC3E,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,QAAQ,CAAC,cAAc;QACvB,oBAAoB,CAClB,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC1E,CAAC;IAEJ,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,UAAU;gBACtB,UAAU,EAAE,KAAK,aAAa,EAAE;aACjC;YACD,SAAS,EAAE,EAAE;SACd;QACD,eAAe;KAChB,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
import { IrExpression, IrType } from "@tsonic/frontend";
|
|
2
|
+
import { EmitterContext } from "../../types.js";
|
|
3
|
+
import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
|
|
4
|
+
export declare const tryEmitStorageCompatibleIdentifier: (expr: Extract<IrExpression, {
|
|
5
|
+
kind: "identifier";
|
|
6
|
+
}>, context: EmitterContext, expectedType: IrType | undefined) => CSharpExpressionAst | undefined;
|
|
7
|
+
export declare const tryEmitCollapsedStorageIdentifier: (expr: Extract<IrExpression, {
|
|
8
|
+
kind: "identifier";
|
|
9
|
+
}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
10
|
+
//# sourceMappingURL=storage-compatible.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"storage-compatible.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-compatible.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAQlF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,mBAAmB,GAAG,SAwDxB,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA+B1C,CAAC"}
|
|
@@ -0,0 +1,76 @@
|
|
|
1
|
+
import { matchesExpectedEmissionType } from "../../core/semantic/expected-type-matching.js";
|
|
2
|
+
import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
|
|
3
|
+
import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
|
|
4
|
+
import { stripNullish } from "../../core/semantic/type-resolution.js";
|
|
5
|
+
import { isBroadStorageTarget } from "./broad-storage-target.js";
|
|
6
|
+
import { matchesEmittedStorageSurface } from "./storage-surface-match.js";
|
|
7
|
+
import { getStorageIdentifierAst, needsStructuralCollectionMaterialization, } from "./storage-surface-shared.js";
|
|
8
|
+
export const tryEmitStorageCompatibleIdentifier = (expr, context, expectedType) => {
|
|
9
|
+
if (!expectedType) {
|
|
10
|
+
return undefined;
|
|
11
|
+
}
|
|
12
|
+
const storageType = context.localValueTypes?.get(expr.name);
|
|
13
|
+
const storageIdentifierAst = getStorageIdentifierAst(expr, context);
|
|
14
|
+
if (!storageIdentifierAst || !storageType) {
|
|
15
|
+
return undefined;
|
|
16
|
+
}
|
|
17
|
+
if (isBroadStorageTarget(expectedType, context)) {
|
|
18
|
+
return storageIdentifierAst;
|
|
19
|
+
}
|
|
20
|
+
const effectiveType = context.localSemanticTypes?.get(expr.name) ??
|
|
21
|
+
resolveEffectiveExpressionType(expr, context);
|
|
22
|
+
const strippedEffectiveType = effectiveType
|
|
23
|
+
? stripNullish(effectiveType)
|
|
24
|
+
: undefined;
|
|
25
|
+
const strippedExpectedType = stripNullish(expectedType);
|
|
26
|
+
const effectiveNamedStructuralAliasMatchesExpected = strippedEffectiveType?.kind === "referenceType" &&
|
|
27
|
+
strippedExpectedType.kind === "referenceType" &&
|
|
28
|
+
strippedEffectiveType.structuralOrigin === "namedReference" &&
|
|
29
|
+
(strippedEffectiveType.structuralMembers?.length ?? 0) > 0 &&
|
|
30
|
+
strippedEffectiveType.name === strippedExpectedType.name;
|
|
31
|
+
if (!isBroadStorageTarget(expectedType, context) &&
|
|
32
|
+
!willCarryAsRuntimeUnion(expectedType, context) &&
|
|
33
|
+
matchesExpectedEmissionType(effectiveType, expectedType, context)) {
|
|
34
|
+
return effectiveNamedStructuralAliasMatchesExpected
|
|
35
|
+
? storageIdentifierAst
|
|
36
|
+
: undefined;
|
|
37
|
+
}
|
|
38
|
+
if (!matchesExpectedEmissionType(storageType, expectedType, context)) {
|
|
39
|
+
return undefined;
|
|
40
|
+
}
|
|
41
|
+
if (willCarryAsRuntimeUnion(expectedType, context) &&
|
|
42
|
+
!willCarryAsRuntimeUnion(storageType, context)) {
|
|
43
|
+
return undefined;
|
|
44
|
+
}
|
|
45
|
+
if (needsStructuralCollectionMaterialization(storageType, expectedType, context)) {
|
|
46
|
+
return undefined;
|
|
47
|
+
}
|
|
48
|
+
return storageIdentifierAst;
|
|
49
|
+
};
|
|
50
|
+
export const tryEmitCollapsedStorageIdentifier = (expr, context) => {
|
|
51
|
+
const storageType = context.localValueTypes?.get(expr.name);
|
|
52
|
+
const storageIdentifierAst = getStorageIdentifierAst(expr, context);
|
|
53
|
+
if (!storageIdentifierAst || !storageType) {
|
|
54
|
+
return undefined;
|
|
55
|
+
}
|
|
56
|
+
const effectiveType = resolveEffectiveExpressionType(expr, context);
|
|
57
|
+
if (!effectiveType) {
|
|
58
|
+
return undefined;
|
|
59
|
+
}
|
|
60
|
+
let sameSurfaceResult;
|
|
61
|
+
try {
|
|
62
|
+
sameSurfaceResult = matchesEmittedStorageSurface(storageType, effectiveType, context);
|
|
63
|
+
}
|
|
64
|
+
catch (err) {
|
|
65
|
+
if (err instanceof Error) {
|
|
66
|
+
throw new Error(`${err.message} [identifier=${expr.name}]`);
|
|
67
|
+
}
|
|
68
|
+
throw err;
|
|
69
|
+
}
|
|
70
|
+
const [sameSurface, nextContext] = sameSurfaceResult;
|
|
71
|
+
if (!sameSurface) {
|
|
72
|
+
return undefined;
|
|
73
|
+
}
|
|
74
|
+
return [storageIdentifierAst, nextContext];
|
|
75
|
+
};
|
|
76
|
+
//# sourceMappingURL=storage-compatible.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"storage-compatible.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-compatible.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAEtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,uBAAuB,EACvB,wCAAwC,GACzC,MAAM,6BAA6B,CAAC;AAErC,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAmD,EACnD,OAAuB,EACvB,YAAgC,EACC,EAAE;IACnC,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,oBAAoB,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QAChD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IAED,MAAM,aAAa,GACjB,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1C,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,qBAAqB,GAAG,aAAa;QACzC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,oBAAoB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,4CAA4C,GAChD,qBAAqB,EAAE,IAAI,KAAK,eAAe;QAC/C,oBAAoB,CAAC,IAAI,KAAK,eAAe;QAC7C,qBAAqB,CAAC,gBAAgB,KAAK,gBAAgB;QAC3D,CAAC,qBAAqB,CAAC,iBAAiB,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAC1D,qBAAqB,CAAC,IAAI,KAAK,oBAAoB,CAAC,IAAI,CAAC;IAC3D,IACE,CAAC,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC5C,CAAC,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC/C,2BAA2B,CAAC,aAAa,EAAE,YAAY,EAAE,OAAO,CAAC,EACjE,CAAC;QACD,OAAO,4CAA4C;YACjD,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,2BAA2B,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,CAAC,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC,EAC9C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,wCAAwC,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,EAC5E,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAmD,EACnD,OAAuB,EAC4B,EAAE;IACrD,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,oBAAoB,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,iBAA4C,CAAC;IACjD,IAAI,CAAC;QACH,iBAAiB,GAAG,4BAA4B,CAC9C,WAAW,EACX,aAAa,EACb,OAAO,CACR,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,OAAO,gBAAgB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC;IACrD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAC;AAC7C,CAAC,CAAC"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
import { IrType } from "@tsonic/frontend";
|
|
2
|
+
import { EmitterContext } from "../../types.js";
|
|
3
|
+
export declare const matchesEmittedStorageSurface: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => [boolean, EmitterContext];
|
|
4
|
+
//# sourceMappingURL=storage-surface-match.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"storage-surface-match.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAiEhD,eAAO,MAAM,4BAA4B,GACvC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,CAAC,OAAO,EAAE,cAAc,CAsG1B,CAAC"}
|
|
@@ -0,0 +1,95 @@
|
|
|
1
|
+
import { emitTypeAst } from "../../type-emitter.js";
|
|
2
|
+
import { stableTypeKeyFromAst } from "../../core/format/backend-ast/utils.js";
|
|
3
|
+
import { requiresValueTypeMaterialization } from "../../core/semantic/expected-type-matching.js";
|
|
4
|
+
import { describeIrTypeForDiagnostics } from "../../core/semantic/deterministic-type-keys.js";
|
|
5
|
+
import { resolveStructuralReferenceType } from "../../core/semantic/structural-shape-matching.js";
|
|
6
|
+
import { normalizeStructuralEmissionType, stripNullish, } from "../../core/semantic/type-resolution.js";
|
|
7
|
+
const buildStorageSurfaceDiagnosticContext = (actualType, expectedType, strippedActual, strippedExpected, context) => `[storage-surface originalActual=${describeIrTypeForDiagnostics(actualType, context)} originalExpected=${describeIrTypeForDiagnostics(expectedType, context)} actual=${describeIrTypeForDiagnostics(strippedActual, context)} expected=${describeIrTypeForDiagnostics(strippedExpected, context)}]`;
|
|
8
|
+
const containsRawObjectType = (type, seen = new Set()) => {
|
|
9
|
+
if (seen.has(type)) {
|
|
10
|
+
return false;
|
|
11
|
+
}
|
|
12
|
+
seen.add(type);
|
|
13
|
+
switch (type.kind) {
|
|
14
|
+
case "objectType":
|
|
15
|
+
return true;
|
|
16
|
+
case "arrayType":
|
|
17
|
+
return containsRawObjectType(type.elementType, seen);
|
|
18
|
+
case "tupleType":
|
|
19
|
+
return type.elementTypes.some((elementType) => containsRawObjectType(elementType, seen));
|
|
20
|
+
case "dictionaryType":
|
|
21
|
+
return containsRawObjectType(type.valueType, seen);
|
|
22
|
+
case "unionType":
|
|
23
|
+
case "intersectionType":
|
|
24
|
+
return type.types.some((memberType) => containsRawObjectType(memberType, seen));
|
|
25
|
+
case "referenceType":
|
|
26
|
+
return (type.typeArguments?.some((typeArgument) => containsRawObjectType(typeArgument, seen)) ?? false);
|
|
27
|
+
default:
|
|
28
|
+
return false;
|
|
29
|
+
}
|
|
30
|
+
};
|
|
31
|
+
export const matchesEmittedStorageSurface = (actualType, expectedType, context) => {
|
|
32
|
+
const tryEmitSurfaceTypeAst = (type, currentContext) => {
|
|
33
|
+
try {
|
|
34
|
+
return emitTypeAst(type, currentContext);
|
|
35
|
+
}
|
|
36
|
+
catch (err) {
|
|
37
|
+
if (err instanceof Error &&
|
|
38
|
+
(err.message.startsWith("ICE: Unresolved reference type ") ||
|
|
39
|
+
err.message.startsWith("ICE: Non-transparent intersection type reached emitter") ||
|
|
40
|
+
err.message.startsWith("ICE: 'unknown' type reached emitter") ||
|
|
41
|
+
err.message.startsWith("ICE: 'any' type reached emitter"))) {
|
|
42
|
+
return undefined;
|
|
43
|
+
}
|
|
44
|
+
throw err;
|
|
45
|
+
}
|
|
46
|
+
};
|
|
47
|
+
if (!actualType || !expectedType) {
|
|
48
|
+
return [false, context];
|
|
49
|
+
}
|
|
50
|
+
if (requiresValueTypeMaterialization(actualType, expectedType, context)) {
|
|
51
|
+
return [false, context];
|
|
52
|
+
}
|
|
53
|
+
const strippedActual = normalizeStructuralEmissionType(resolveStructuralReferenceType(stripNullish(actualType), context) ??
|
|
54
|
+
stripNullish(actualType), context);
|
|
55
|
+
const strippedExpected = normalizeStructuralEmissionType(resolveStructuralReferenceType(stripNullish(expectedType), context) ??
|
|
56
|
+
stripNullish(expectedType), context);
|
|
57
|
+
if (containsRawObjectType(strippedActual) ||
|
|
58
|
+
containsRawObjectType(strippedExpected)) {
|
|
59
|
+
return [false, context];
|
|
60
|
+
}
|
|
61
|
+
let actualSurface;
|
|
62
|
+
try {
|
|
63
|
+
actualSurface = tryEmitSurfaceTypeAst(strippedActual, context);
|
|
64
|
+
}
|
|
65
|
+
catch (err) {
|
|
66
|
+
if (err instanceof Error) {
|
|
67
|
+
throw new Error(`${err.message} ${buildStorageSurfaceDiagnosticContext(actualType, expectedType, strippedActual, strippedExpected, context)}`);
|
|
68
|
+
}
|
|
69
|
+
throw err;
|
|
70
|
+
}
|
|
71
|
+
if (!actualSurface) {
|
|
72
|
+
return [false, context];
|
|
73
|
+
}
|
|
74
|
+
const [actualTypeAst, actualTypeContext] = actualSurface;
|
|
75
|
+
let expectedSurface;
|
|
76
|
+
try {
|
|
77
|
+
expectedSurface = tryEmitSurfaceTypeAst(strippedExpected, actualTypeContext);
|
|
78
|
+
}
|
|
79
|
+
catch (err) {
|
|
80
|
+
if (err instanceof Error) {
|
|
81
|
+
throw new Error(`${err.message} ${buildStorageSurfaceDiagnosticContext(actualType, expectedType, strippedActual, strippedExpected, actualTypeContext)}`);
|
|
82
|
+
}
|
|
83
|
+
throw err;
|
|
84
|
+
}
|
|
85
|
+
if (!expectedSurface) {
|
|
86
|
+
return [false, context];
|
|
87
|
+
}
|
|
88
|
+
const [expectedTypeAst, expectedTypeContext] = expectedSurface;
|
|
89
|
+
return [
|
|
90
|
+
stableTypeKeyFromAst(actualTypeAst) ===
|
|
91
|
+
stableTypeKeyFromAst(expectedTypeAst),
|
|
92
|
+
expectedTypeContext,
|
|
93
|
+
];
|
|
94
|
+
};
|
|
95
|
+
//# sourceMappingURL=storage-surface-match.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"storage-surface-match.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-match.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,gCAAgC,EAAE,MAAM,+CAA+C,CAAC;AACjG,OAAO,EAAE,4BAA4B,EAAE,MAAM,gDAAgD,CAAC;AAC9F,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EACL,+BAA+B,EAC/B,YAAY,GACb,MAAM,wCAAwC,CAAC;AAEhD,MAAM,oCAAoC,GAAG,CAC3C,UAAkB,EAClB,YAAoB,EACpB,cAAsB,EACtB,gBAAwB,EACxB,OAAuB,EACf,EAAE,CACV,mCAAmC,4BAA4B,CAC7D,UAAU,EACV,OAAO,CACR,qBAAqB,4BAA4B,CAChD,YAAY,EACZ,OAAO,CACR,WAAW,4BAA4B,CACtC,cAAc,EACd,OAAO,CACR,aAAa,4BAA4B,CAAC,gBAAgB,EAAE,OAAO,CAAC,GAAG,CAAC;AAE3E,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,OAAO,IAAI,GAAG,EAAU,EACf,EAAE;IACX,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC;QACd,KAAK,WAAW;YACd,OAAO,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACvD,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAC5C,qBAAqB,CAAC,WAAW,EAAE,IAAI,CAAC,CACzC,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CACpC,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,CACxC,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,CACL,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CACxC,qBAAqB,CAAC,YAAY,EAAE,IAAI,CAAC,CAC1C,IAAI,KAAK,CACX,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACI,EAAE;IAC7B,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,cAA8B,EACmC,EAAE;QACnE,IAAI,CAAC;YACH,OAAO,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IACE,GAAG,YAAY,KAAK;gBACpB,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,iCAAiC,CAAC;oBACxD,GAAG,CAAC,OAAO,CAAC,UAAU,CACpB,wDAAwD,CACzD;oBACD,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,qCAAqC,CAAC;oBAC7D,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,iCAAiC,CAAC,CAAC,EAC5D,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,gCAAgC,CAAC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACxE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,8BAA8B,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;QAC/D,YAAY,CAAC,UAAU,CAAC,EAC1B,OAAO,CACR,CAAC;IACF,MAAM,gBAAgB,GAAG,+BAA+B,CACtD,8BAA8B,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;QACjE,YAAY,CAAC,YAAY,CAAC,EAC5B,OAAO,CACR,CAAC;IACF,IACE,qBAAqB,CAAC,cAAc,CAAC;QACrC,qBAAqB,CAAC,gBAAgB,CAAC,EACvC,CAAC;QACD,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,aAES,CAAC;IACd,IAAI,CAAC;QACH,aAAa,GAAG,qBAAqB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,OAAO,IAAI,oCAAoC,CACpD,UAAU,EACV,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,OAAO,CACR,EAAE,CACJ,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,aAAa,CAAC;IACzD,IAAI,eAES,CAAC;IACd,IAAI,CAAC;QACH,eAAe,GAAG,qBAAqB,CACrC,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,OAAO,IAAI,oCAAoC,CACpD,UAAU,EACV,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,iBAAiB,CAClB,EAAE,CACJ,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,eAAe,CAAC;IAE/D,OAAO;QACL,oBAAoB,CAAC,aAAa,CAAC;YACjC,oBAAoB,CAAC,eAAe,CAAC;QACvC,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import { IrExpression, IrType } from "@tsonic/frontend";
|
|
2
|
+
import { EmitterContext, NarrowedBinding } from "../../types.js";
|
|
3
|
+
import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
|
|
4
|
+
export declare const getStorageIdentifierAst: (expr: Extract<IrExpression, {
|
|
5
|
+
kind: "identifier";
|
|
6
|
+
}>, context: EmitterContext) => CSharpExpressionAst | undefined;
|
|
7
|
+
export declare const needsStructuralCollectionMaterialization: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => boolean;
|
|
8
|
+
export declare const wrapMaterializedTargetAst: (valueAst: CSharpExpressionAst, targetType: IrType, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
|
|
9
|
+
export declare const preservesMaterializedValueTypeNarrowing: (narrowed: Extract<NarrowedBinding, {
|
|
10
|
+
kind: "expr";
|
|
11
|
+
}>, context: EmitterContext) => boolean;
|
|
12
|
+
//# sourceMappingURL=storage-surface-shared.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"storage-surface-shared.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAQjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAQlF,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,mBAAmB,GAAG,SAWxB,CAAC;AAEF,eAAO,MAAM,wCAAwC,GACnD,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAgDF,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,UAAU,mBAAmB,EAC7B,YAAY,MAAM,EAClB,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAsBtC,CAAC;AAEF,eAAO,MAAM,uCAAuC,GAClD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,KACtB,OAQF,CAAC"}
|