Commit c3c60224 authored by POTTIER Francois's avatar POTTIER Francois

Added a few dozens large grammars, found on GitHub,

written for ocamlyacc and menhir.
parent 84b8890d
File "JSParse.mly", line 83, characters 22-33:
Warning: the token FRWabstract is unused.
File "JSParse.mly", line 84, characters 22-32:
Warning: the token FRWboolean is unused.
File "JSParse.mly", line 85, characters 22-29:
Warning: the token FRWbyte is unused.
File "JSParse.mly", line 86, characters 22-29:
Warning: the token FRWchar is unused.
File "JSParse.mly", line 87, characters 22-30:
Warning: the token FRWclass is unused.
File "JSParse.mly", line 88, characters 22-30:
Warning: the token FRWconst is unused.
File "JSParse.mly", line 89, characters 22-33:
Warning: the token FRWdebugger is unused.
File "JSParse.mly", line 90, characters 22-29:
Warning: the token FRWenum is unused.
File "JSParse.mly", line 91, characters 22-31:
Warning: the token FRWexport is unused.
File "JSParse.mly", line 92, characters 22-32:
Warning: the token FRWextends is unused.
File "JSParse.mly", line 93, characters 22-30:
Warning: the token FRWfinal is unused.
File "JSParse.mly", line 94, characters 22-30:
Warning: the token FRWfloat is unused.
File "JSParse.mly", line 95, characters 22-29:
Warning: the token FRWgoto is unused.
File "JSParse.mly", line 96, characters 22-35:
Warning: the token FRWimplements is unused.
File "JSParse.mly", line 97, characters 22-28:
Warning: the token FRWint is unused.
File "JSParse.mly", line 98, characters 22-34:
Warning: the token FRWinterface is unused.
File "JSParse.mly", line 99, characters 22-29:
Warning: the token FRWlong is unused.
File "JSParse.mly", line 100, characters 22-31:
Warning: the token FRWnative is unused.
File "JSParse.mly", line 101, characters 22-32:
Warning: the token FRWpackage is unused.
File "JSParse.mly", line 102, characters 22-32:
Warning: the token FRWprivate is unused.
File "JSParse.mly", line 103, characters 22-34:
Warning: the token FRWprotected is unused.
File "JSParse.mly", line 104, characters 22-30:
Warning: the token FRWshort is unused.
File "JSParse.mly", line 105, characters 22-31:
Warning: the token FRWstatic is unused.
File "JSParse.mly", line 106, characters 22-30:
Warning: the token FRWsuper is unused.
File "JSParse.mly", line 107, characters 22-37:
Warning: the token FRWsynchronized is unused.
File "JSParse.mly", line 108, characters 22-31:
Warning: the token FRWthrows is unused.
File "JSParse.mly", line 109, characters 22-34:
Warning: the token FRWtransient is unused.
File "JSParse.mly", line 110, characters 22-33:
Warning: the token FRWvolatile is unused.
File "JSParse.mly", line 47, characters 31-40:
Warning: the token LDcomment is unused.
File "JSParse.mly", line 49, characters 22-32:
Warning: the token LInitBegin is unused.
File "JSParse.mly", line 50, characters 22-30:
Warning: the token LInitEnd is unused.
File "JSParse.mly", line 35, characters 29-34:
Warning: the token Lchar is unused.
File "JSParse.mly", line 46, characters 31-39:
Warning: the token Lcomment is unused.
File "JSParse.mly", line 45, characters 22-38:
Warning: the token Lline_terminator is unused.
File "JSParse.mly", line 44, characters 22-33:
Warning: the token Lwhitespace is unused.
Warning: one state has shift/reduce conflicts.
Warning: one shift/reduce conflict was arbitrarily resolved.
This diff is collapsed.
This diff is collapsed.
File "K3Parser.mly", line 128, characters 12-21:
Warning: the token COLONGETS is unused.
File "K3Parser.mly", line 146, characters 7-13:
Warning: the token EFFECT is unused.
File "K3Parser.mly", line 106, characters 7-10:
Warning: the token EOF is unused.
File "K3Parser.mly", line 115, characters 42-46:
Warning: the token HASH is unused.
File "K3Parser.mly", line 121, characters 17-24:
Warning: the token LRARROW is unused.
File "K3Parser.mly", line 146, characters 14-22:
Warning: the token PARALLEL is unused.
File "K3Parser.mly", line 104, characters 7-12:
Warning: the token RANGE is unused.
File "K3Parser.mly", line 134, characters 12-16:
Warning: the token RANK is unused.
File "K3Parser.mly", line 97, characters 20-23:
Warning: the token TOP is unused.
File "K3Parser.mly", line 733, characters 0-15:
Warning: symbol identifier_list is unreachable from any of the start symbol(s).
File "K3Parser.mly", line 728, characters 0-12:
Warning: symbol integer_list is unreachable from any of the start symbol(s).
File "K3Parser.mly", line 177, characters 0-5:
Warning: the precedence level assigned to ANNOTATE is never useful.
File "K3Parser.mly", line 165, characters 0-6:
Warning: the precedence level assigned to CASE is never useful.
File "K3Parser.mly", line 163, characters 0-6:
Warning: the precedence level assigned to IF is never useful.
File "K3Parser.mly", line 161, characters 0-6:
Warning: the precedence level assigned to LRARROW is never useful.
File "K3Parser.mly", line 165, characters 0-6:
Warning: the precedence level assigned to OF is never useful.
File "K3Parser.mly", line 163, characters 0-6:
Warning: the precedence level assigned to THEN is never useful.
File "K3Parser.mly", line 183, characters 0-9:
Warning: the precedence level assigned to UMINUS is never useful.
File "K3Parser.mly", line 329, characters 47-53:
Warning: this %prec declaration is never useful.
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.
File "K3Parser.mly", line 399, characters 0-4:
Warning: symbol expr is never accepted.
File "K3Parser.mly", line 760, characters 6-52:
Warning: production expression_test -> expression_test_list is never reduced.
File "K3Parser.mly", line 755, characters 6-58:
Warning: production expression_test_list -> expression_test_list SEMICOLON expression_test_list is never reduced.
File "K3Parser.mly", line 344, characters 6-42:
Warning: production fn_type_expr_list -> type_expr RARROW fn_type_expr_list is never reduced.
File "K3Parser.mly", line 763, characters 6-57:
Warning: production named_expr_list -> anno_expr GETS check_expr is never reduced.
Warning: in total, 5 productions are never reduced.
This diff is collapsed.
This diff is collapsed.
File "albatross.mly", line 129, characters 7-10:
Warning: the token EOF is unused.
File "albatross.mly", line 135, characters 7-19:
Warning: the token HIGHEST_PREC is unused.
File "albatross.mly", line 93, characters 7-16:
Warning: the token KWCURRENT is unused.
File "albatross.mly", line 93, characters 17-26:
Warning: the token KWCurrent is unused.
File "albatross.mly", line 94, characters 7-13:
Warning: the token KWNONE is unused.
File "albatross.mly", line 95, characters 7-18:
Warning: the token KWPrecursor is unused.
File "albatross.mly", line 95, characters 19-28:
Warning: the token KWProcess is unused.
File "albatross.mly", line 98, characters 60-68:
Warning: the token KWassert is unused.
File "albatross.mly", line 99, characters 34-41:
Warning: the token KWcheck is unused.
File "albatross.mly", line 102, characters 19-28:
Warning: the token KWfeature is unused.
File "albatross.mly", line 102, characters 34-40:
Warning: the token KWfrom is unused.
File "albatross.mly", line 104, characters 34-42:
Warning: the token KWimport is unused.
File "albatross.mly", line 105, characters 34-45:
Warning: the token KWinvariant is unused.
File "albatross.mly", line 110, characters 7-17:
Warning: the token KWredefine is unused.
File "albatross.mly", line 113, characters 7-17:
Warning: the token KWundefine is unused.
File "albatross.mly", line 114, characters 7-16:
Warning: the token KWvariant is unused.
File "albatross.mly", line 115, characters 7-14:
Warning: the token KWwhile is unused.
File "albatross.mly", line 155, characters 7-13:
Warning: the token UMINUS is unused.
File "albatross.mly", line 166, characters 9-18:
Warning: the precedence level assigned to ASSIGN is never useful.
File "albatross.mly", line 174, characters 9-18:
Warning: the precedence level assigned to EQV is never useful.
File "albatross.mly", line 187, characters 9-18:
Warning: the precedence level assigned to HIGHEST_PREC is never useful.
File "albatross.mly", line 165, characters 9-18:
Warning: the precedence level assigned to KWghost is never useful.
File "albatross.mly", line 185, characters 9-18:
Warning: the precedence level assigned to LBRACE is never useful.
File "albatross.mly", line 174, characters 9-18:
Warning: the precedence level assigned to NEQV is never useful.
File "albatross.mly", line 181, characters 9-14:
Warning: the precedence level assigned to OPERATOR is never useful.
File "albatross.mly", line 183, characters 9-18:
Warning: the precedence level assigned to QMARK is never useful.
File "albatross.mly", line 182, characters 9-15:
Warning: the precedence level assigned to ROPERATOR is never useful.
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.
File "albatross.mly", line 202, characters 2-26:
Warning: production file -> use_block optsemi decls is never reduced.
File "albatross.mly", line 203, characters 2-8:
Warning: production file -> decls is never reduced.
File "albatross.mly", line 217, characters 4-4:
Warning: production use_block_opt -> is never reduced.
Warning: in total, 3 productions are never reduced.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
File "compsyn.mly", line 281, characters 7-16:
Warning: the token CAPITAL_E is unused.
File "compsyn.mly", line 203, characters 41-44:
Warning: the token EOL is unused.
File "compsyn.mly", line 282, characters 7-15:
Warning: the token LITTLE_E is unused.
File "compsyn.mly", line 276, characters 0-5:
Warning: the precedence level assigned to BIT_NEG is never useful.
File "compsyn.mly", line 276, characters 0-5:
Warning: the precedence level assigned to LOGIC_NEG is never useful.
File "compsyn.mly", line 276, characters 0-5:
Warning: the precedence level assigned to RED_NAND is never useful.
File "compsyn.mly", line 276, characters 0-5:
Warning: the precedence level assigned to RED_NOR is never useful.
File "compsyn.mly", line 278, characters 0-5:
Warning: the precedence level assigned to UADD is never useful.
File "compsyn.mly", line 278, characters 0-5:
Warning: the precedence level assigned to UAND is never useful.
File "compsyn.mly", line 278, characters 0-5:
Warning: the precedence level assigned to UEQU is never useful.
File "compsyn.mly", line 278, characters 0-5:
Warning: the precedence level assigned to UOR is never useful.
File "compsyn.mly", line 278, characters 0-5:
Warning: the precedence level assigned to USUB is never useful.
File "compsyn.mly", line 278, characters 0-5:
Warning: the precedence level assigned to UXOR is never useful.
File "compsyn.mly", line 1339, characters 21-25:
Warning: this %prec declaration is never useful.
File "compsyn.mly", line 1340, characters 21-25:
Warning: this %prec declaration is never useful.
File "compsyn.mly", line 1343, characters 26-30:
Warning: this %prec declaration is never useful.
File "compsyn.mly", line 1345, characters 24-27:
Warning: this %prec declaration is never useful.
File "compsyn.mly", line 1347, characters 25-29:
Warning: this %prec declaration is never useful.
File "compsyn.mly", line 1348, characters 25-29:
Warning: this %prec declaration is never useful.
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:
Warning: production KEY_IF_LPAREN_expression_RPAREN_opt -> is never reduced.
File "compsyn.mly", line 688, characters 3-38:
Warning: production KEY_IF_LPAREN_expression_RPAREN_opt -> KEY_IF LPAREN expression RPAREN is never reduced.
File "compsyn.mly", line 729, characters 1-13:
Warning: production conditional_port_expression -> expression is never reduced.
Warning: in total, 3 productions are never reduced.
This diff is collapsed.
This diff is collapsed.
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
This diff is collapsed.
This diff is collapsed.
File "execparser.mly", line 89, characters 16-21:
Warning: the token CHECK is unused.
File "execparser.mly", line 88, characters 16-20:
Warning: the token EDGE is unused.
File "execparser.mly", line 109, characters 19-22:
Warning: the token FIG is unused.
File "execparser.mly", line 109, characters 26-30:
Warning: the token INIT is unused.
File "execparser.mly", line 109, characters 8-12:
Warning: the token MODE is unused.
File "execparser.mly", line 109, characters 13-18:
Warning: the token NEATO is unused.
File "execparser.mly", line 131, characters 13-16:
Warning: the token NUM is unused.
File "execparser.mly", line 109, characters 31-34:
Warning: the token PAR is unused.
File "execparser.mly", line 109, characters 23-25:
Warning: the token PS is unused.
File "execparser.mly", line 109, characters 39-42:
Warning: the token TXT is unused.
File "execparser.mly", line 115, characters 8-18:
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:
Warning: production instructions -> instruction is never reduced.
File "execparser.mly", line 167, characters 4-34:
Warning: production instructions -> instruction DOT is never reduced.
Warning: in total, 2 productions are never reduced.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
File "htparser.mly", line 134, characters 16-34:
Warning: the token Atomic_system_word is unused.
File "htparser.mly", line 132, characters 16-28:
Warning: the token Decimal_part is unused.
File "htparser.mly", line 123, characters 7-10:
Warning: the token EOF is unused.
File "htparser.mly", line 94, characters 7-18:
Warning: the token INCLUDE_TOK is unused.
File "htparser.mly", line 95, characters 7-19:
Warning: the token INPUT_CLAUSE is unused.
File "htparser.mly", line 96, characters 7-20:
Warning: the token INPUT_FORMULA is unused.
File "htparser.mly", line 101, characters 7-13:
Warning: the token MMINUS is unused.
File "htparser.mly", line 107, characters 7-12:
Warning: the token PPLUS is unused.
File "htparser.mly", line 140, characters 7-19:
Warning: the token Unrecognized is unused.
File "htparser.mly", line 704, characters 0-10:
Warning: symbol apply_term is unreachable from any of the start symbol(s).
File "htparser.mly", line 259, characters 0-11:
Warning: symbol hof_formula is unreachable from any of the start symbol(s).
File "htparser.mly", line 708, characters 0-11:
Warning: symbol lambda_term is unreachable from any of the start symbol(s).
File "htparser.mly", line 690, characters 0-15:
Warning: symbol quantified_term is unreachable from any of the start symbol(s).
File "htparser.mly", line 649, characters 0-4:
Warning: symbol term is unreachable from any of the start symbol(s).
File "htparser.mly", line 148, characters 0-5:
Warning: the precedence level assigned to AMPERSAND is never useful.
File "htparser.mly", line 149, characters 0-5:
Warning: the precedence level assigned to AT_SIGN is never useful.
File "htparser.mly", line 152, characters 0-9:
Warning: the precedence level assigned to CARET is never useful.
File "htparser.mly", line 151, characters 0-6:
Warning: the precedence level assigned to DOUBLEEXCLAMATION is never useful.
File "htparser.mly", line 151, characters 0-6:
Warning: the precedence level assigned to DOUBLEQUESTION is never useful.
File "htparser.mly", line 146, characters 0-9:
Warning: the precedence level assigned to EQUALS is never useful.
File "htparser.mly", line 152, characters 0-9:
Warning: the precedence level assigned to EXCLAMATION is never useful.
File "htparser.mly", line 145, characters 0-6:
Warning: the precedence level assigned to IF is never useful.
File "htparser.mly", line 144, characters 0-9:
Warning: the precedence level assigned to IFF is never useful.
File "htparser.mly", line 145, characters 0-6:
Warning: the precedence level assigned to IMPLIES is never useful.
File "htparser.mly", line 152, characters 0-9:
Warning: the precedence level assigned to LAMBDA is never useful.
File "htparser.mly", line 148, characters 0-5:
Warning: the precedence level assigned to NAMPERSAND is never useful.
File "htparser.mly", line 146, characters 0-9:
Warning: the precedence level assigned to NEQUALS is never useful.
File "htparser.mly", line 144, characters 0-9:
Warning: the precedence level assigned to NIFF is never useful.
File "htparser.mly", line 147, characters 0-6:
Warning: the precedence level assigned to NVLINE is never useful.
File "htparser.mly", line 152, characters 0-9:
Warning: the precedence level assigned to QUESTION is never useful.
File "htparser.mly", line 150, characters 0-9:
Warning: the precedence level assigned to TILDE is never useful.
File "htparser.mly", line 147, characters 0-6:
Warning: the precedence level assigned to VLINE is never useful.
Warning: 5 states have shift/reduce conflicts.
Warning: 5 states have reduce/reduce conflicts.
Warning: 16 shift/reduce conflicts were arbitrarily resolved.
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:
Warning: production poly_type_variable -> Upper_word is never reduced.
File "htparser.mly", line 665, characters 4-38:
Warning: production unary_connective -> quantifier_comb thf_logic_formula is never reduced.
Warning: in total, 3 productions are never reduced.
This diff is collapsed.
This diff is collapsed.
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
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