Re: Submission for manual (was: Non-greedy wildcard possible?)

[Hans Aberg]

[Follow-ups to Bug-Bison.]
At 06:33 +0200 2004/06/10, Frank Heckenbach wrote:
>OK, I've written something (attached), to be inserted after the
>existing `GLR Parsers' section. Should I just post it to bug-bison,
>or what to do with it?

I think you should contact Paul Eggert or Akim Demaille for further
instructions. You need to sign a paper that your contributions are
donations to GNU.

>While conceptually it may be preferable to put this simpler example
>*before* the existing C++ example, I didn't do this because some
>general words about GLR then would have to be moved from there to
>the new section, and some rearrangements elsewhere might be
>necessary. Someone else might want to do this if deemed useful ...

Also, Paul Hilfinger werote the GLR parser, so you should perhaps get
inputs from him as well.

>> Otherwise, I am thinking of versions where the lexer can provide several
>> lexing alternatives, and then let the Bison GLR parser sort it out. This
>> seems useful in human languages (including say common human usage of math).
>> In such cases, lexer tweaking becomes very difficult, or impossible, so a
>> GLR approach would probably be to be preferred.
>
>I'm kind of doing this (see my recent mail with `"mixed" tokens').
>Since there's no direct support for this in flex/bison, I'm just
>using special tokens which represent a certain alternative
>(including the respective semantic values for all cases) and which
>are accepted in different meanings in the grammar. In the extreme
>(general) case, the scanner can only return single characters, and
>we have scannerless parsing as in the paper you showed me last year
>(though for another purpose -- you cared about the precedence syntax
>suggested there, but this it also the topic of the paper).
>
>Frank
>
>--
>Frank Heckenbach, address@hidden
>http://fjf.gnu.de/
>GnuPG and PGP keys: http://fjf.gnu.de/plan (7977168E)
>
>Content-Type: application/x-texinfo; name="glr-simple.texi"
>Content-Transfer-Encoding: 8bit
>Content-Disposition: inline; filename="glr-simple.texi"
>
>Attachment converted: HansAbergRISC:glr-simple.texi (????/----) (0006CFA3)
>_______________________________________________
>address@hidden http://lists.gnu.org/mailman/listinfo/help-bison