Commit 9b630010 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Build Menhir's stage-2 parser in --no-pager mode instead of --canonical mode....

Build Menhir's stage-2 parser in --no-pager mode instead of --canonical mode. We go down from 368 to 298 states, and from 105 to 101 error states. Nothing else changes.
parent d1fe30e4
--canonical --no-pager
--table --table
--fixed-exception --fixed-exception
...@@ -216,7 +216,6 @@ Examples of well-formed producers: ...@@ -216,7 +216,6 @@ Examples of well-formed producers:
grammar: PERCENTPERCENT UID COLON UID LPAREN UID TYPE grammar: PERCENTPERCENT UID COLON UID LPAREN UID TYPE
grammar: PERCENTPERCENT UID COLON UID LPAREN UID STAR TYPE grammar: PERCENTPERCENT UID COLON UID LPAREN UID STAR TYPE
grammar: PERCENTPERCENT UID COLON UID LPAREN LID TYPE
Ill-formed production. Ill-formed production.
Maybe you meant to close a parenthesis at this point? Maybe you meant to close a parenthesis at this point?
...@@ -274,7 +273,6 @@ grammar: PERCENTPERCENT UID COLON PREC TYPE ...@@ -274,7 +273,6 @@ grammar: PERCENTPERCENT UID COLON PREC TYPE
grammar: PERCENTPERCENT UID COLON UID LPAREN ACTION PREC TYPE grammar: PERCENTPERCENT UID COLON UID LPAREN ACTION PREC TYPE
grammar: PERCENTPERCENT UID COLON ACTION PREC TYPE grammar: PERCENTPERCENT UID COLON ACTION PREC TYPE
grammar: PERCENTPERCENT LET LID COLONEQUAL PREC EOF grammar: PERCENTPERCENT LET LID COLONEQUAL PREC EOF
grammar: PERCENTPERCENT LET LID COLONEQUAL ACTION PREC EOF
# Conflate old rule syntax and new rule syntax. # Conflate old rule syntax and new rule syntax.
...@@ -285,17 +283,6 @@ Examples of well-formed annotations: ...@@ -285,17 +283,6 @@ Examples of well-formed annotations:
# ---------------------------------------------------------------------------- # ----------------------------------------------------------------------------
grammar: PERCENTPERCENT UID COLON UID LPAREN TYPE
grammar: PERCENTPERCENT UID COLON UID LPAREN UID COMMA TYPE
Ill-formed rule.
A comma-delimited list of actual parameters is expected at this point.
Examples of well-formed rules:
call: f = callee LPAREN args = separated_list(COMMA, expr) RPAREN { f, args }
list(X): { [] } | x = X; xs = list(X) { x :: xs }
# ----------------------------------------------------------------------------
grammar: PERCENTPERCENT UID COLON PREC LID UID grammar: PERCENTPERCENT UID COLON PREC LID UID
Ill-formed rule. Ill-formed rule.
...@@ -327,6 +314,7 @@ Examples of well-formed rules: ...@@ -327,6 +314,7 @@ Examples of well-formed rules:
# ---------------------------------------------------------------------------- # ----------------------------------------------------------------------------
grammar: TYPE OCAMLTYPE UID LPAREN UID LPAREN TYPE grammar: TYPE OCAMLTYPE UID LPAREN UID LPAREN TYPE
grammar: PERCENTPERCENT UID COLON UID LPAREN UID COMMA TYPE
grammar: PERCENTPERCENT UID COLON UID LPAREN UID LPAREN TYPE grammar: PERCENTPERCENT UID COLON UID LPAREN UID LPAREN TYPE
Ill-formed list of actual parameters. Ill-formed list of actual parameters.
...@@ -565,7 +553,6 @@ another rule. ...@@ -565,7 +553,6 @@ another rule.
grammar: PERCENTPERCENT LET LID COLONEQUAL UID LPAREN TYPE grammar: PERCENTPERCENT LET LID COLONEQUAL UID LPAREN TYPE
grammar: PERCENTPERCENT LET LID COLONEQUAL UID LPAREN UID LPAREN TYPE grammar: PERCENTPERCENT LET LID COLONEQUAL UID LPAREN UID LPAREN TYPE
grammar: PERCENTPERCENT LET LID COLONEQUAL UNDERSCORE EQUAL UID LPAREN TYPE
A comma-separated list of expressions is expected at this point. A comma-separated list of expressions is expected at this point.
......
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