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

["Sébastien Hinderer" <Sebastien.Hinderer@inria.fr>]

Hi,

Jacques-Henri Jourdan (2016/05/08 12:27 +0200):
> Hi,
> 
> 
> The priority mechanism won't help, because the LR1 automaton does not
> contain the necessary information for deciding whether to shift or reduce.
> 
> 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.
> 
> 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.

Jacques-Henri (or anybody else) please correct me if I am wrong.

Sometimes one way of dealing with such problems is to recognize (at the
syntactic stage) a
language that is a bit bigger than the desired one and then to check, at
the semantic level, that the real constraints are satisfied.

Sébastien.