Commit 7b134165 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Change the wording of the warning about end-of-stream conflicts.

parent 0ab0132c
......@@ -972,9 +972,11 @@ let default_conflict_resolution () =
end;
if !eos_conflicts = 1 then
Error.grammar_warning [] "one state has an end-of-stream conflict."
Error.grammar_warning []
"one state end-of-stream conflict was arbitrarily resolved."
else if !eos_conflicts > 1 then
Error.grammar_warning [] "%d states have an end-of-stream conflict."
Error.grammar_warning []
"%d end-of-stream conflicts were arbitrarily resolved."
!eos_conflicts;
(* We can now compute where productions are reduced. *)
......
......@@ -260,7 +260,7 @@ Warning: 109 states have shift/reduce conflicts.
Warning: 3 states have reduce/reduce conflicts.
Warning: 576 shift/reduce conflicts were arbitrarily resolved.
Warning: 142 reduce/reduce conflicts were arbitrarily resolved.
Warning: 266 states have an end-of-stream conflict.
Warning: 266 end-of-stream conflicts were arbitrarily resolved.
File "K3Parser.mly", line 399, characters 0-4:
Warning: symbol expr is never accepted.
File "K3Parser.mly", line 760, characters 6-26:
......
......@@ -428,7 +428,7 @@ File "albatross.mly", line 186, characters 9-18:
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.
Warning: 117 end-of-stream conflicts were arbitrarily resolved.
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-7:
......
......@@ -21,7 +21,7 @@ Built an LR(0) automaton with 11 states.
The grammar is SLR(1).
The construction mode is pager.
Built an LR(1) automaton with 11 states.
Warning: 8 states have an end-of-stream conflict.
Warning: 8 end-of-stream conflicts were arbitrarily resolved.
File "attributes-expansion.mly", line 13, characters 1-1:
Warning: production liste(C) -> is never reduced.
Warning: in total, 1 production is never reduced.
......
......@@ -21,7 +21,7 @@ Warning: 4 states have shift/reduce conflicts.
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.
Warning: one state end-of-stream conflict was arbitrarily resolved.
File "boris-mini.mly", line 38, characters 2-10:
Warning: production debut -> expr DOT is never reduced.
Warning: in total, 1 production is never reduced.
......
......@@ -259,7 +259,7 @@ The construction mode is pager.
Built an LR(1) automaton with 349 states.
Warning: one state has shift/reduce conflicts.
Warning: one shift/reduce conflict was arbitrarily resolved.
Warning: 15 states have an end-of-stream conflict.
Warning: 15 end-of-stream conflicts were arbitrarily resolved.
File "c.mly", line 404, characters 0-16:
Warning: symbol translation_unit is never accepted.
Warning: in total, 1 production is never reduced.
......
......@@ -577,7 +577,7 @@ File "cil-cparser.mly", line 268, characters 0-5:
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.
Warning: 20 end-of-stream conflicts were arbitrarily resolved.
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-42:
......
......@@ -254,7 +254,7 @@ File "cil-formatparse.mly", line 359, characters 31-36:
Warning: this %prec declaration is never useful.
File "cil-formatparse.mly", line 596, characters 28-33:
Warning: this %prec declaration is never useful.
Warning: 117 states have an end-of-stream conflict.
Warning: 117 end-of-stream conflicts were arbitrarily resolved.
File "cil-formatparse.mly", line 345, characters 0-10:
Warning: symbol expression is never accepted.
File "cil-formatparse.mly", line 585, characters 0-4:
......
......@@ -30,7 +30,7 @@ File "cime-poly.mly", line 32, characters 0-9:
Warning: the precedence level assigned to FORALL is never useful.
Warning: 2 states have shift/reduce conflicts.
Warning: 8 shift/reduce conflicts were arbitrarily resolved.
Warning: 10 states have an end-of-stream conflict.
Warning: 10 end-of-stream conflicts were arbitrarily resolved.
File "cime-poly.mly", line 86, characters 0-4:
Warning: symbol expr is never accepted.
Warning: in total, 1 production is never reduced.
......
......@@ -53,7 +53,7 @@ Built an LR(0) automaton with 45 states.
The grammar is SLR(1).
The construction mode is pager.
Built an LR(1) automaton with 45 states.
Warning: 14 states have an end-of-stream conflict.
Warning: 14 end-of-stream conflicts were arbitrarily resolved.
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-13:
......
......@@ -33,7 +33,7 @@ Built an LR(0) automaton with 47 states.
The grammar is SLR(1).
The construction mode is pager.
Built an LR(1) automaton with 47 states.
Warning: 11 states have an end-of-stream conflict.
Warning: 11 end-of-stream conflicts were arbitrarily resolved.
File "cime-theory.mly", line 32, characters 4-8:
Warning: production theory -> decl is never reduced.
Warning: in total, 1 production is never reduced.
......
......@@ -640,7 +640,7 @@ The grammar is not SLR(1) -- 33 states have a conflict.
The construction mode is pager.
Built an LR(1) automaton with 873 states.
401 shift/reduce conflicts were silently solved.
Warning: 188 states have an end-of-stream conflict.
Warning: 188 end-of-stream conflicts were arbitrarily resolved.
File "coccinelle.1.0.2-parser_c.mly", line 735, characters 0-4:
Warning: symbol expr is never accepted.
Warning: in total, 1 production is never reduced.
......
......@@ -65,7 +65,7 @@ Built an LR(0) automaton with 63 states.
The grammar is not SLR(1) -- 1 states have a conflict.
The construction mode is pager.
Built an LR(1) automaton with 66 states.
Warning: 13 states have an end-of-stream conflict.
Warning: 13 end-of-stream conflicts were arbitrarily resolved.
29 out of 66 states have a default reduction.
16 out of 66 states are represented.
0 out of 38 symbols keep track of their start position.
......
......@@ -430,7 +430,7 @@ Built an LR(1) automaton with 498 states.
30 shift/reduce conflicts were silently solved.
File "dbforge.2.0.1-sqml_parser.mly", line 75, characters 0-5:
Warning: the precedence level assigned to COMPARISON is never useful.
Warning: 134 states have an end-of-stream conflict.
Warning: 134 end-of-stream conflicts were arbitrarily resolved.
217 out of 498 states have a default reduction.
144 out of 498 states are represented.
0 out of 221 symbols keep track of their start position.
......
......@@ -37,7 +37,7 @@ Built an LR(0) automaton with 27 states.
The grammar is SLR(1).
The construction mode is pager.
Built an LR(1) automaton with 30 states.
Warning: 10 states have an end-of-stream conflict.
Warning: 10 end-of-stream conflicts were arbitrarily resolved.
File "debian-formats.0.1.1-DF822_parser.mly", line 74, characters 3-3:
Warning: production stanzas -> is never reduced.
Warning: in total, 1 production is never reduced.
......
......@@ -40,7 +40,7 @@ File "dune.1.4.0-opamBaseParser.mly", line 47, characters 0-5:
Warning: the precedence level assigned to RBRACE is never useful.
File "dune.1.4.0-opamBaseParser.mly", line 49, characters 0-9:
Warning: the precedence level assigned to URELOP is never useful.
Warning: 15 states have an end-of-stream conflict.
Warning: 15 end-of-stream conflicts were arbitrarily resolved.
File "dune.1.4.0-opamBaseParser.mly", line 79, characters 0-5:
Warning: symbol value is never accepted.
Warning: in total, 1 production is never reduced.
......
......@@ -10,7 +10,7 @@ The grammar is not SLR(1) -- 2 states have a conflict.
The construction mode is pager.
Built an LR(1) automaton with 7 states.
4 shift/reduce conflicts were silently solved.
Warning: 4 states have an end-of-stream conflict.
Warning: 4 end-of-stream conflicts were arbitrarily resolved.
File "end-of-stream-conflict.mly", line 10, characters 0-4:
Warning: symbol expr is never accepted.
Warning: in total, 1 production is never reduced.
......
......@@ -197,7 +197,7 @@ The construction mode is pager.
Built an LR(1) automaton with 293 states.
Warning: one state has shift/reduce conflicts.
Warning: one shift/reduce conflict was arbitrarily resolved.
Warning: 83 states have an end-of-stream conflict.
Warning: 83 end-of-stream conflicts were arbitrarily resolved.
File "execparser.mly", line 166, characters 4-15:
Warning: production instructions -> instruction is never reduced.
File "execparser.mly", line 167, characters 4-19:
......
......@@ -157,7 +157,7 @@ The construction mode is pager.
Built an LR(1) automaton with 105 states.
Warning: one state has shift/reduce conflicts.
Warning: one shift/reduce conflict was arbitrarily resolved.
Warning: 17 states have an end-of-stream conflict.
Warning: 17 end-of-stream conflicts were arbitrarily resolved.
File "featherweight.mly", line 101, characters 1-24:
Warning: production toplevel -> classDecs COLON termDef is never reduced.
Warning: in total, 1 production is never reduced.
......
......@@ -46,7 +46,7 @@ File "filiot.mly", line 94, characters 0-9:
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.
Warning: one state end-of-stream conflict was arbitrarily resolved.
File "filiot.mly", line 107, characters 1-1:
Warning: production main -> is never reduced.
Warning: in total, 1 production is never reduced.
......
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