Reductions with empty productions

[SquidDev]

Reductions with empty productions

[let-def]

Thanks for the bug report (and cheers to 2024! :) ).

This is indeed a regression. I thought I had handled that case but it was subtler than I expected...

Long story short: when initiating a reduction there is a special case (a "limit condition") because we don't know anything about the state of the stack yet, so we have to peek at the first state, which is not part of the reduction but allow us to identify the possible reductions coming next. And the code was not handling this case correctly, because it forgot to "unconsume" this first state (the corresponding expression would have been something like OPAREN ; [OPAREN; chars], which is completely incorrect but is what the code was trying to match when chars is empty).
Yet another form of off-by-one :).

And looking at it again, I got an idea that might make it possible to get rid of this special case, I will experiment...

[let-def]

And thanks for the tiny example, I will keep it in the code base it is very convenient for experimenting.

[let-def]

I think I found a way to simplify this case, the current master has a more uniform treatment of reductions.

[SquidDev]

Thank you so much - just tried out current master and it works perfectly! Really liking the new syntax, I've managed to get rid of all my hacks, and there's some rules which are significantly cleaner now.

Happy new year to you too! :)