WIP serialization, many files etc

Author: ktoso

lib/Sema/DerivedConformanceDistributedActor.cpp

@@ -160,6 +160,8 @@ static ValueDecl *deriveDistributedActor_actorTransport(
 
 ValueDecl *DerivedConformance::deriveDistributedActor(ValueDecl *requirement) {
   if (auto var = dyn_cast<VarDecl>(requirement)) {
+    fprintf(stderr, "[%s:%d] (%s) DERIVE: [%s]\n", __FILE__, __LINE__, __FUNCTION__, var->getName().str().str().c_str());
+
     if (var->getName() == Context.Id_id)
       return deriveDistributedActor_id(*this);
 
@@ -168,6 +170,8 @@ ValueDecl *DerivedConformance::deriveDistributedActor(ValueDecl *requirement) {
   }
 
   if (auto func = dyn_cast<FuncDecl>(requirement)) {
+    fprintf(stderr, "[%s:%d] (%s) DERIVE: [%s]\n", __FILE__, __LINE__, __FUNCTION__, func->getName().getBaseIdentifier().str().str().c_str());
+
     // just a simple name check is enough here,
     // if we are invoked here we know for sure it is for the "right" function
     if (func->getName().getBaseName() == Context.Id_resolve)

lib/Sema/TypeCheckDeclPrimary.cpp

@@ -2930,9 +2930,19 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
 
     TypeChecker::checkDeclAttributes(ED);
 
+    fprintf(stderr, "[%s:%d] (%s) VISIT EXTENSION\n", __FILE__, __LINE__, __FUNCTION__);
     if (nominal->isDistributedActor()) {
       auto decl = dyn_cast<ClassDecl>(nominal);
       TypeChecker::checkDistributedActor(decl);
+
+      fprintf(stderr, "[%s:%d] (%s) VISIT DIST ACTOR MEMBERS FROM EXTENSION\n", __FILE__, __LINE__, __FUNCTION__);
+      for (Decl *Member : ED->getMembers()) {
+        if (auto var = dyn_cast<VarDecl>(Member))
+          fprintf(stderr, "[%s:%d] (%s) VISIT MEMBER: [%s]\n", __FILE__, __LINE__, __FUNCTION__, var->getName().str().str().c_str());
+        if (auto func = dyn_cast<FuncDecl>(Member))
+          fprintf(stderr, "[%s:%d] (%s) VISIT MEMBER: [%s]\n", __FILE__, __LINE__, __FUNCTION__, func->getName().getBaseName().getIdentifier().str().str().c_str());
+      }
+
     }
 
     for (Decl *Member : ED->getMembers())

lib/Sema/TypeCheckDistributed.cpp

@@ -215,6 +215,7 @@ void swift::checkDistributedActorConstructor(const ClassDecl *decl, ConstructorD
 // ==== ------------------------------------------------------------------------
 
 void TypeChecker::checkDistributedActor(ClassDecl *decl) {
+  fprintf(stderr, "[%s:%d] (%s) CHECK DIST [%s]\n", __FILE__, __LINE__, __FUNCTION__, decl->getNameStr().str().c_str());
   if (!decl)
     return;
 

stdlib/public/Distributed/DistributedActor.swift

@@ -20,6 +20,7 @@ import _Concurrency
 ///
 /// FIXME(distributed): We'd need Actor to also conform to this, but don't want to add that conformance in _Concurrency yet.
 @_marker
+@available(SwiftStdlib 5.5, *)
 public protocol AnyActor: Sendable, AnyObject {}
 
 // ==== Distributed Actor -----------------------------------------------------

test/Serialization/Inputs/def_distributed.swift

@@ -1,8 +1,8 @@
 import _Distributed
 
-@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
-distributed actor DA {
-    public distributed func doSomethingDistributed() async -> Int {
-        return 0
-    }
+@available(SwiftStdlib 5.5, *)
+public distributed actor DA {
+  public distributed func doSomethingDistributed(param: String) async -> Int {
+    return 0
+  }
 }

test/Serialization/distributed.swift

@@ -1,17 +1,25 @@
 // RUN: %empty-directory(%t)
 // RUN: %empty-directory(%t-scratch)
-// RUN: %target-swift-frontend -emit-module -o %t-scratch/def_async~partial.swiftmodule -primary-file %S/Inputs/def_distributed.swift -module-name def_async -enable-experimental-distributed
-// RUN: %target-swift-frontend -merge-modules -emit-module -parse-as-library -enable-testing %t-scratch/def_distributed~partial.swiftmodule -module-name def_async -o %t/def_async.swiftmodule -enable-experimental-distributed
-// RUN: %target-swift-frontend -typecheck -I%t -verify %s -verify-ignore-unknown -enable-experimental-distributed
+// RUN: echo "---- STEP 1 ---------------------------------------------------"
+// RUN: %target-swift-frontend -emit-module -o %t-scratch/def_distributed~partial.swiftmodule -primary-file %S/Inputs/def_distributed.swift -module-name def_distributed  -disable-availability-checking -enable-experimental-distributed
+// RUN: echo "---- STEP 2 ---------------------------------------------------"
+// RUN: %target-swift-frontend -merge-modules -emit-module -parse-as-library -enable-testing %t-scratch/def_distributed~partial.swiftmodule -module-name def_distributed -o %t/def_distributed.swiftmodule -disable-availability-checking -enable-experimental-distributed
+// RUN: echo "---- STEP 3 ---------------------------------------------------"
+// RUN: %target-swift-frontend -typecheck -I%t -verify %s -verify-ignore-unknown -disable-availability-checking -enable-experimental-distributed
 
 // REQUIRES: concurrency
 // REQUIRES: distributed
 
-// TODO: fix this test, not sure what the issue is hm
-// XFAIL: *
-
+import _Distributed
 import def_distributed
 
-func testDoSomethingDistributed() {
-  // TODO: do the test
+func testDoSomethingDistributed(transport: ActorTransport) {
+  let da = DA(transport: transport)
+}
+
+extension DA {
+  @_dynamicReplacement(for:_remote_doSomethingDistributed(param:))
+  func _impl_doSomethingDistributed(param: String) async throws -> Int {
+    return 2222
+  }
 }