Re[1]: [CEDET-devel] Generalized LR (GLR) parsing.

[Eric M. L. <er...@si...>]

>>> Joseph Kiniry <ki...@ac...> seems to think that:
>Hi David,
>
>I have a few very subtle, deep in-grammar conflicts remaining in my PVS 
>grammar.  I have been working on solving them (very part-time, as other 
>commitments have higher priority) for several weeks now because, as you 
>know, debugging such things is tricky business, even if one has written 
>dozens of parsers in the past.
>
>It is my suspicion that my conflicts, and many others of their nature, 
>would be easily resolved if I had a generalized LR (GLR) parser 
>generator in Wisent, as available in Bison (see info file: bison.info, 
>node: Generalized LR Parsing for more information).
>
>Have you considered adding such a feature to Wisent?
  [ ... ]

Hi,

  Sorry for the lack of response.  Unfortunately, I do not know the
  answer.  David is the master of the compiler compiler stuff.  I too
  had been reading about the GLR parser in bison recently but I do
  not yet have the background to know if it might be useful.  There
  are other parser styles as well which could help such as the one
  used by Antler.

  As for solving conflicts, if you can think of a means by which they
  might be more easily found (via highlighting or some such) that
  could be helpful and may be more easily attained in the short term.

Eric

-- 
          Eric Ludlam:                 za...@gn..., er...@si...
   Home: http://www.ludlam.net            Siege: www.siege-engine.com
Emacs: http://cedet.sourceforge.net               GNU: www.gnu.org