Re: x + (y) + z

[Derek M Jones]

Hans,

>Paul Hilfinger is thinking about actions that during a split are executed
>immediately, in addition to those delayed until the merge. This will enable
>the kinds of things that you are asking for, I think, as one then can build
>the parse trees, and make a selection based on that.

I think the only way forward is for me to write some code, in yyparse,
to select between the various parses when an ambiguity is detected.

>Otherwise, you seem to simply ask for nondeterministic parsing, where one
>keeps track of all the parsing possibilities. Such parsers are not difficult
>to write, see for example the Parsing Techniques book:
>    http://www.cs.vu.nl/~dick/PTAPG.html

I bought the book when it originally came out.

No quality generalized LR parsers available for decades and
then two come along at almost the same time
 http://www.cs.berkeley.edu/~smcpeak/elkhound/


derek

--
Derek M Jones                                     tel: +44 (0) 1252 520 667
Knowledge Software Ltd                         mailto:address@hidden
Applications Standards Conformance Testing   http://www.knosof.co.uk