Commit 170862ef authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent b1c17bde
......@@ -11,7 +11,7 @@ Built an LR(0) automaton with 7 states.
The grammar is not SLR(1) -- 2 states have a conflict.
Built an LR(1) automaton with 7 states.
2 shift/reduce conflicts were silently solved.
File "no_future.mly", line 24, characters 6-33:
File "no_future.mly", line 27, characters 6-33:
Warning: production listA -> is never reduced.
Warning: in total, 1 productions are never reduced.
3 out of 7 states have a default reduction.
......@@ -13,6 +13,9 @@
reading anything. Yet, it will read an arbitrarily long sequence of
A's and fail only upon encountering EOF. */
/* The problem has nothing to do with merging of states. Indeed, even
the canonical LR(1) automaton exhibits this problem. */
%token A EOF
%start<unit> main
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment