Add support for '@retroactive' conformances in SwiftSyntaxParser

art-divin · Oct 9, 2023 · cbd5764 · cbd5764
1 parent 693a130
commit cbd5764
Show file tree

Hide file tree

Showing 6 changed files with 21 additions and 1 deletion.
diff --git a/CodeGeneration/Sources/SyntaxSupport/KeywordSpec.swift b/CodeGeneration/Sources/SyntaxSupport/KeywordSpec.swift
@@ -240,6 +240,7 @@ public enum Keyword: CaseIterable {
   case `repeat`
   case required
   case `rethrows`
+  case retroactive
   case `return`
   case reverse
   case right
@@ -611,6 +612,8 @@ public enum Keyword: CaseIterable {
       return KeywordSpec("required")
     case .rethrows:
       return KeywordSpec("rethrows", isLexerClassified: true)
+    case .retroactive:
+      return KeywordSpec("retroactive")
     case .return:
       return KeywordSpec("return", isLexerClassified: true)
     case .reverse:

diff --git a/Sources/SwiftParser/TokenPrecedence.swift b/Sources/SwiftParser/TokenPrecedence.swift
@@ -248,6 +248,7 @@ enum TokenPrecedence: Comparable {
       .noDerivative,
       .noescape,
       .Sendable,
+      .retroactive,
       .unchecked:
       self = .exprKeyword
 

diff --git a/Sources/SwiftParser/TokenSpecSet.swift b/Sources/SwiftParser/TokenSpecSet.swift
@@ -630,6 +630,7 @@ enum TypeAttribute: TokenSpecSet {
   case escaping
   case noDerivative
   case noescape
+  case retroactive
   case Sendable
   case unchecked
 
@@ -646,6 +647,7 @@ enum TypeAttribute: TokenSpecSet {
     case TokenSpec(.noDerivative): self = .noDerivative
     case TokenSpec(.noescape): self = .noescape
     case TokenSpec(.Sendable): self = .Sendable
+    case TokenSpec(.retroactive): self = .retroactive
     case TokenSpec(.unchecked): self = .unchecked
     default: return nil
     }
@@ -663,6 +665,7 @@ enum TypeAttribute: TokenSpecSet {
     case .escaping: return .keyword(.escaping)
     case .noDerivative: return .keyword(.noDerivative)
     case .noescape: return .keyword(.noescape)
+    case .retroactive: return .keyword(.retroactive)
     case .Sendable: return .keyword(.Sendable)
     case .unchecked: return .keyword(.unchecked)
     }

diff --git a/Sources/SwiftParser/Types.swift b/Sources/SwiftParser/Types.swift
@@ -924,7 +924,8 @@ extension Parser {
 
   mutating func parseTypeAttribute() -> RawAttributeListSyntax.Element {
     switch peek(isAtAnyIn: TypeAttribute.self) {
-    case ._local, ._noMetadata, .async, .escaping, .noDerivative, .noescape, .Sendable, .unchecked, .autoclosure:
+    case ._local, ._noMetadata, .async, .escaping, .noDerivative, .noescape,
+        .retroactive, .Sendable, .unchecked, .autoclosure:
       // Known type attribute that doesn't take any arguments
       return parseAttributeWithoutArguments()
     case .differentiable:

diff --git a/Sources/SwiftSyntax/generated/Keyword.swift b/Sources/SwiftSyntax/generated/Keyword.swift
@@ -182,6 +182,7 @@ public enum Keyword: UInt8, Hashable {
   case `repeat`
   case required
   case `rethrows`
+  case retroactive
   case `return`
   case reverse
   case right
@@ -620,6 +621,8 @@ public enum Keyword: UInt8, Hashable {
         self = .nonisolated
       case "nonmutating":
         self = .nonmutating
+      case "retroactive":
+        self = .retroactive
       case "unavailable":
         self = .unavailable
       default:
@@ -940,6 +943,7 @@ public enum Keyword: UInt8, Hashable {
       "repeat", 
       "required", 
       "rethrows", 
+      "retroactive", 
       "return", 
       "reverse", 
       "right", 

diff --git a/Tests/SwiftParserTest/DeclarationTests.swift b/Tests/SwiftParserTest/DeclarationTests.swift
@@ -705,6 +705,14 @@ final class DeclarationTests: ParserTestCase {
     )
   }
 
+  func testParseRetroactiveExtension() {
+    assertParse(
+      """
+      extension Int: @retroactive Identifiable {}
+      """
+    )
+  }
+
   func testParseDynamicReplacement() {
     assertParse(
       """