Re: Non-greedy wildcard possible? (Long)

[Hans Aberg]

At 00:43 +0200 2004/05/27, Frank Heckenbach wrote:
>> LALR(1) may export some actions before detecting the error. Both
>> algorithms will though neither gulp up extra tokens.
>
>Are you sure?

Relative LR(1), that is. See, for example, Aho, Sethi, Ullman,
"Compilers...", p. 240.

The manual says:
>
>: But Bison can force the situation to fit the rule, by discarding part of
>: the semantic context and part of the input.  First it discards states
>: and objects from the stack until it gets back to a state in which the
>: @code{error} token is acceptable.  (This means that the subexpressions
>: already parsed are discarded, back to the last complete @code{stmnts}.)
>: At this point the @code{error} token can be shifted.  Then, if the old
>: look-ahead token is not acceptable to be shifted next, the parser reads
>: tokens and discards them until it finds a token which is acceptable.

This applies once an error has been detected.

  Hans Aberg