fix: Mark Revert{Keyword,Statement} as introduced in 0.8.4

The statement was introduced alongside the `revert` contextual keyword,
see ethereum/solidity#11037.

crates/solidity/inputs/language/definition/01-file-structure/07-keywords/productions.yml

@@ -562,12 +562,13 @@
 
 - name: "RevertKeyword"
   kind: "Scanner"
-  unversioned:
-    trailingContext:
-      scanner:
-        terminal: "revert"
-      notFollowedBy:
-        reference: "IdentifierPart"
+  versioned:
+    0.8.4:
+      trailingContext:
+        scanner:
+          terminal: "revert"
+        notFollowedBy:
+          reference: "IdentifierPart"
 
 - name: "SecondsKeyword"
   kind: "Scanner"

crates/solidity/inputs/language/definition/04-statements/01-blocks/productions.yml

@@ -50,7 +50,6 @@
         - reference: "BreakStatement"
         - reference: "DeleteStatement"
         - reference: "ReturnStatement"
-        - reference: "RevertStatement"
         - reference: "ThrowStatement"
     0.4.21:
       choice:
@@ -63,7 +62,6 @@
         - reference: "BreakStatement"
         - reference: "DeleteStatement"
         - reference: "ReturnStatement"
-        - reference: "RevertStatement"
         - reference: "ThrowStatement"
         - reference: "EmitStatement"
     0.5.0:
@@ -77,7 +75,6 @@
         - reference: "BreakStatement"
         - reference: "DeleteStatement"
         - reference: "ReturnStatement"
-        - reference: "RevertStatement"
         - reference: "EmitStatement"
     0.6.0:
       choice:
@@ -90,6 +87,19 @@
         - reference: "BreakStatement"
         - reference: "DeleteStatement"
         - reference: "ReturnStatement"
+        - reference: "EmitStatement"
+        - reference: "TryStatement"
+    0.8.4:
+      choice:
+        # added: "RevertStatement"
+        - reference: "IfStatement"
+        - reference: "ForStatement"
+        - reference: "WhileStatement"
+        - reference: "DoWhileStatement"
+        - reference: "ContinueStatement"
+        - reference: "BreakStatement"
+        - reference: "DeleteStatement"
+        - reference: "ReturnStatement"
         - reference: "RevertStatement"
         - reference: "EmitStatement"
         - reference: "TryStatement"

crates/solidity/inputs/language/definition/04-statements/04-error-handling/productions.yml

@@ -40,16 +40,17 @@
 
 - name: "RevertStatement"
   kind: "Parser"
-  unversioned:
-    terminatedBy:
-      parser:
-        sequence:
-          - reference: "RevertKeyword"
-          - optional:
-              reference: "IdentifierPath"
-          - reference: "ArgumentsDeclaration"
-      terminator:
-        reference: "Semicolon"
+  versioned:
+    0.8.4:
+      terminatedBy:
+        parser:
+          sequence:
+            - reference: "RevertKeyword"
+            - optional:
+                reference: "IdentifierPath"
+            - reference: "ArgumentsDeclaration"
+        terminator:
+          reference: "Semicolon"
 
 - name: "ThrowStatement"
   kind: "Parser"

crates/solidity/inputs/language/src/dsl.rs

@@ -97,7 +97,6 @@ slang_grammar! {
             | RelocatableKeyword
             | ReturnKeyword
             | ReturnsKeyword
-            | RevertKeyword
             | SecondsKeyword
             | SolidityKeyword
             | StaticKeyword
@@ -160,6 +159,7 @@ slang_grammar! {
 
             // Introduced in 0.8.4
             | ErrorKeyword
+            | RevertKeyword
         ) ;
 
         parser ABICoderPragma = (ABICoderKeyword Identifier) ;
@@ -235,10 +235,11 @@ slang_grammar! {
         parser ContractMembersList = (ContractMember +) ;
 
         inline parser ControlStatement = (
-            IfStatement | ForStatement | WhileStatement | DoWhileStatement | ContinueStatement | BreakStatement | DeleteStatement | ReturnStatement | RevertStatement |
-            { introduced in "0.4.21" EmitStatement} |
+            IfStatement | ForStatement | WhileStatement | DoWhileStatement | ContinueStatement | BreakStatement | DeleteStatement | ReturnStatement |
+            { introduced in "0.4.21" EmitStatement } |
             { removed in "0.5.0"     ThrowStatement } |
-            { introduced in "0.6.0"  TryStatement}
+            { introduced in "0.6.0"  TryStatement } |
+            { introduced in "0.8.4"  RevertStatement }
         ) ;
 
         inline parser DataLocation = (
@@ -918,7 +919,6 @@ slang_grammar! {
     scanner RelocatableKeyword = "relocatable" ;
     scanner ReturnKeyword = "return" ;
     scanner ReturnsKeyword = "returns" ;
-    scanner RevertKeyword = "revert" ;
     scanner SecondsKeyword = "seconds" ;
     scanner SolidityKeyword = "solidity" ;
     scanner StaticKeyword = "static" ;
@@ -979,6 +979,7 @@ slang_grammar! {
     scanner UncheckedKeyword = { introduced in "0.8.0" "unchecked" } ;
 
     // Introduced in 0.8.4
-    scanner ErrorKeyword = { introduced in "0.8.4" "error" } ;
+    scanner ErrorKeyword =  { introduced in "0.8.4" "error" } ;
+    scanner RevertKeyword = { introduced in "0.8.4" "revert" } ;
 
 }