Parse error for multiple wildcard imports

[huettern]

When trying to parse the snitch IP I get a parse error, I guess due to the multiple import statements?

Error: parse error
   --> /tmp/snitch/hw/ip/snitch/src/snitch.sv:13:60
   |
13 | module snitch import snitch_pkg::*; import riscv_instr::*; #(
   |                                                            ^
Error: Parse error: Some(("/tmp/snitch/hw/ip/snitch/src/snitch.sv", 490))

Steps to reproduce

• sv-parser: 0.11.3

git clone --depth=1 [email protected]:pulp-platform/snitch.git
cd snitch/hw/ip/snitch
bender sources -f > sources.tcl
morty -f sources.tcl

[huettern]

CC: @zarubaf

[DaveMcEwan]

I think sv-parser does the correct thing here. The correct syntax is module snitch import snitch_pkg::*, riscv_instr::*; #(.

In the LRM (IEEE1800-2017), page 697 shows an except from Annex A, where module_ansi_header permits a single optional package_import_declaration. The definition of package_import_declaration shown on page 777 allows multiple comma-separated package_import_item.

[zarubaf]

@DaveMcEwan Indeed I agree after looking into the Language Manual. Interesting, that most of the tools have no problem with the ; though.

p. 781 also gives an example:

module M import A::instruction_t, B::*; #(WIDTH = 32)
...
(input [WIDTH-1:0] data, input instruction_t a, output [WIDTH-1:0] result, output boolean_t OK
); endmodule: M