Hi Bastien,
I am strongly in favor of this change. It simplifies the grammar
significantly, and from my work on the laundry lexer and parser, I'm
99% certain that the current behavior is a bug that is the result of
gobbling the space after the stars in the headline. The correct
implementation peeks 1 char ahead for the space, and then starts
parsing again starting with the space. This is because tags MUST be
preceded by a space, so if you incorrectly gobble the space after the
stars then that space cannot be used as the start for tags. Best,
Tom- Empty headline titles unsupported: Bug? Sebastian Miele
- Re: Empty headline titles unsupported: Bug? Nicolas Goaziou
- Re: Empty headline titles unsupported: Bug? Ihor Radchenko
- Re: Empty headline titles unsupported: Bug? Nicolas Goaziou
- Re: Empty headline titles unsupported: Bu... Ihor Radchenko
- Re: Empty headline titles unsupporte... Nicolas Goaziou
- Re: Empty headline titles unsupp... Ihor Radchenko
- Re: Empty headline titles un... Sebastian Miele
- Re: Empty headline titles unsupported: Bu... Sebastian Miele
- Re: Empty headline titles unsupported: Bug? Bastien
- Re: Empty headline titles unsupported: Bu... Tom Gillespie
- Re: Empty headline titles unsupported: Bu... Nicolas Goaziou
- Re: Empty headline titles unsupported: Bug? Bastien
- Re: Empty headline titles unsupported: Bug? Sebastian Miele
- Re: Empty headline titles unsupported: Bug? David Masterson
- Re: Empty headline titles unsupported: Bug? Sebastian Miele
- Re: Empty headline titles unsupported: Bu... Sebastian Miele
- Re: Empty headline titles unsupporte... Nicolas Goaziou
- Re: Empty headline titles unsupp... David Masterson
- Re: Empty headline titles un... Tim Cross
- Re: Empty headline titles un... David Masterson
