Skip to content

Commit 544dae4

Browse files
artemcmartemcm
committed
[Compile Time Constant Extraction] Print desugared arrays, dictionaries, optionals
Resolves rdar://103187206
1 parent f85deb0 commit 544dae4

File tree

6 files changed

+38
-13
lines changed

6 files changed

+38
-13
lines changed

‎lib/AST/ASTPrinter.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6445,7 +6445,7 @@ class TypePrinter : public TypeVisitor<TypePrinter> {
64456445
}
64466446

64476447
void visitArraySliceType(ArraySliceType *T) {
6448-
if (Options.AlwaysDesugarDictionaryTypes) {
6448+
if (Options.AlwaysDesugarArraySliceTypes) {
64496449
visit(T->getDesugaredType());
64506450
} else {
64516451
Printer << "[";

‎lib/ConstExtract/ConstExtract.cpp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,6 +63,9 @@ std::string toFullyQualifiedTypeNameString(const swift::Type &Type) {
6363
swift::PrintOptions Options;
6464
Options.FullyQualifiedTypes = true;
6565
Options.PreferTypeRepr = true;
66+
Options.AlwaysDesugarArraySliceTypes = true;
67+
Options.AlwaysDesugarDictionaryTypes = true;
68+
Options.AlwaysDesugarOptionalTypes = true;
6669
Type.print(OutputStream, Options);
6770
OutputStream.flush();
6871
return TypeNameOutput;

‎test/ConstExtraction/ExtractDesugared.swift

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
// RUN: %empty-directory(%t)
2+
// RUN: echo "[MyProto]" > %t/protocols.json
3+
4+
// RUN: %target-swift-frontend -typecheck -emit-const-values-path %t/ExtractLiterals.swiftconstvalues -const-gather-protocols-file %t/protocols.json -primary-file %s
5+
// RUN: cat %t/ExtractLiterals.swiftconstvalues 2>&1 | %FileCheck %s
6+
7+
protocol MyProto {}
8+
9+
public struct CommonSugars : MyProto {
10+
let cane: [String] = ["foo", "bar"]
11+
let corn: [String: Int] = ["foo" : 1, "bar": 2]
12+
let demerara: Bool? = nil
13+
}
14+
15+
// CHECK: "label": "cane",
16+
// CHECK-NEXT: "type": "Swift.Array<Swift.String>",
17+
18+
// CHECK: "label": "corn",
19+
// CHECK-NEXT: "type": "Swift.Dictionary<Swift.String, Swift.Int>",
20+
21+
// CHECK: "label": "demerara",
22+
// CHECK-NEXT: "type": "Swift.Optional<Swift.Bool>",

‎test/ConstExtraction/ExtractGroups.swift

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ extension String: Foo {}
4444
// CHECK-NEXT: "properties": [
4545
// CHECK-NEXT: {
4646
// CHECK-NEXT: "label": "array1",
47-
// CHECK-NEXT: "type": "[Swift.Int]",
47+
// CHECK-NEXT: "type": "Swift.Array<Swift.Int>",
4848
// CHECK-NEXT: "isStatic": "false",
4949
// CHECK-NEXT: "isComputed": "false",
5050
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractGroups.swift",
@@ -67,7 +67,7 @@ extension String: Foo {}
6767
// CHECK-NEXT: },
6868
// CHECK-NEXT: {
6969
// CHECK-NEXT: "label": "array2",
70-
// CHECK-NEXT: "type": "[ExtractGroups.Foo]",
70+
// CHECK-NEXT: "type": "Swift.Array<ExtractGroups.Foo>",
7171
// CHECK-NEXT: "isStatic": "false",
7272
// CHECK-NEXT: "isComputed": "false",
7373
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractGroups.swift",
@@ -93,7 +93,7 @@ extension String: Foo {}
9393
// CHECK-NEXT: },
9494
// CHECK-NEXT: {
9595
// CHECK-NEXT: "label": "array3",
96-
// CHECK-NEXT: "type": "[ExtractGroups.Bar]",
96+
// CHECK-NEXT: "type": "Swift.Array<ExtractGroups.Bar>",
9797
// CHECK-NEXT: "isStatic": "false",
9898
// CHECK-NEXT: "isComputed": "false",
9999
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractGroups.swift",
@@ -119,7 +119,7 @@ extension String: Foo {}
119119
// CHECK-NEXT: "properties": [
120120
// CHECK-NEXT: {
121121
// CHECK-NEXT: "label": "dict1",
122-
// CHECK-NEXT: "type": "[Swift.String : Swift.Int]",
122+
// CHECK-NEXT: "type": "Swift.Dictionary<Swift.String, Swift.Int>",
123123
// CHECK-NEXT: "isStatic": "false",
124124
// CHECK-NEXT: "isComputed": "false",
125125
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractGroups.swift",
@@ -160,7 +160,7 @@ extension String: Foo {}
160160
// CHECK-NEXT: },
161161
// CHECK-NEXT: {
162162
// CHECK-NEXT: "label": "dict2",
163-
// CHECK-NEXT: "type": "[Swift.Int : [Swift.String]]",
163+
// CHECK-NEXT: "type": "Swift.Dictionary<Swift.Int, Swift.Array<Swift.String>>",
164164
// CHECK-NEXT: "isStatic": "false",
165165
// CHECK-NEXT: "isComputed": "false",
166166
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractGroups.swift",
@@ -209,7 +209,7 @@ extension String: Foo {}
209209
// CHECK-NEXT: },
210210
// CHECK-NEXT: {
211211
// CHECK-NEXT: "label": "dict3",
212-
// CHECK-NEXT: "type": "[Swift.String : ExtractGroups.Foo]",
212+
// CHECK-NEXT: "type": "Swift.Dictionary<Swift.String, ExtractGroups.Foo>",
213213
// CHECK-NEXT: "isStatic": "false",
214214
// CHECK-NEXT: "isComputed": "false",
215215
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractGroups.swift",

‎test/ConstExtraction/ExtractLiterals.swift

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -110,7 +110,7 @@ public struct PropertyWrappers : MyProto {
110110
// CHECK-NEXT: },
111111
// CHECK-NEXT: {
112112
// CHECK-NEXT: "label": "bool2",
113-
// CHECK-NEXT: "type": "Swift.Bool?",
113+
// CHECK-NEXT: "type": "Swift.Optional<Swift.Bool>",
114114
// CHECK-NEXT: "isStatic": "false",
115115
// CHECK-NEXT: "isComputed": "false",
116116
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractLiterals.swift",
@@ -361,7 +361,7 @@ public struct PropertyWrappers : MyProto {
361361
// CHECK-NEXT: },
362362
// CHECK-NEXT: {
363363
// CHECK-NEXT: "label": "$propertyWrapper1",
364-
// CHECK-NEXT: "type": "(Swift.String, Swift.String?)",
364+
// CHECK-NEXT: "type": "(Swift.String, Swift.Optional<Swift.String>)",
365365
// CHECK-NEXT: "isStatic": "false",
366366
// CHECK-NEXT: "isComputed": "true",
367367
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractLiterals.swift",
@@ -486,7 +486,7 @@ public struct PropertyWrappers : MyProto {
486486
// CHECK-NEXT: },
487487
// CHECK-NEXT: {
488488
// CHECK-NEXT: "label": "$propertyWrapper3",
489-
// CHECK-NEXT: "type": "(ExtractLiterals.Clamping<Swift.Int>, ExtractLiterals.Clamping<Swift.Int>?)",
489+
// CHECK-NEXT: "type": "(ExtractLiterals.Clamping<Swift.Int>, Swift.Optional<ExtractLiterals.Clamping<Swift.Int>>)",
490490
// CHECK-NEXT: "isStatic": "false",
491491
// CHECK-NEXT: "isComputed": "true",
492492
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractLiterals.swift",

‎test/ConstExtraction/ExtractResultBuilders.swift

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ public struct MyFooProviderInferred: FooProvider {
5555
// CHECK-NEXT: "properties": [
5656
// CHECK-NEXT: {
5757
// CHECK-NEXT: "label": "foos",
58-
// CHECK-NEXT: "type": "[ExtractResultBuilders.Foo]",
58+
// CHECK-NEXT: "type": "Swift.Array<ExtractResultBuilders.Foo>",
5959
// CHECK-NEXT: "isStatic": "true",
6060
// CHECK-NEXT: "isComputed": "true",
6161
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractResultBuilders.swift",
@@ -67,7 +67,7 @@ public struct MyFooProviderInferred: FooProvider {
6767
// CHECK-NEXT: },
6868
// CHECK-NEXT: {
6969
// CHECK-NEXT: "label": "fooTwo",
70-
// CHECK-NEXT: "type": "[ExtractResultBuilders.Foo]",
70+
// CHECK-NEXT: "type": "Swift.Array<ExtractResultBuilders.Foo>",
7171
// CHECK-NEXT: "isStatic": "true",
7272
// CHECK-NEXT: "isComputed": "true",
7373
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractResultBuilders.swift",
@@ -87,7 +87,7 @@ public struct MyFooProviderInferred: FooProvider {
8787
// CHECK-NEXT: "properties": [
8888
// CHECK-NEXT: {
8989
// CHECK-NEXT: "label": "foos",
90-
// CHECK-NEXT: "type": "[ExtractResultBuilders.Foo]",
90+
// CHECK-NEXT: "type": "Swift.Array<ExtractResultBuilders.Foo>",
9191
// CHECK-NEXT: "isStatic": "true",
9292
// CHECK-NEXT: "isComputed": "true",
9393
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractResultBuilders.swift",

0 commit comments

Comments
 (0)