Re-generated the expected output.

This has to do with 1- updated locations produced by Menhir's bootstrapped
parser; and 2- the cleanup in [Action] re-orders some bindings for the
position keywords.

bench/good/K3Parser.exp

@@ -43,12 +43,12 @@ Warning: 142 reduce/reduce conflicts were arbitrarily resolved.
 Warning: 266 states have an end-of-stream conflict.
 File "K3Parser.mly", line 399, characters 0-4:
 Warning: symbol expr is never accepted.
-File "K3Parser.mly", line 760, characters 6-52:
+File "K3Parser.mly", line 760, characters 6-26:
 Warning: production expression_test -> expression_test_list is never reduced.
-File "K3Parser.mly", line 755, characters 6-58:
+File "K3Parser.mly", line 755, characters 6-57:
 Warning: production expression_test_list -> expression_test_list SEMICOLON expression_test_list is never reduced.
-File "K3Parser.mly", line 344, characters 6-42:
+File "K3Parser.mly", line 344, characters 6-40:
 Warning: production fn_type_expr_list -> type_expr RARROW fn_type_expr_list is never reduced.
-File "K3Parser.mly", line 763, characters 6-57:
+File "K3Parser.mly", line 763, characters 6-31:
 Warning: production named_expr_list -> anno_expr GETS check_expr is never reduced.
 Warning: in total, 5 productions are never reduced.

bench/good/albatross.exp

@@ -57,10 +57,10 @@ Warning: the precedence level assigned to UMINUS is never useful.
 File "albatross.mly", line 440, characters 23-34:
 Warning: this %prec declaration is never useful.
 Warning: 117 states have an end-of-stream conflict.
-File "albatross.mly", line 202, characters 2-26:
+File "albatross.mly", line 202, characters 2-25:
 Warning: production file -> use_block optsemi decls is never reduced.
-File "albatross.mly", line 203, characters 2-8:
+File "albatross.mly", line 203, characters 2-7:
 Warning: production file -> decls is never reduced.
-File "albatross.mly", line 217, characters 4-4:
+File "albatross.mly", line 216, characters 14-14:
 Warning: production use_block_opt -> is never reduced.
 Warning: in total, 3 productions are never reduced.

bench/good/boris-mini.exp

@@ -3,6 +3,6 @@ Warning: 3 states have reduce/reduce conflicts.
 Warning: 5 shift/reduce conflicts were arbitrarily resolved.
 Warning: 3 reduce/reduce conflicts were arbitrarily resolved.
 Warning: one state has an end-of-stream conflict.
-File "boris-mini.mly", line 38, characters 2-15:
+File "boris-mini.mly", line 38, characters 2-10:
 Warning: production debut -> expr DOT is never reduced.
 Warning: in total, 1 productions are never reduced.

bench/good/christian.exp

@@ -4,60 +4,60 @@ Warning: 46 states have shift/reduce conflicts.
 Warning: 48 states have reduce/reduce conflicts.
 Warning: 554 shift/reduce conflicts were arbitrarily resolved.
 Warning: 520 reduce/reduce conflicts were arbitrarily resolved.
-File "christian.mly", line 1072, characters 2-19:
+File "christian.mly", line 1072, characters 2-15:
 Warning: production embeddedPDVValue -> sequenceValue is never reduced.
-File "christian.mly", line 699, characters 2-27:
+File "christian.mly", line 699, characters 2-7:
 Warning: production enumeratedValue -> Lower is never reduced.
-File "christian.mly", line 1101, characters 2-18:
+File "christian.mly", line 1101, characters 2-15:
 Warning: production externalValue -> sequenceValue is never reduced.
-File "christian.mly", line 1894, characters 2-17:
+File "christian.mly", line 1894, characters 2-14:
 Warning: production fixedTypeFieldVal -> builtinValue is never reduced.
-File "christian.mly", line 1896, characters 2-20:
+File "christian.mly", line 1896, characters 2-17:
 Warning: production fixedTypeFieldVal -> referencedValue is never reduced.
-File "christian.mly", line 775, characters 2-27:
+File "christian.mly", line 775, characters 2-7:
 Warning: production identifierList -> Lower is never reduced.
-File "christian.mly", line 1498, characters 2-10:
+File "christian.mly", line 1498, characters 2-7:
 Warning: production includes -> is never reduced.
-File "christian.mly", line 660, characters 2-27:
+File "christian.mly", line 660, characters 2-7:
 Warning: production integerValue -> Lower is never reduced.
-File "christian.mly", line 940, characters 2-15:
+File "christian.mly", line 940, characters 2-12:
 Warning: production namedValueList -> namedValue is never reduced.
-File "christian.mly", line 717, characters 2-18:
+File "christian.mly", line 717, characters 2-15:
 Warning: production numericRealValue -> sequenceValue is never reduced.
-File "christian.mly", line 1941, characters 2-36:
+File "christian.mly", line 1941, characters 2-33:
 Warning: production objectSetFromObjects -> referencedObjects Dot fieldName is never reduced.
-File "christian.mly", line 785, characters 2-12:
+File "christian.mly", line 785, characters 2-9:
 Warning: production octetStringValue -> Bstring is never reduced.
-File "christian.mly", line 787, characters 2-12:
+File "christian.mly", line 787, characters 2-9:
 Warning: production octetStringValue -> Hstring is never reduced.
-File "christian.mly", line 789, characters 2-21:
+File "christian.mly", line 789, characters 2-18:
 Warning: production octetStringValue -> CONTAINING value is never reduced.
-File "christian.mly", line 2111, characters 2-14:
+File "christian.mly", line 2111, characters 2-11:
 Warning: production parameterizedReference -> reference is never reduced.
-File "christian.mly", line 2137, characters 2-42:
+File "christian.mly", line 2137, characters 2-39:
 Warning: production parameterizedValueSetType -> simpleDefinedType actualParameterList is never reduced.
-File "christian.mly", line 1191, characters 2-17:
+File "christian.mly", line 1191, characters 2-14:
 Warning: production relativeOIDComponents -> definedValue is never reduced.
-File "christian.mly", line 929, characters 2-25:
+File "christian.mly", line 929, characters 2-22:
 Warning: production sequenceOfValue -> LeftBrace RightBrace is never reduced.
-File "christian.mly", line 909, characters 2-25:
+File "christian.mly", line 909, characters 2-22:
 Warning: production sequenceValue -> LeftBrace RightBrace is never reduced.
-File "christian.mly", line 969, characters 2-35:
+File "christian.mly", line 969, characters 2-32:
 Warning: production setOfValue -> LeftBrace valueList RightBrace is never reduced.
-File "christian.mly", line 971, characters 2-40:
+File "christian.mly", line 971, characters 2-37:
 Warning: production setOfValue -> LeftBrace namedValueList RightBrace is never reduced.
-File "christian.mly", line 973, characters 2-25:
+File "christian.mly", line 973, characters 2-22:
 Warning: production setOfValue -> LeftBrace RightBrace is never reduced.
-File "christian.mly", line 957, characters 2-44:
+File "christian.mly", line 957, characters 2-41:
 Warning: production setValue -> LeftBrace componentValueList RightBrace is never reduced.
-File "christian.mly", line 959, characters 2-25:
+File "christian.mly", line 959, characters 2-22:
 Warning: production setValue -> LeftBrace RightBrace is never reduced.
-File "christian.mly", line 2119, characters 2-30:
+File "christian.mly", line 2119, characters 2-7:
 Warning: production simpleDefinedType -> Upper is never reduced.
-File "christian.mly", line 1288, characters 2-11:
+File "christian.mly", line 1288, characters 2-8:
 Warning: production tableColumn -> Number is never reduced.
-File "christian.mly", line 1933, characters 2-36:
+File "christian.mly", line 1933, characters 2-33:
 Warning: production typeFromObject -> referencedObjects Dot fieldName is never reduced.
-File "christian.mly", line 1306, characters 2-18:
+File "christian.mly", line 1306, characters 2-15:
 Warning: production unrestrictedCharacterStringValue -> sequenceValue is never reduced.
 Warning: in total, 28 productions are never reduced.

bench/good/cil-cparser.exp

@@ -105,10 +105,10 @@ Warning: the precedence level assigned to VOLATILE is never useful.
 File "cil-cparser.mly", line 345, characters 56-61:
 Warning: this %prec declaration is never useful.
 Warning: 20 states have an end-of-stream conflict.
-File "cil-cparser.mly", line 1027, characters 2-85:
+File "cil-cparser.mly", line 1027, characters 2-49:
 Warning: production direct_old_proto_decl -> direct_decl LPAREN RPAREN is never reduced.
-File "cil-cparser.mly", line 1149, characters 2-70:
+File "cil-cparser.mly", line 1149, characters 2-42:
 Warning: production function_def_start -> IDENT LPAREN RPAREN is never reduced.
-File "cil-cparser.mly", line 375, characters 2-60:
+File "cil-cparser.mly", line 375, characters 2-32:
 Warning: production global -> IDENT LPAREN RPAREN SEMICOLON is never reduced.
 Warning: in total, 3 productions are never reduced.

bench/good/cime-terms-signature.exp

 Warning: 14 states have an end-of-stream conflict.
-File "cime-terms-signature.mly", line 38, characters 2-28:
+File "cime-terms-signature.mly", line 38, characters 2-6:
 Warning: production signature -> decl is never reduced.
-File "cime-terms-signature.mly", line 44, characters 2-42:
+File "cime-terms-signature.mly", line 44, characters 2-13:
 Warning: production sorted_signature -> sorted_decl is never reduced.
 Warning: in total, 2 productions are never reduced.

bench/good/cime-theory.exp

 Warning: 11 states have an end-of-stream conflict.
-File "cime-theory.mly", line 32, characters 4-16:
+File "cime-theory.mly", line 32, characters 4-8:
 Warning: production theory -> decl is never reduced.
 Warning: in total, 1 productions are never reduced.

bench/good/compsyn.exp

@@ -40,10 +40,10 @@ Warning: 11 states have shift/reduce conflicts.
 Warning: one state has reduce/reduce conflicts.
 Warning: 38 shift/reduce conflicts were arbitrarily resolved.
 Warning: one reduce/reduce conflict was arbitrarily resolved.
-File "compsyn.mly", line 687, characters 3-3:
+File "compsyn.mly", line 686, characters 36-36:
 Warning: production KEY_IF_LPAREN_expression_RPAREN_opt -> is never reduced.
-File "compsyn.mly", line 688, characters 3-38:
+File "compsyn.mly", line 688, characters 3-34:
 Warning: production KEY_IF_LPAREN_expression_RPAREN_opt -> KEY_IF LPAREN expression RPAREN is never reduced.
-File "compsyn.mly", line 729, characters 1-13:
+File "compsyn.mly", line 729, characters 1-11:
 Warning: production conditional_port_expression -> expression is never reduced.
 Warning: in total, 3 productions are never reduced.

bench/good/execparser.exp

@@ -23,8 +23,8 @@ Warning: the token WHITESPACE is unused.
 Warning: one state has shift/reduce conflicts.
 Warning: one shift/reduce conflict was arbitrarily resolved.
 Warning: 83 states have an end-of-stream conflict.
-File "execparser.mly", line 166, characters 4-34:
+File "execparser.mly", line 166, characters 4-15:
 Warning: production instructions -> instruction is never reduced.
-File "execparser.mly", line 167, characters 4-34:
+File "execparser.mly", line 167, characters 4-19:
 Warning: production instructions -> instruction DOT is never reduced.
 Warning: in total, 2 productions are never reduced.

bench/good/featherweight.exp

@@ -63,6 +63,6 @@ Warning: the token VBAR is unused.
 Warning: one state has shift/reduce conflicts.
 Warning: one shift/reduce conflict was arbitrarily resolved.
 Warning: 17 states have an end-of-stream conflict.
-File "featherweight.mly", line 101, characters 1-29:
+File "featherweight.mly", line 101, characters 1-24:
 Warning: production toplevel -> classDecs COLON termDef is never reduced.
 Warning: in total, 1 productions are never reduced.

bench/good/filiot.exp

@@ -11,6 +11,6 @@ Warning: the precedence level assigned to RPAR is never useful.
 File "filiot.mly", line 95, characters 0-5:
 Warning: the precedence level assigned to TILDA is never useful.
 Warning: one state has an end-of-stream conflict.
-File "filiot.mly", line 107, characters 2-2:
+File "filiot.mly", line 107, characters 1-1:
 Warning: production main -> is never reduced.
 Warning: in total, 1 productions are never reduced.

bench/good/fork.opp.exp

@@ -256,8 +256,8 @@ ty2:
       ( ((_startpos, _endpos), x) )
 in
 let ty =
-  let _startpos = _endpos__2_ in
   let _endpos = _startpos_delimiter_ in
+  let _startpos = _endpos__2_ in
   let x = x1 in
       ( ((_startpos, _endpos), x) )
 in
@@ -421,8 +421,8 @@ term2:
       ( ((_startpos, _endpos), x) )
 in
 let t =
-  let _startpos = _endpos__2_ in
   let _endpos = _startpos_delimiter_ in
+  let _startpos = _endpos__2_ in
   let x = x1 in
       ( ((_startpos, _endpos), x) )
 in

bench/good/framac-cparser.exp

@@ -104,14 +104,14 @@ File "framac-cparser.mly", line 464, characters 56-61:
 Warning: this %prec declaration is never useful.
 Warning: one state has shift/reduce conflicts.
 Warning: one shift/reduce conflict was arbitrarily resolved.
-File "framac-cparser.mly", line 1304, characters 2-28:
+File "framac-cparser.mly", line 1304, characters 2-27:
 Warning: production direct_old_proto_decl -> direct_decl LPAREN RPAREN is never reduced.
-File "framac-cparser.mly", line 1443, characters 2-26:
+File "framac-cparser.mly", line 1443, characters 2-21:
 Warning: production function_def_start -> IDENT LPAREN RPAREN is never reduced.
-File "framac-cparser.mly", line 509, characters 2-37:
+File "framac-cparser.mly", line 509, characters 2-32:
 Warning: production global -> IDENT LPAREN RPAREN SEMICOLON is never reduced.
-File "framac-cparser.mly", line 1548, characters 4-24:
+File "framac-cparser.mly", line 1548, characters 4-23:
 Warning: production var_attr -> IDENT COLON CST_INT is never reduced.
-File "framac-cparser.mly", line 1549, characters 4-29:
+File "framac-cparser.mly", line 1549, characters 4-28:
 Warning: production var_attr -> NAMED_TYPE COLON CST_INT is never reduced.
 Warning: in total, 5 productions are never reduced.

bench/good/fsharp.exp

@@ -307,6 +307,6 @@ Warning: this %prec declaration is never useful.
 Warning: 148 states have shift/reduce conflicts.
 Warning: 2 states have reduce/reduce conflicts.
 Warning: 333 shift/reduce conflicts were arbitrarily resolved.
-File "fsharp.mly", line 1744, characters 4-47:
+File "fsharp.mly", line 1744, characters 4-46:
 Warning: production conjPatternElements -> conjPatternElements AMP headBindingPattern is never reduced.
 Warning: in total, 1 productions are never reduced.

bench/good/fsyaccpars.exp

@@ -7,6 +7,6 @@ Warning: the token LESS is unused.
 File "fsyaccpars.mly", line 15, characters 0-5:
 Warning: the precedence level assigned to BAR is never useful.
 Warning: 7 states have an end-of-stream conflict.
-File "fsyaccpars.mly", line 30, characters 33-38:
+File "fsyaccpars.mly", line 30, characters 33-37:
 Warning: production rules -> rule is never reduced.
 Warning: in total, 1 productions are never reduced.

bench/good/gromit.exp

@@ -3,6 +3,6 @@ Warning: the token EOF is unused.
 Warning: 3 states have shift/reduce conflicts.
 Warning: 3 shift/reduce conflicts were arbitrarily resolved.
 Warning: 2 states have an end-of-stream conflict.
-File "gromit.mly", line 212, characters 6-6:
+File "gromit.mly", line 210, characters 17-17:
 Warning: production constructor_list -> is never reduced.
 Warning: in total, 1 productions are never reduced.

bench/good/htparser.exp

@@ -69,8 +69,8 @@ Warning: 25 reduce/reduce conflicts were arbitrarily resolved.
 Warning: 14 states have an end-of-stream conflict.
 File "htparser.mly", line 163, characters 0-5:
 Warning: symbol input is never accepted.
-File "htparser.mly", line 759, characters 4-15:
+File "htparser.mly", line 759, characters 4-14:
 Warning: production poly_type_variable -> Upper_word is never reduced.
-File "htparser.mly", line 665, characters 4-38:
+File "htparser.mly", line 665, characters 4-37:
 Warning: production unary_connective -> quantifier_comb thf_logic_formula is never reduced.
 Warning: in total, 3 productions are never reduced.

bench/good/ibal.exp

@@ -11,16 +11,16 @@ Warning: 358 shift/reduce conflicts were arbitrarily resolved.
 Warning: 174 states have an end-of-stream conflict.
 File "ibal.mly", line 163, characters 0-4:
 Warning: symbol expr is never accepted.
-File "ibal.mly", line 260, characters 7-47:
+File "ibal.mly", line 260, characters 7-28:
 Warning: production expr_nonint4 -> expr_nonint PLUS expr is never reduced.
-File "ibal.mly", line 261, characters 7-48:
+File "ibal.mly", line 261, characters 7-29:
 Warning: production expr_nonint4 -> expr_nonint MINUS expr is never reduced.
-File "ibal.mly", line 265, characters 7-46:
+File "ibal.mly", line 265, characters 7-30:
 Warning: production expr_nonint4 -> expr_nonint CONCAT expr is never reduced.
-File "ibal.mly", line 269, characters 7-42:
+File "ibal.mly", line 269, characters 7-27:
 Warning: production expr_nonint4 -> expr_nonint AND expr is never reduced.
-File "ibal.mly", line 270, characters 7-43:
+File "ibal.mly", line 270, characters 7-27:
 Warning: production expr_nonint4 -> expr_nonint BAR expr is never reduced.
-File "ibal.mly", line 160, characters 6-40:
+File "ibal.mly", line 160, characters 6-10:
 Warning: production top -> expr is never reduced.
 Warning: in total, 7 productions are never reduced.

bench/good/ics.exp

@@ -118,6 +118,6 @@ Warning: the precedence level assigned to TO is never useful.
 Warning: one state has shift/reduce conflicts.
 Warning: one shift/reduce conflict was arbitrarily resolved.
 Warning: one state has an end-of-stream conflict.
-File "ics.mly", line 125, characters 2-33:
+File "ics.mly", line 125, characters 2-13:
 Warning: production commandsequence -> command DOT is never reduced.
 Warning: in total, 1 productions are never reduced.

bench/good/infinite.exp

 File "infinite.mly", line 10, characters 0-8:
 Warning: infinite generates the empty language.
 Warning: one state has an end-of-stream conflict.
-File "infinite.mly", line 7, characters 2-4:
+File "infinite.mly", line 7, characters 2-3:
 Warning: production dummy -> A is never reduced.
 Warning: in total, 1 productions are never reduced.