subtle-conflict-pager.mly 472 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
%token A B C D L R
%type <unit> s
%start s

/* Cf. mon journal au 19 septembre 2005. Si on résoud le conflit situé
   dans l'état LA en donnant priorité à la réduction, alors la chaîne
   RABC, qui aurait dû être acceptée sans ambiguïté, est rejetée. */

%nonassoc B
%nonassoc A /* gives higher precedence to production b -> A over token B */

%%

s:
  L l { () }
| R r { () }

l:
  a C { () }
| b B { () }

r:
  a C { () }
| b D { () }

a:
  A B { () }

b:
  A   { () }