swift-developers-japan
main / swiftc
Swift compiler
protocol P { associatedtype T func f(_ g: @escaping (T) -> Void) } class C<S>: P { typealias T = S private let _f: ((S) -> Void) -> Void init<Q: P>(q: Q) where Q.T == T { // Error: cannot assign value of type '((S) -> Void) -> Void' to type '((S) -> Void) -> Void' self._f = { g -> Void in q.f(g) } } func f(_ g: @escaping (S) -> Void) { self._f(g) } } でエラーメッセージが不親切な件の原因を探している過程で、意図のわからないコードがあったので質問させてください // Try to simplify irrelevant details of function types. For example, if // someone passes a "() -> Float" function to a "() throws -> Int" // parameter, then uttering the "throws" may confuse them into thinking that // that is the problem, even though there is a clear subtype relation. if (auto srcFT = exprType->getAs<FunctionType>()) if (auto destFT = contextualType->getAs<FunctionType>()) { auto destExtInfo = destFT->getExtInfo(); if (!srcFT->isNoEscape()) destExtInfo = destExtInfo.withNoEscape(false); // 👈 ですが、これコメントの通り関数の型の不一致に escaping とか throws とか混ぜるとややこしいので出さない的な意図であってそうでしょうか？ https://github.com/apple/swift/blob/5e7da0e3dcf13c603233c1f2aad1f1aded8821df/lib/Sema/CSDiag.cpp#L3250
1
4
@swift-main
protocol P { func a() -> String func b() -> String } extension P { func a() -> String { return "P" } func b() -> String { return "P" } } class C: P { func a() -> String { return "C" } } class SC: C { override func a() -> String { return "SC" } func b() -> String { return "SC" } } let sc: SC = SC() print(sc.a()) // SC print(sc.b()) // SC let c: C = sc print(c.a()) // SC print(c.b()) // P
text がinternalじゃなくてpublicだと嬉しいんですが、なにか困ることありますか？ https://github.com/apple/swift-syntax/blob/master/Sources/SwiftSyntax/TokenKind.swift.gyb#L35 Syntax.swift に関する変更は入らないのか... https://github.com/apple/swift-syntax/pull/94/files
自分のはもうPrebuiltバイナリ置かなくしたけど、置いてるのは定期的にこういうIssueが来る。
-dump-astのParserの部分を独立させて、現行の環境で動くようにしました。よかったら参考にしてください。 https://github.com/kishikawakatsumi/SwiftAST 使い方は swift-ast parse [FILE_PATH_TO_PARSE] -buildCommand [BUILD_COMMAND_TO_BUILD_THE_PROJECT] 例えば path/to/swift-ast parse "./Framework/Sources/SpreadsheetView.swift" -buildCommand xcodebuild -scheme SpreadsheetView や、 path/to/swift-ast parse ./Lib/KeychainAccess/Keychain.swift -buildCommand xcodebuild -scheme KeychainAccess -sdk iphonesimulator -destination "name=iPhone Xs,OS=12.2" です。 以下、思い出したことを書きます。 
1-dump-astは全ての型が解決しているので原則としてコンパイルが成功する必要があります。簡単な（依存関係がない）ファイルなら簡単ですが、他のファイルやモジュールを参照している場合は同じモジュールのファイルの場合はそれを一緒に渡す、別モジュールの場合はそれを先にビルドする必要があります。 なので、時間は余計にかかるのですが、 https://github.com/kishikawakatsumi/SwiftAST/blob/master/Sources/SwiftAST/XcodebuildTool.swift#L37-L42 のように swift -dump-ast を実行する前にまずビルドしています。 ビルドエラーが起こる状態で swift -dump-ast を実行した場合、単に失敗するか不完全なASTが出力されます。 swift -dump-ast の出力自体が謎であるのにさらに不完全なASTを相手にするのは無理なので、最初のキモは確実にビルドできるパラメータを組み立てることです。 private func process(sourceFile: URL, verbose: Bool = false) throws -> AST { let arguments = buildArguments(source: sourceFile) let rawAST = try dumpAST(arguments: arguments) let tokens = tokenize(rawAST: rawAST) let node = lex(tokens: tokens) let root = parse(node: node) return root }
dumpAST(arguments:)はswift -dump-astを実行します。 得られたテキストをtokenize(rawAST:)でトークンに分割して、lex(tokens:)でツリー構造を作ります。 最後にparse(node:) でツリー構造のデータに意味を持たせます。 
(parameter_list (parameter "i" interface type='Int') range=[foo.swift:1:17 - line:1:17])
https://github.com/kateinoigakukun/TouchTypist/blob/master/Sources/TypeCheckedAST/Parser/CanonicalTransformer.swift#L22-L29 
$ swift package generate-xcodeproj warning: invalid duplicate target dependency declaration 'swift-build' in target 'FunctionalPerformanceTests' warning: invalid duplicate target dependency declaration 'swift-package' in target 'FunctionalPerformanceTests' generated: ./SwiftAST.xcodeproj $ swift run swift-ast parse Sources/SwiftAST/main.swift -buildCommand xcodebuild -scheme SwiftAST warning: invalid duplicate target dependency declaration 'swift-build' in target 'FunctionalPerformanceTests' warning: invalid duplicate target dependency declaration 'swift-package' in target 'FunctionalPerformanceTests' Reading project settings... Building dependencies... Parsing... failed to run the following command: '/usr/bin/xcrun swift -frontend -suppress-warnings -dump-ast -sdk /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.14.sdk -F /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.14.sdk/../../../Developer/Library/Frameworks -target x86_64-apple-macosx10.10 -I /Users/norio/Library/Developer/Xcode/DerivedData/SwiftAST-gglvpwfxcdqcbehkwkywmelahzns/Build/Products/Debug -F /Users/norio/Library/Developer/Xcode/DerivedData/SwiftAST-gglvpwfxcdqcbehkwkywmelahzns/Build/Products/Debug -F /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/Library/Frameworks -primary-file /Users/norio/github/SwiftAST/Sources/SwiftAST/main.swift /Users/norio/github/SwiftAST/Sources/SwiftAST/Errors.swift /Users/norio/github/SwiftAST/Sources/SwiftAST/ParseTool.swift /Users/norio/github/SwiftAST/Sources/SwiftAST/SwiftASTTool.swift /Users/norio/github/SwiftAST/Sources/SwiftAST/SwiftBuildTool.swift /Users/norio/github/SwiftAST/Sources/SwiftAST/XcodebuildTool.swift' output: <unknown>:0: error: missing required module 'clibc'
1swiftcパラメータの構築をやっていて、 swiftcへ渡されるパラメータを取得DerivedData内に作成するllbuildマニフェストから取得debug.ymlから取得
llbuildSwiftとか使えるのかな？ https://github.com/jpsim/SourceKitten/blob/67b93b83bafa83306fbb9dd201d4dfd22661a53a/Source/SourceKittenFramework/Xcode.swift#L287-L322 
2
def CC_X86_64_C : CallingConv<[ // Pass SwiftSelf in a callee saved register. CCIfSwiftSelf<CCIfType<[i64], CCAssignToReg<[R13]>>>, // A SwiftError is passed in R12. CCIfSwiftError<CCIfType<[i64], CCAssignToReg<[R12]>>>, 1 +とか-。 そもそもlexerではそこまで判定する必要ないのかな https://github.com/apple/swift/blob/master/utils/gyb_syntax_support/Token.py 
3 
1.7G ./Ninja-ReleaseAssert/swift-linux-x86_64 3.9M ./Ninja-ReleaseAssert/cmark-linux-x86_64 2.2G ./Ninja-ReleaseAssert/llvm-linux-x86_64 3.9G ./Ninja-ReleaseAssert 27G ./Ninja-DebugAssert/swift-linux-x86_64 5.1M ./Ninja-DebugAssert/cmark-linux-x86_64 42G ./Ninja-DebugAssert/llvm-linux-x86_64 68G ./Ninja-DebugAssert 1
https://t.co/emv2RdsnKO
swift/utils/update-checkoutはLLVM monorepo transitionを自動で処理してくれるのかな？ https://forums.swift.org/t/llvm-monorepo-transition-happening-on-thursday-the-17th-of-october/29674
swift-5.1-branchに入ってて、swift-5.1.2-RELEASEに入ってない変更たくさんある。 https://github.com/apple/swift/compare/swift-5.1.2-RELEASE...swift-5.1-branch 
swift-5.1.2-RELEASEまでと違い、swift-5.1.3-RELEASEは ちゃんとswift-5.1-branchから作られてた。 https://github.com/apple/swift/compare/swift-5.1-branch...swift-5.1.3-RELEASE 
swift5_protocols 達は__visibility__("hidden")になってるね。 https://github.com/apple/swift/blob/master/stdlib/public/runtime/SwiftRT-ELF.cpp#L21-L28 
objdump -tの出力詳細は https://linuxcommand.net/objdump/#_-t を参考にした。
1
$ cat /tmp/t.swift guard false { fatalError() } $ swift -frontend -typecheck -verify /tmp/t.swift -sdk $(xcrun -show-sdk-path -sdk macosx) /tmp/t.swift:1:13: error: unexpected error produced: expected 'else' after 'guard' condition guard false { ^ みたいなときに、 // expected-error {{expected 'else' after 'guard' condition}} を挿入するようなfix-it が出れば良いのですが、現状そうなってないです 
-verify/-verify-apply-fixes の実装はここにあります https://github.com/apple/swift/blob/master/lib/Frontend/DiagnosticVerifier.cpp 
1
♂️付けてください。 今週中くらいをメドにコードを公開したり試せるような準備を考えています。 
2
1 1
私のバグか。。。SourceKitが返すのはゼロ始まりだから1足さないといけないのですね。Precondition failed: tried to send message before calling start(messageHandler:): file /Users/rintaro/Library/Developer/Xcode/DerivedData/SourceKitForSafari-exmylkeuqkdqunbichifwiexymed/SourcePackages/checkouts/sourcekit-lsp/Sources/LanguageServerProtocolJSONRPC/JSONRPCConnection.swift, line 152 1
if let task = SecTaskCreateFromSelf(nil), let groups = SecTaskCopyValueForEntitlement(task, NSString("com.apple.security.application-groups"), nil) as? [String] { print("App Groups:", groups) } 
1 
1
が6つも付いてた 
直す箇所がわかるだけでもすごく助かります。
pkg-config icu-uc --libs で見つからなければ.pcがちゃんとした場所に入ってないとかがありそう 1
/swift/utils/build-script --release の結果はこのようになっています https://gist.github.com/treastrain/53ca52112bbc17aa90c234590179a819
-- armv7 ICU i18n INCLUDE: -- armv7 ICU i18n LIB: -- armv7 ICU unicode INCLUDE: -- armv7 ICU unicode LIB: のように見事 -NOTFOUND と表示されなくなり、実行が始まりました…！ https://twitter.com/treastrain/status/1342427924603883521
CMAKE_CXX_COMPILER:PATH が CMAKE_CXX_COMPILER:STRING になったり… という変化もありました https://twitter.com/treastrain/status/1342433382949552128
/swift/utils/build-script --release を実行してみて、 0. Program arguments: /home/treastrain/Developer/Libraries/swift-source/build/Ninja-ReleaseAssert/swift-linux-armv7/bin/swift-frontend……… 1. Swift version 5.3-dev (LLVM bcee1b98f3b26c5, Swift dbcf7fe1bf76226) 2. Contents of /tmp/sources-c177c7: ………… 3. While evaluating request TypeCheckSourceFileRequest(source_file "/home/treastrain/Developer/Libraries/swift-source/swift/stdlib/public/core/KeyPath.swift") 4. While type-checking 'AnyKeyPath' (at /home/treastrain/Developer/Libraries/swift-source/swift/stdlib/public/core/KeyPath.swift:37:8) 5. While evaluating request SemanticMembersRequest(Swift.(file).AnyKeyPath@/home/treastrain/Developer/Libraries/swift-source/swift/stdlib/public/core/KeyPath.swift:37:14) 6. While type-checking protocol conformance to 'Hashable' (at /home/treastrain/Developer/Libraries/swift-source/swift/stdlib/public/core/Hashable.swift:104:8) for type 'AnyKeyPath' (declared at [/home/treastrain/Developer/Libraries/swift-source/swift/stdlib/public/core/KeyPath.swift:37:8 - line:193:1] RangeText="class AnyKeyPath: Hashable, _AppendKeyPath { ………… 7. While evaluating request AbstractGenericSignatureRequest(NULL, {τ_0_0}, {τ_0_0 : AnyKeyPath, τ_0_0 : Hashable}) <unknown>:0: error: unable to execute command: Aborted <unknown>:0: error: compile command failed due to signal 6 (use -v to see invocation) となってしまいました。 https://gist.github.com/treastrain/fa9b507b3a66ed578108b8a6c5330a0d 1 1
.systemLibrary(...) をPackage.swiftに記述すれば swift build のオプション群は必要なくなると思います https://github.com/apple/swift-package-manager/blob/main/Documentation/PackageDescription.md#methods-5 
func takeAny(_ v: Any) { print(v is Sendable) } class Box {} takeAny(1) takeAny(Box()) <stdin>:2:11: warning: 'is' test is always true print(v is Sendable) ^ <stdin>:2:11: error: marker protocol 'Sendable' cannot be used in a conditional cast print(v is Sendable) ^
protocol P { } struct S<T> {} extension S: P where T: Sendable {} func main(_ a: Any) { if let p = a as? any P { print(1) } else { print(2) } } main((1, 2)) <stdin>:3:1: error: conditional conformance to non-marker protocol 'P' cannot depend on conformance of 'T' to non-marker protocol 'Sendable' extension S: P where T: Sendable {} ^ <stdin>:5:10: warning: value 'p' was defined but never used; consider replacing with boolean test if let p = a as? any P { ~~~~^~~~ ~~~ is
__attribute__ ((section ("__TEXT, __const"))) みたいなのを付けてもコンパイラはcompile-time constantとみなしてくれない 
1 1
-emit-pure-sil という読みやすさ重視の SIL を出力する新たなフラグを追加しようとしているみたいですね． https://github.com/swiftlang/swift/pull/77714
1
1
1
if (auto sending = dyn_cast<SendingTypeRepr>(nestedRepr)) { auto *base = sending->getBase(); if (!param->getInterfaceType()->isNoEscape() && !isa<OwnershipTypeRepr>(base)) { return ParamSpecifier::ImplicitlyCopyableConsuming; } } で、なぜsendingにこういう処理にしてるのかを次に調べる必要があるかなと思いました。
RValue RValueEmitter::visitMakeTemporarilyEscapableExpr( MakeTemporarilyEscapableExpr *E, SGFContext C) { // Emit the non-escaping function value. auto functionValue = visit(E->getNonescapingClosureValue()).getAsSingleValue(SGF, E); なので、RValueを期待しているのかなあと。
RValue RValueEmitter::visitMakeTemporarilyEscapableExpr( MakeTemporarilyEscapableExpr *E, SGFContext C) { // Emit the non-escaping function value. auto functionValue = visit(E->getNonescapingClosureValue()).getAsSingleValue(SGF, E); なので、RValueを期待しているのかなあと。
var x を通常の関数引数に渡す場合がどうなってるか は気になりますね
coerceCallArgumentsの中でRValueにしているようでした。 https://github.com/swiftlang/swift/blob/e22c09c05546bc638169da0dfc8c8996f160f168/lib/Sema/CSApply.cpp#L8399
(argument (declref_expr type="@lvalue Int" location=79078.swift:19:6 が (argument (load_expr implicit type="Int" location=79078.swift:19:6 に変わります。クロージャ(例えば、var a = {})も同じでした。 2. coerceToRValue はっきりとこの場合だというのはわからなかったのですが、参照を実態化するために使われているようです。Exprを新しく生成(Rewrite)するときに必要なのかなあ？と思いました 3. withoutActuallyEscaping
The body closure receives a copy of the argument closure that is temporarily made @escaping. とコピーが渡されていることを想定していることからも、RValueが期待されているのかなと思いました。 https://github.com/swiftlang/swift/blob/3787044e8349bf4933ae43f16cbbb44344785e04/lib/Sema/TypeOfReference.cpp#L2245 そうすると、LValueをRValueに変換し忘れていたということかと思うのですが、一個気になるのが、sendingとconsumingは比較的新しいものの、 inout でもクラッシュするのは、なんで今まで誰も気づかなかったのかという点ですね...w (あるいはユースケースがないから放置されていたのか...) func send( operation: inout () async -> Void ) async { _ = await withoutActuallyEscaping(operation) { escapingClosure in await escapingClosure() } }
coerceCallArgumentsの中でRValueにしているようでした。 https://github.com/swiftlang/swift/blob/e22c09c05546bc638169da0dfc8c8996f160f168/lib/Sema/CSApply.cpp#L8399
(argument (declref_expr type="@lvalue Int" location=79078.swift:19:6 が (argument (load_expr implicit type="Int" location=79078.swift:19:6 に変わります。クロージャ(例えば、var a = {})も同じでした。 2. coerceToRValue はっきりとこの場合だというのはわからなかったのですが、参照を実態化するために使われているようです。Exprを新しく生成(Rewrite)するときに必要なのかなあ？と思いました 3. withoutActuallyEscaping
The body closure receives a copy of the argument closure that is temporarily made @escaping. とコピーが渡されていることを想定していることからも、RValueが期待されているのかなと思いました。 https://github.com/swiftlang/swift/blob/3787044e8349bf4933ae43f16cbbb44344785e04/lib/Sema/TypeOfReference.cpp#L2245 そうすると、LValueをRValueに変換し忘れていたということかと思うのですが、一個気になるのが、sendingとconsumingは比較的新しいものの、 inout でもクラッシュするのは、なんで今まで誰も気づかなかったのかという点ですね...w (あるいはユースケースがないから放置されていたのか...) func send( operation: inout () async -> Void ) async { _ = await withoutActuallyEscaping(operation) { escapingClosure in await escapingClosure() } } 
1 1 1
♂️ ありがとうございました！
// RUN: %host-build-swift -swift-version 5 -emit-library -o %t/%target-library-name(MacroDefinition) -module-name=MacroDefinition %S/Inputs/syntax_macro_definitions.swift -g -no-toolchain-stdlib-rpath 1
... .testTarget( name: "PowerAssertTests", dependencies: [ "PowerAssertPlugin", "PowerAssert", .product(name: "SwiftSyntaxMacrosTestSupport", package: "swift-syntax"), ] ), テストの依存関係はこういうふうに構成しますね。テスト対象はPowerAssertモジュール。 import PowerAssert は不要なはず。 1