Yann Hamdaoui
Yann Hamdaoui
@stephanemagnenat Sorry I took so long, but for some reason this issue came back to my mind as I'm working on a grammar that makes use of macro + precedence....
Hmm, this is a good question. I don't know how `#[inline]` is handled (as part of macro expansion, as a zero-ary macro? Or at another stage of the pipeline). For...
Also, we could mention https://github.com/lalrpop/lalrpop/pull/667, which wants precedence annotations to work within macros. Your proposal would probably be incompatible with that (as first expanding a macro and then substituting would...
> Ideally, I'd think we'd like to ultimately get to a place where the original code here works and precedence works inside macros. I don't really have my head fully...