Re: [Caml-list] Menhir grammar with sequences delimited by same token

[Dario Teixeira <dario.teixeira@nleyten.com>]

Hi,

And thanks for the prompt reply!

> The priority mechanism won't help, because the LR1 automaton does not
> contain the necessary information for deciding whether to shift or 
> reduce.

Alas...

> The solution might be to use parameterized non-terminals, but all the
> non-exponential solutions I can think of do not pass the termination
> checker for parameterized non-terminals.

Hmm, I'll have to take a closer look at that feature of Menhir.


> I have, however, another proposition : if you allow markup areas not be
> well nested, then you can simply have an environment recording, for 
> each
> style, whether it is currently in use or not.

In the old version, the top-most parsing layer (generated via Menhir) 
would
only see tokens such as BEGIN_BOLD/END_BOLD.  There was an intermediate
layer between the lexer and the parser which had a simple state machine
that translated raw BOLD tokens into the BEGIN_BOLD/END_BOLD tokens.
I'm now trying to minimise the "magic" in the intermediate layer, which
is why I wondered if there was an elegant pure Menhir solution.

Best regards,
Dario Teixeira