Parser matching `'` or `,`

Stream: metaprogramming / tactics

[Leni Aniva]

Is it possible to write a syntax and elaborator which matches a sequence of ' or ,? For example,

f'' z,,

Using the * combinator doesn't work.

[Aaron Liu]

yes it's probably possible

[Aaron Liu]

can you give more details

[Leni Aniva]

Aaron Liu said:

yes it's probably possible

I want to match identifier ,* '* e.g. a123'''

[Aaron Liu]

note that a123''' is a valid identifier

[Aaron Liu]

Leni Aniva said:

Using the * combinator doesn't work.

what did you try

[Leni Aniva]

Aaron Liu said:

Leni Aniva said:

Using the * combinator doesn't work.

what did you try

declare_syntax_cat mystery
syntax (name := mystery1) ident ","* : mystery

This part is easy, but then when I write the macro matching the syntax using (mystery|$x:ident $occ:","*) doesn't work.

[Aaron Liu]

this works (mystery| $x:ident $[,%$occ]*)