From f774bcc84aa73c762d1891b3e754c15045bb9510 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Thu, 13 Nov 2025 13:59:25 -0800
Subject: [PATCH] SystemVerilog: type parameter ports

---
 .../{parameter_ports4.desc => type_parameter_port1.desc}   | 2 +-
 .../{parameter_ports4.sv => type_parameter_port1.sv}       | 0
 src/verilog/parser.y                                       | 7 ++++++-
 3 files changed, 7 insertions(+), 2 deletions(-)
 rename regression/verilog/modules/{parameter_ports4.desc => type_parameter_port1.desc} (78%)
 rename regression/verilog/modules/{parameter_ports4.sv => type_parameter_port1.sv} (100%)

diff --git a/regression/verilog/modules/parameter_ports4.desc b/regression/verilog/modules/type_parameter_port1.desc
similarity index 78%
rename from regression/verilog/modules/parameter_ports4.desc
rename to regression/verilog/modules/type_parameter_port1.desc
index 64ef929a0..8a917ccb3 100644
--- a/regression/verilog/modules/parameter_ports4.desc
+++ b/regression/verilog/modules/type_parameter_port1.desc
@@ -1,5 +1,5 @@
 KNOWNBUG
-parameter_ports4.sv
+type_parameter_port1.sv
 
 ^EXIT=0$
 ^SIGNAL=0$
diff --git a/regression/verilog/modules/parameter_ports4.sv b/regression/verilog/modules/type_parameter_port1.sv
similarity index 100%
rename from regression/verilog/modules/parameter_ports4.sv
rename to regression/verilog/modules/type_parameter_port1.sv
diff --git a/src/verilog/parser.y b/src/verilog/parser.y
index b41147b70..b3a4904af 100644
--- a/src/verilog/parser.y
+++ b/src/verilog/parser.y
@@ -1985,6 +1985,8 @@ list_of_variable_identifiers:
 parameter_port_declaration:
           TOK_PARAMETER data_type_or_implicit param_assignment
 		{ $$ = $3; }
+        | TOK_PARAMETER TOK_TYPE type_assignment
+		{ $$ = $3; }
 	| TOK_LOCALPARAM data_type_or_implicit param_assignment
 		{ $$ = $3; }
 	| data_type param_assignment
@@ -3161,7 +3163,10 @@ named_parameter_assignment_brace:
 	;
 
 ordered_parameter_assignment:
-          expression;
+          expression
+        | data_type
+		{ init($$, ID_type); stack_expr($$).type() = stack_type($1); }
+        ;
 
 named_parameter_assignment:
 	  '.' parameter_identifier '(' expression_opt ')'