Address more reviewer feedback.

Author: allevato

lib/AST/ASTDumper.cpp

@@ -2056,7 +2056,21 @@ namespace {
       printCommonPost(PD);
     }
 
-    void printGenericParameters(GenericParamList *Params) {
+    void printGenericSignature(const GenericSignature &Sig, Label label) {
+      if (!Sig)
+        return;
+
+      printRecArbitrary([&](Label label) {
+        printHead("generic_signature", ASTNodeColor, label);
+        printList(Sig.getGenericParams(), [&](auto GP, Label label) {
+          printTypeField(GP, label);
+        }, Label::always("generic_params"));
+        printGenericRequirements(Sig.getRequirements());
+        printFoot();
+      }, label);
+    }
+
+    void printParsedGenericParams(GenericParamList *Params) {
       if (!Params)
         return;
 
@@ -2093,20 +2107,13 @@ namespace {
       printCommon((Decl*)VD, Name, label, Color);
 
       printDeclName(VD, Label::optional("name"));
-      if (auto *AFD = dyn_cast<AbstractFunctionDecl>(VD)) {
-        printGenericParameters(AFD->getParsedGenericParams());
-        if (AFD->hasComputedGenericSignature())
-          printGenericRequirements(AFD->getGenericRequirements());
-      }
-      if (auto *GTD = dyn_cast<GenericTypeDecl>(VD)) {
-        printGenericParameters(GTD->getParsedGenericParams());
-        if (GTD->hasComputedGenericSignature())
-          printGenericRequirements(GTD->getGenericRequirements());
-      }
-      if (auto *MD = dyn_cast<MacroDecl>(VD)) {
-        printGenericParameters(MD->getParsedGenericParams());
-        if (MD->hasComputedGenericSignature())
-          printGenericRequirements(MD->getGenericRequirements());
+      if (auto *GC = VD->getAsGenericContext()) {
+        if (Writer.isParsable() && GC->hasComputedGenericSignature()) {
+          printGenericSignature(GC->getGenericSignature(),
+                                Label::optional("generic_signature"));
+        } else {
+          printParsedGenericParams(GC->getParsedGenericParams());
+        }
       }
 
       if (VD->hasInterfaceType()) {
@@ -2269,11 +2276,7 @@ namespace {
     }
 
     void printStorageImpl(AbstractStorageDecl *D) {
-      // Use a different label for the parsable outputs because "type: true" is
-      // confusing, especially when we also have keys elsewhere named "type"
-      // that are type USRs.
-      printFlag(D->isStatic(), Writer.isParsable() ? "static" : "type",
-                DeclModifierColor);
+      printFlag(D->isStatic(), "static", DeclModifierColor);
 
       if (D->hasInterfaceType()) {
         auto impl = D->getImplInfo();
@@ -2511,10 +2514,7 @@ namespace {
 
     void printCommonFD(FuncDecl *FD, const char *type, Label label) {
       printCommonAFD(FD, type, label);
-      // Use a different label for the parsable outputs because "type: true" is
-      // confusing, especially when we also have keys elsewhere named "type"
-      // that are type USRs.
-      printFlag(FD->isStatic(), Writer.isParsable() ? "static" : "type");
+      printFlag(FD->isStatic(), "static", DeclModifierColor);
     }
 
     void visitFuncDecl(FuncDecl *FD, Label label) {
@@ -5306,14 +5306,15 @@ class PrintConformance : public PrintBase {
     // parsable (JSON) output because it is far too much information when it is
     // rendered as part of every declref that contains such a conformance.
     auto shouldPrintDetails =
-        visited.insert(conformance).second; // && !Writer.isParsable();
+        visited.insert(conformance).second && !Writer.isParsable();
 
     auto printCommon = [&](StringRef kind) {
       printHead(kind, ASTNodeColor, label);
       printTypeField(conformance->getType(), Label::always("type"));
       printReferencedDeclField(conformance->getProtocol(),
                                Label::always("protocol"));
-      printFlag(!shouldPrintDetails, "<details printed above>");
+      if (!Writer.isParsable())
+        printFlag(!shouldPrintDetails, "<details printed above>");
     };
 
     switch (conformance->getKind()) {

test/Frontend/dump-parse.swift

@@ -110,7 +110,7 @@ _ = { (v: MyEnum) in }
 // CHECK-LABEL: (struct_decl range=[{{.+}}] "SelfParam"
 struct SelfParam {
 
-  // CHECK-LABEL: (func_decl range=[{{.+}}] "createOptional()" type
+  // CHECK-LABEL: (func_decl range=[{{.+}}] "createOptional()" static
   // CHECK-NEXT:    (parameter "self")
   // CHECK-NEXT:    (parameter_list range=[{{.+}}])
   // CHECK-NEXT:    (result=type_optional

test/attr/ApplicationMain/attr_main_throws.swift

@@ -7,7 +7,7 @@ struct MyBase {
   }
 }
 
-// CHECK-AST: (func_decl implicit "$main()" interface type="(MyBase.Type) -> () throws -> ()" access=internal type
+// CHECK-AST: (func_decl implicit "$main()" interface type="(MyBase.Type) -> () throws -> ()" access=internal static
 // CHECK-AST-NEXT:  (parameter "self")
 // CHECK-AST-NEXT:  (parameter_list)
 // CHECK-AST-NEXT:  (brace_stmt implicit