Commit 9ac0d3bc authored by POTTIER Francois's avatar POTTIER Francois

Identified two error messages. This was suggested by looking at the canonical automaton.

parent c15c7211
......@@ -134,6 +134,9 @@ Examples of well-formed rules:
# ----------------------------------------------------------------------------
PERCENTPERCENT UID COLON ACTION RPAREN
PERCENTPERCENT UID COLON ACTION TYPE
# These sentences are distinct in the non-canonical automaton,
# but lead to the same state in the canonical automaton.
Either another rule or %% is expected at this point.
......@@ -185,12 +188,6 @@ Examples of well-formed annotations:
# ----------------------------------------------------------------------------
PERCENTPERCENT UID COLON ACTION TYPE
A %prec annotation, another rule, or %% is expected at this point.
# ----------------------------------------------------------------------------
PERCENTPERCENT UID COLON UID LPAREN TYPE
PERCENTPERCENT UID COLON UID LPAREN UID COMMA TYPE
......
Markdown is supported
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