From a47fd075856d11c511b68b4d7361d56e65bcf7cd Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 5 Mar 2023 16:59:24 -0500
Subject: [PATCH] Internals: Standard grammar for property_expression |-> |=>.

---
 src/verilog.y | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/verilog.y b/src/verilog.y
index 02da23103..f7c4b3f4c 100644
--- a/src/verilog.y
+++ b/src/verilog.y
@@ -6007,9 +6007,7 @@ pexpr<nodeExprp>:  // IEEE: property_expr  (The name pexpr is important as regex
         ;
 
 complex_pexpr<nodeExprp>:  // IEEE: part of property_expr, see comments there
-                expr yP_ORMINUSGT pexpr                 { $$ = new AstLogOr{$2, new AstLogNot{$2, $1}, $3}; }
-        |       expr yP_OREQGT pexpr                    { $$ = new AstImplication{$2, $1, $3}; }
-        |       '(' complex_pexpr ')'                   { $$ = $2; }
+                '(' complex_pexpr ')'                   { $$ = $2; }
         //UNSUP remove above, use below:
         //
         //                      // IEEE: sequence_expr
@@ -6027,8 +6025,8 @@ complex_pexpr<nodeExprp>:  // IEEE: part of property_expr, see comments there
         //
         //                      // IEEE: "sequence_expr yP_ORMINUSGT pexpr"
         //                      // Instead we use pexpr to prevent conflicts
-        //UNSUP ~o~pexpr yP_ORMINUSGT pexpr             { }
-        //UNSUP ~o~pexpr yP_OREQGT pexpr                { }
+        |       ~o~pexpr yP_ORMINUSGT pexpr             { $$ = new AstLogOr{$2, new AstLogNot{$2, $1}, $3}; }
+        |       ~o~pexpr yP_OREQGT pexpr                { $$ = new AstImplication{$2, $1, $3}; }
         //
         //                      // IEEE-2009: property_statement
         //                      // IEEE-2012: yIF and yCASE