Re: How to change default outcome of shift/reduce conflict?

[Akim Demaille]

>>>>> "Hans" == Hans Aberg <address@hidden> writes:

Hans> It is probably LL(1) then (modulo tweaks), which => LALR(1),

This is not absolutely true, although it is in practice.  IIRC the
result holds when there are no empty rules.  See for instance 

        http://compilers.iecc.com/comparch/article/93-09-025

or the errata of Andrew Appel about this book on compiler
implementation:

        http://www.cs.princeton.edu/~appel/modern/basic/ml/errata.html

        Page 64. Figure 3.26 incorrectly shows LL(1) as a subset of
        SLR. In fact, LL(1) is not even a subset of LALR(1): there is
        an LL(1) grammar that is not LALR(1).