new Class(argument) is not parsed correctly for JavaScript

[mitar]

So current grammar parses new Class(argument) not as NewExpressionwith singleExpression and arguments, but as NewExpression with only singleExpression, where then in turn singleExpression is parsed as singleExpression arguments.

The relevant bits of grammar are here:

arguments
    : '('(argument (',' argument)* ','?)?')'
    ;

argument
    : Ellipsis? (singleExpression | identifier)
    ;

singleExpression
    : anoymousFunction                                                      # FunctionExpression
    | Class identifier? classTail                                           # ClassExpression
    | singleExpression '[' expressionSequence ']'                           # MemberIndexExpression
    | singleExpression '?'? '.' '#'? identifierName                         # MemberDotExpression
    | singleExpression arguments                                            # ArgumentsExpression
    | New singleExpression arguments?                                       # NewExpression
    | New '.' identifier                                                    # MetaExpression // new.target
    ...

So the issue is that NewExpression has ? for arguments in New singleExpression arguments?, so a different parsing path is chosen, where New singleExpression is followed, and then singleExpression expands back into singleExpression arguments.

Is there a way to fix grammar to prefer NewExpression case? If I change things to New singleExpression arguments then parsing is done correctly, but of course new with any arguments does not succeed anymore.

[mitar]

I did try:

singleExpression
    : anoymousFunction                                                      # FunctionExpression
    | Class identifier? classTail                                           # ClassExpression
    | New singleExpression arguments?                                       # NewExpression
    | New '.' identifier                                                    # MetaExpression // new.target
    | singleExpression '[' expressionSequence ']'                           # MemberIndexExpression
    | singleExpression '?'? '.' '#'? identifierName                         # MemberDotExpression
    | singleExpression arguments                                            # ArgumentsExpression
    ...

But there was no difference. :-(

[mitar]

I also tried:

    | {!p.prev("new")}? singleExpression arguments                                            # ArgumentsExpression
    | New singleExpression arguments?                                       # NewExpression
    | New '.' identifier                                                    # MetaExpression // new.target

But I get:

The following sets of rules are mutually left-recursive [singleExpression]

[mitar]

@studentmain Any chance you could help here a bit?