Syntax.SepArray bug?

Stream: lean4

[Arthur Paulino]

In the following example, I'm able to declare syntax ident,+ : term but I can't match against it:

syntax ident,+ : term

macro_rules
  | `($ids:ident,+) => `([]) -- failed: expected ')'

macro_rules
  | `($ids:ident,*) => `([]) -- works

Am I doing something wrong or is this a bug?

[Mario Carneiro]

,+ is not syntax in match expressions. You are supposed to use ,*