Re: Yacc poll summary (long)

I was mis-quoted in the Yacc poll and would like to clarify. In the
example,


a) statement : IF ( blah ) statement | IF ( blah ) stateement ELSE statement
b) statement : IF ( blah ) thing
      thing : statement | statement ELSE statement


version a does NOT produce a conflict while version b DOES. (This
assumes that ELSE has been declared as the lowest precedence operator
and has left associtivity.) This is opposite of that the article said.
This indicates that the construct can be resolved intelegently if the
conflict from version b is looked upon more as a macro substitution
rather than a significant production. I do not know why this does not
happen in the first place since all of the information about the
precedence, etc is carried along. In terms of pratical problems,
version b is often desirable to reduce code size and the amount of
repeated code.
--
Perry Smith a.k.a. (Pedz Thing)
pedz@bobkat or {ti-csl,infotel}!pollux!bobkat!pedz
--

Return to the comp.compilers page.
Search the comp.compilers archives again.