NEED HELP W/ IF-THEN-ELSE IN YACC

we have it defined as:


conditional: IF
                                    boolean
                                    THEN
                                    statement_list
                                    else_statement
;


else_statement: empty
                                    |ELSE
                                    statement_list
;


Does anybody know a way to fix it so it does not give us a shift/reduce error?
(Right now, we get one shift/reduce error with the method mentioned above.)


[This is the dangling else ambiguity, the absolute most classic and well-known
syntactic ambiguity encountered in common programming languages. Aho, Sethi,
and Ullman discuss it a length in chapter 4 of their Compilers book. The
short answer is that you can either leave it alone, since yacc's resolution of
the conflict happens to be the right one, or else add more productions. -John]

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