luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Verilog format

This commit is contained in:
Veripool API Bot 2026-02-25 20:28:07 -05:00 committed by Wilson Snyder
parent 6f96ff8df6
commit 3190442f86
2 changed files with 38 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

52
test_regress/t/t_recursive_typedef_bad.out
View File

@ -1,30 +1,30 @@
%Error: t/t_recursive_typedef_bad.v:11:30: Recursive type definition
%Error: t/t_recursive_typedef_bad.v:12:20: Recursive type definition
: ... note: In instance 't.u_circ'
t/t_recursive_typedef_bad.v:11:30: ... Type chain: PARAMTYPEDTYPE 'A'
11 | module circ #(parameter type A = B, parameter type B = A)
| ^
t/t_recursive_typedef_bad.v:11:34: ... Type chain: REFDTYPE 'B'
11 | module circ #(parameter type A = B, parameter type B = A)
| ^
t/t_recursive_typedef_bad.v:11:52: ... Type chain: PARAMTYPEDTYPE 'B'
11 | module circ #(parameter type A = B, parameter type B = A)
| ^
t/t_recursive_typedef_bad.v:11:56: ... Type chain: REFDTYPE 'A'
11 | module circ #(parameter type A = B, parameter type B = A)
| ^
t/t_recursive_typedef_bad.v:12:20: ... Type chain: PARAMTYPEDTYPE 'A'
12 | parameter type A = B,
| ^
t/t_recursive_typedef_bad.v:12:24: ... Type chain: REFDTYPE 'B'
12 | parameter type A = B,
| ^
t/t_recursive_typedef_bad.v:13:20: ... Type chain: PARAMTYPEDTYPE 'B'
13 | parameter type B = A
| ^
t/t_recursive_typedef_bad.v:13:24: ... Type chain: REFDTYPE 'A'
13 | parameter type B = A
| ^
... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance.
%Error: t/t_recursive_typedef_bad.v:11:52: Recursive type definition
%Error: t/t_recursive_typedef_bad.v:13:20: Recursive type definition
: ... note: In instance 't.u_circ'
t/t_recursive_typedef_bad.v:11:52: ... Type chain: PARAMTYPEDTYPE 'B'
11 | module circ #(parameter type A = B, parameter type B = A)
| ^
t/t_recursive_typedef_bad.v:11:56: ... Type chain: REFDTYPE 'A'
11 | module circ #(parameter type A = B, parameter type B = A)
| ^
t/t_recursive_typedef_bad.v:11:30: ... Type chain: PARAMTYPEDTYPE 'A'
11 | module circ #(parameter type A = B, parameter type B = A)
| ^
t/t_recursive_typedef_bad.v:11:34: ... Type chain: REFDTYPE 'B'
11 | module circ #(parameter type A = B, parameter type B = A)
| ^
t/t_recursive_typedef_bad.v:13:20: ... Type chain: PARAMTYPEDTYPE 'B'
13 | parameter type B = A
| ^
t/t_recursive_typedef_bad.v:13:24: ... Type chain: REFDTYPE 'A'
13 | parameter type B = A
| ^
t/t_recursive_typedef_bad.v:12:20: ... Type chain: PARAMTYPEDTYPE 'A'
12 | parameter type A = B,
| ^
t/t_recursive_typedef_bad.v:12:24: ... Type chain: REFDTYPE 'B'
12 | parameter type A = B,
| ^
%Error: Exiting due to

16
test_regress/t/t_recursive_typedef_bad.v
View File

@ -8,14 +8,22 @@
// should produce a clear error with type chain display.
// Circular: A defaults to B, B defaults to A
module circ #(parameter type A = B, parameter type B = A)
(input A ai, output B bo);
module circ #(
parameter type A = B,
parameter type B = A
) (
input A ai,
output B bo
);
assign bo = ai;
endmodule
module t();
module t ();
logic [7:0] x, y;
circ u_circ(.ai(x), .bo(y));
circ u_circ (
.ai(x),
.bo(y)
);
initial begin
$finish;
end