Issue p4lang#1273

Added the definition allowing parentheses around lvalues to the grammar, similar to what was done in p4lang/p4c#4530. In addition to that performed a minor cleanup, replacing the (copied) grammar code with the proper INCLUDE.
jnfoster · Jun 3, 2024 · e6f051e · e6f051e
1 parent fa1e983
commit e6f051e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/p4-16/spec/P4-16-spec.mdk b/p4-16/spec/P4-16-spec.mdk
@@ -1457,12 +1457,7 @@ following expressions are legal l-values:
 ~ Begin P4Grammar
 [INCLUDE=grammar.mdk:prefixedNonTypeName]
 
-lvalue
-    : prefixedNonTypeName
-    | lvalue "." member
-    | lvalue "[" expression "]"
-    | lvalue "[" expression ":" expression "]"
-    ;
+[INCLUDE=grammar.mdk:lvalue]
 ~ End P4Grammar
 
 - Identifiers of a base or derived type.

diff --git a/p4-16/spec/grammar.mdk b/p4-16/spec/grammar.mdk
@@ -1003,6 +1003,7 @@ lvalue
     | lvalue "." member
     | lvalue "[" expression "]"
     | lvalue "[" expression ":" expression "]"
+    | "(" lvalue ")"
     ;
 // END:lvalue