non-ANSI port declarations support

[huaixil]

Syntax error when parsing non-ANSI style port declarations.

module FIFO
(
   fifo_dout_y, fifo_full_x, fifo_afull_x, fifo_empty_y,
   fifo_overrun_err_x,
   fifo_din_x, fifo_push_x, fifo_pop_y, clk, reset_n, fifo_enable
);
   parameter DATA_WIDTH = 32;
   // ...
   input  [DATA_WIDTH-1:0] fifo_din_x;
   output [DATA_WIDTH-1:0] fifo_dout_y;
   input  fifo_push_x;
 // ...

will report an error syntax error, unexpected ',', expecting '(' before ','

[kroening]

I can't reproduce this as given, not even with rather old versions of ebmc. Is there perhaps a typedef or the like in your namespace that has the same name as one of the ports?