Macro switch pattern $p{ a }

Hej,

While this one works fine : case macro $i{ s }
Why this doesn’t please : case macro $p{ a } ?

Because of the unknown array length right ?
If so, is there another way to achieve what I want please ?

So… What do you want to achieve? )

Well, if I try to use macro $p{ a }, then I want to catch a field access, something like field, or my.field, or my.sub.field

you can catch it with case { expr: EField(e, field) }:

Yes I know, I just thought I could use reification here as for $i.
Thanks Aleksandr