Surprising parse error for define in else block

[Timmmm]

Continuing with my annoying preprocessor parsing! (I'm trying to parse a file that is like 30% preprocessor directives unfortunately....)

This parses:

module foo;
    initial begin
        if (a)
            `FOO;
    end
endmodule

But surprisingly this doesn't:

module foo;
    initial begin
        if (a)
            `FOO;
        else
            b = c;
    end
endmodule

Again, if that's difficult to do, don't worry. Workaround is:

module foo;
    initial begin
        if (a) begin
            `FOO;
        end else
            b = c;
    end
endmodule

(Which IMO the code should be doing already - optional begin/end is a footgun.)

[gmlarumbe]

The failing snippet detects the macro usage and the semicolon as two different statements. If you do not enclose the if between begin/end only one statement is allowed before the else.

The code below is parsed properly:

module foo;
    initial begin
        if (a)
            `FOO
        else
            b = c;
    end
endmodule

This could be possibly implemented by simply adding the semicolon as an optional token in the $.text_maro_usage rule:

  text_macro_usage: $ => prec.right(seq(
    '`',
    $.text_macro_identifier,
    optseq('(', optional($.list_of_actual_arguments), ')'),
    optional(';')
  )),

However the implementation above results in some tests errors. I might take a look at this one when I have some free time.

[Timmmm]

Ok don't worry too much about it because it's easy to work around.