* NEWS (2.5): Document.
* data/glr.c (yyreportSyntaxError): Fix this by checking
yyis_table_ninf.
* data/yacc.c (yysyntax_error): Likewise.
* data/lalr1.cc (yysyntax_error_): Fix this by checking
yytable_ninf_.
* data/lalr1.java (yysyntax_error): Likewise.
* tests/conflicts.at (%nonassoc and eof): Update expected output
and remove FIXME.
(cherry picked from commit
53f036ce027289d3f5e70c88735b88aa6725381d)
Conflicts:
data/lalr1.cc
data/lalr1.java
src/parse-gram.c
src/parse-gram.h
+2009-08-25 Joel E. Denny <jdenny@clemson.edu>
+
+ Fix %error-verbose for conflicts resolved by %nonassoc.
+ * NEWS (2.5): Document.
+ * data/glr.c (yyreportSyntaxError): Fix this by checking
+ yyis_table_ninf.
+ * data/yacc.c (yysyntax_error): Likewise.
+ * data/lalr1.cc (yysyntax_error_): Fix this by checking
+ yytable_ninf_.
+ * data/lalr1.java (yysyntax_error): Likewise.
+ * tests/conflicts.at (%nonassoc and eof): Update expected output
+ and remove FIXME.
+
2009-08-25 Joel E. Denny <jdenny@clemson.edu>
Some code and documentation improvements.
2009-08-25 Joel E. Denny <jdenny@clemson.edu>
Some code and documentation improvements.
Bison now warns when a character literal is not of length one. In
some future release, Bison will report an error instead.
Bison now warns when a character literal is not of length one. In
some future release, Bison will report an error instead.
+** Verbose error messages fixed for nonassociative tokens.
+
+ When %error-verbose is specified, syntax error messages produced by
+ the generated parser include the unexpected token as well as a list of
+ expected tokens. Previously, this list erroneously included tokens
+ that would actually induce a syntax error because conflicts for them
+ were resolved with %nonassoc. Such tokens are now properly omitted
+ from the list.
+
* Changes in version 2.4.2 (????-??-??):
** Detection of GNU M4 1.4.6 or newer during configure is improved.
* Changes in version 2.4.2 (????-??-??):
** Detection of GNU M4 1.4.6 or newer during configure is improved.
yyfmt = yystpcpy (yyformat, yyunexpected);
for (yyx = yyxbegin; yyx < yyxend; ++yyx)
yyfmt = yystpcpy (yyformat, yyunexpected);
for (yyx = yyxbegin; yyx < yyxend; ++yyx)
- if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
+ if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR
+ && !yyis_table_ninf (yytable[yyx + yyn]))
{
if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
{
{
if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
{
int yyxend = yychecklim < yyntokens_ ? yychecklim : yyntokens_;
int count = 0;
for (int x = yyxbegin; x < yyxend; ++x)
int yyxend = yychecklim < yyntokens_ ? yychecklim : yyntokens_;
int count = 0;
for (int x = yyxbegin; x < yyxend; ++x)
- if (yycheck_[x + yyn] == x && x != yyterror_)
+ if (yycheck_[x + yyn] == x && x != yyterror_
+ && yytable_[x + yyn] != yytable_ninf_)
++count;
// FIXME: This method of building the message is not compatible
++count;
// FIXME: This method of building the message is not compatible
{
count = 0;
for (int x = yyxbegin; x < yyxend; ++x)
{
count = 0;
for (int x = yyxbegin; x < yyxend; ++x)
- if (yycheck_[x + yyn] == x && x != yyterror_)
+ if (yycheck_[x + yyn] == x && x != yyterror_
+ && yytable_[x + yyn] != yytable_ninf_)
{
res += (!count++) ? ", expecting " : " or ";
res += yytnamerr_ (yytname_[x]);
{
res += (!count++) ? ", expecting " : " or ";
res += yytnamerr_ (yytname_[x]);
int yyxend = yychecklim < yyntokens_ ? yychecklim : yyntokens_;
int count = 0;
for (int x = yyxbegin; x < yyxend; ++x)
int yyxend = yychecklim < yyntokens_ ? yychecklim : yyntokens_;
int count = 0;
for (int x = yyxbegin; x < yyxend; ++x)
- if (yycheck_[x + yyn] == x && x != yyterror_)
+ if (yycheck_[x + yyn] == x && x != yyterror_
+ && yycheck_[x + yyn] != yytable_ninf_)
++count;
// FIXME: This method of building the message is not compatible
++count;
// FIXME: This method of building the message is not compatible
{
count = 0;
for (int x = yyxbegin; x < yyxend; ++x)
{
count = 0;
for (int x = yyxbegin; x < yyxend; ++x)
- if (yycheck_[x + yyn] == x && x != yyterror_)
+ if (yycheck_[x + yyn] == x && x != yyterror_
+ && yycheck_[x + yyn] != yytable_ninf_)
{
res.append (count++ == 0 ? ", expecting " : " or ");
res.append (yytnamerr_ (yytname_[x]));
{
res.append (count++ == 0 ? ", expecting " : " or ");
res.append (yytnamerr_ (yytname_[x]));
yyfmt = yystpcpy (yyformat, yyunexpected);
for (yyx = yyxbegin; yyx < yyxend; ++yyx)
yyfmt = yystpcpy (yyformat, yyunexpected);
for (yyx = yyxbegin; yyx < yyxend; ++yyx)
- if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
+ if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR
+ && !yyis_table_ninf (yytable[yyx + yyn]))
{
if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
{
{
if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
{
-#define yyis_pact_ninf(yystate) \
- ((yystate) == (-60))
-
/* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
positive, shift that token. If negative, reduce the rule which
number is the opposite. If zero, do what YYDEFACT says.
/* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
positive, shift that token. If negative, reduce the rule which
number is the opposite. If zero, do what YYDEFACT says.
44, 39, 129, 40, 41, 95, 104, 114, 141, 42
};
44, 39, 129, 40, 41, 95, 104, 114, 141, 42
};
+#define yyis_pact_ninf(yystate) \
+ ((yystate) == (-60))
+
+#define yyis_table_ninf(yytable_value) \
+ YYID (0)
+
static const yytype_uint8 yycheck[] =
{
35, 0, 1, 3, 0, 3, 5, 6, 7, 8,
static const yytype_uint8 yycheck[] =
{
35, 0, 1, 3, 0, 3, 5, 6, 7, 8,
2, 49, 119, 51, 52, 49, 52, 83, 134, 57
};
2, 49, 119, 51, 52, 49, 52, 83, 134, 57
};
-#define yyis_table_ninf(yytable_value) \
- YYID (0)
-
/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
symbol of state STATE-NUM. */
static const yytype_uint8 yystos[] =
/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
symbol of state STATE-NUM. */
static const yytype_uint8 yystos[] =
yyfmt = yystpcpy (yyformat, yyunexpected);
for (yyx = yyxbegin; yyx < yyxend; ++yyx)
yyfmt = yystpcpy (yyformat, yyunexpected);
for (yyx = yyxbegin; yyx < yyxend; ++yyx)
- if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
+ if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR
+ && !yyis_table_ninf (yytable[yyx + yyn]))
{
if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
{
{
if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
{
/* User initialization code. */
/* User initialization code. */
-/* Line 1250 of yacc.c */
+/* Line 1251 of yacc.c */
#line 86 "parse-gram.y"
{
/* Bison's grammar can initial empty locations, hence a default
#line 86 "parse-gram.y"
{
/* Bison's grammar can initial empty locations, hence a default
boundary_set (&yylloc.end, current_file, 1, 1);
}
boundary_set (&yylloc.end, current_file, 1, 1);
}
-/* Line 1250 of yacc.c */
-#line 1714 "parse-gram.c"
+/* Line 1251 of yacc.c */
+#line 1715 "parse-gram.c"
yylsp[0] = yylloc;
goto yysetstate;
yylsp[0] = yylloc;
goto yysetstate;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 223 "parse-gram.y"
{
code_props plain_code;
#line 223 "parse-gram.y"
{
code_props plain_code;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 232 "parse-gram.y"
{ debug_flag = true; }
break;
case 8:
#line 232 "parse-gram.y"
{ debug_flag = true; }
break;
case 8:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 234 "parse-gram.y"
{
muscle_percent_define_insert ((yyvsp[(2) - (3)].uniqstr), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].chars),
#line 234 "parse-gram.y"
{
muscle_percent_define_insert ((yyvsp[(2) - (3)].uniqstr), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].chars),
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 238 "parse-gram.y"
{ defines_flag = true; }
break;
case 10:
#line 238 "parse-gram.y"
{ defines_flag = true; }
break;
case 10:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 240 "parse-gram.y"
{
defines_flag = true;
#line 240 "parse-gram.y"
{
defines_flag = true;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 244 "parse-gram.y"
{ error_verbose = true; }
break;
case 12:
#line 244 "parse-gram.y"
{ error_verbose = true; }
break;
case 12:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 245 "parse-gram.y"
{ expected_sr_conflicts = (yyvsp[(2) - (2)].integer); }
break;
case 13:
#line 245 "parse-gram.y"
{ expected_sr_conflicts = (yyvsp[(2) - (2)].integer); }
break;
case 13:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 246 "parse-gram.y"
{ expected_rr_conflicts = (yyvsp[(2) - (2)].integer); }
break;
case 14:
#line 246 "parse-gram.y"
{ expected_rr_conflicts = (yyvsp[(2) - (2)].integer); }
break;
case 14:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 247 "parse-gram.y"
{ spec_file_prefix = (yyvsp[(2) - (2)].chars); }
break;
case 15:
#line 247 "parse-gram.y"
{ spec_file_prefix = (yyvsp[(2) - (2)].chars); }
break;
case 15:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 248 "parse-gram.y"
{ spec_file_prefix = (yyvsp[(3) - (3)].chars); }
break;
case 16:
#line 248 "parse-gram.y"
{ spec_file_prefix = (yyvsp[(3) - (3)].chars); }
break;
case 16:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 250 "parse-gram.y"
{
nondeterministic_parser = true;
#line 250 "parse-gram.y"
{
nondeterministic_parser = true;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 255 "parse-gram.y"
{
code_props action;
#line 255 "parse-gram.y"
{
code_props action;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 263 "parse-gram.y"
{ language_argmatch ((yyvsp[(2) - (2)].chars), grammar_prio, (yylsp[(1) - (2)])); }
break;
case 19:
#line 263 "parse-gram.y"
{ language_argmatch ((yyvsp[(2) - (2)].chars), grammar_prio, (yylsp[(1) - (2)])); }
break;
case 19:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 264 "parse-gram.y"
{ add_param ("lex_param", (yyvsp[(2) - (2)].code), (yylsp[(2) - (2)])); }
break;
case 20:
#line 264 "parse-gram.y"
{ add_param ("lex_param", (yyvsp[(2) - (2)].code), (yylsp[(2) - (2)])); }
break;
case 20:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 265 "parse-gram.y"
{ locations_flag = true; }
break;
case 21:
#line 265 "parse-gram.y"
{ locations_flag = true; }
break;
case 21:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 266 "parse-gram.y"
{ spec_name_prefix = (yyvsp[(2) - (2)].chars); }
break;
case 22:
#line 266 "parse-gram.y"
{ spec_name_prefix = (yyvsp[(2) - (2)].chars); }
break;
case 22:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 267 "parse-gram.y"
{ spec_name_prefix = (yyvsp[(3) - (3)].chars); }
break;
case 23:
#line 267 "parse-gram.y"
{ spec_name_prefix = (yyvsp[(3) - (3)].chars); }
break;
case 23:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 268 "parse-gram.y"
{ no_lines_flag = true; }
break;
case 24:
#line 268 "parse-gram.y"
{ no_lines_flag = true; }
break;
case 24:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 269 "parse-gram.y"
{ nondeterministic_parser = true; }
break;
case 25:
#line 269 "parse-gram.y"
{ nondeterministic_parser = true; }
break;
case 25:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 270 "parse-gram.y"
{ spec_outfile = (yyvsp[(2) - (2)].chars); }
break;
case 26:
#line 270 "parse-gram.y"
{ spec_outfile = (yyvsp[(2) - (2)].chars); }
break;
case 26:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 271 "parse-gram.y"
{ spec_outfile = (yyvsp[(3) - (3)].chars); }
break;
case 27:
#line 271 "parse-gram.y"
{ spec_outfile = (yyvsp[(3) - (3)].chars); }
break;
case 27:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 272 "parse-gram.y"
{ add_param ("parse_param", (yyvsp[(2) - (2)].code), (yylsp[(2) - (2)])); }
break;
case 28:
#line 272 "parse-gram.y"
{ add_param ("parse_param", (yyvsp[(2) - (2)].code), (yylsp[(2) - (2)])); }
break;
case 28:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 274 "parse-gram.y"
{
/* %pure-parser is deprecated in favor of `%define api.pure', so use
#line 274 "parse-gram.y"
{
/* %pure-parser is deprecated in favor of `%define api.pure', so use
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 288 "parse-gram.y"
{ version_check (&(yylsp[(2) - (2)]), (yyvsp[(2) - (2)].chars)); }
break;
case 30:
#line 288 "parse-gram.y"
{ version_check (&(yylsp[(2) - (2)]), (yyvsp[(2) - (2)].chars)); }
break;
case 30:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 290 "parse-gram.y"
{
char const *skeleton_user = (yyvsp[(2) - (2)].chars);
#line 290 "parse-gram.y"
{
char const *skeleton_user = (yyvsp[(2) - (2)].chars);
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 313 "parse-gram.y"
{ token_table_flag = true; }
break;
case 32:
#line 313 "parse-gram.y"
{ token_table_flag = true; }
break;
case 32:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 314 "parse-gram.y"
{ report_flag |= report_states; }
break;
case 33:
#line 314 "parse-gram.y"
{ report_flag |= report_states; }
break;
case 33:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 315 "parse-gram.y"
{ yacc_flag = true; }
break;
case 37:
#line 315 "parse-gram.y"
{ yacc_flag = true; }
break;
case 37:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 323 "parse-gram.y"
{
grammar_start_symbol_set ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)]));
#line 323 "parse-gram.y"
{
grammar_start_symbol_set ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)]));
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 327 "parse-gram.y"
{
symbol_list *list;
#line 327 "parse-gram.y"
{
symbol_list *list;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 334 "parse-gram.y"
{
symbol_list *list;
#line 334 "parse-gram.y"
{
symbol_list *list;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 341 "parse-gram.y"
{
default_prec = true;
#line 341 "parse-gram.y"
{
default_prec = true;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 345 "parse-gram.y"
{
default_prec = false;
#line 345 "parse-gram.y"
{
default_prec = false;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 349 "parse-gram.y"
{
/* Do not invoke muscle_percent_code_grow here since it invokes
#line 349 "parse-gram.y"
{
/* Do not invoke muscle_percent_code_grow here since it invokes
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 356 "parse-gram.y"
{
muscle_percent_code_grow ((yyvsp[(2) - (3)].uniqstr), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].chars), (yylsp[(3) - (3)]));
#line 356 "parse-gram.y"
{
muscle_percent_code_grow ((yyvsp[(2) - (3)].uniqstr), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].chars), (yylsp[(3) - (3)]));
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 370 "parse-gram.y"
{}
break;
case 45:
#line 370 "parse-gram.y"
{}
break;
case 45:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 371 "parse-gram.y"
{ muscle_code_grow ("union_name", (yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 46:
#line 371 "parse-gram.y"
{ muscle_code_grow ("union_name", (yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 46:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 376 "parse-gram.y"
{
union_seen = true;
#line 376 "parse-gram.y"
{
union_seen = true;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 387 "parse-gram.y"
{ current_class = nterm_sym; }
break;
case 48:
#line 387 "parse-gram.y"
{ current_class = nterm_sym; }
break;
case 48:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 388 "parse-gram.y"
{
current_class = unknown_sym;
#line 388 "parse-gram.y"
{
current_class = unknown_sym;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 392 "parse-gram.y"
{ current_class = token_sym; }
break;
case 50:
#line 392 "parse-gram.y"
{ current_class = token_sym; }
break;
case 50:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 393 "parse-gram.y"
{
current_class = unknown_sym;
#line 393 "parse-gram.y"
{
current_class = unknown_sym;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 398 "parse-gram.y"
{
symbol_list *list;
#line 398 "parse-gram.y"
{
symbol_list *list;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 409 "parse-gram.y"
{
symbol_list *list;
#line 409 "parse-gram.y"
{
symbol_list *list;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 423 "parse-gram.y"
{ (yyval.assoc) = left_assoc; }
break;
case 54:
#line 423 "parse-gram.y"
{ (yyval.assoc) = left_assoc; }
break;
case 54:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 424 "parse-gram.y"
{ (yyval.assoc) = right_assoc; }
break;
case 55:
#line 424 "parse-gram.y"
{ (yyval.assoc) = right_assoc; }
break;
case 55:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 425 "parse-gram.y"
{ (yyval.assoc) = non_assoc; }
break;
case 56:
#line 425 "parse-gram.y"
{ (yyval.assoc) = non_assoc; }
break;
case 56:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 429 "parse-gram.y"
{ current_type = NULL; }
break;
case 57:
#line 429 "parse-gram.y"
{ current_type = NULL; }
break;
case 57:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 430 "parse-gram.y"
{ current_type = (yyvsp[(1) - (1)].uniqstr); tag_seen = true; }
break;
case 58:
#line 430 "parse-gram.y"
{ current_type = (yyvsp[(1) - (1)].uniqstr); tag_seen = true; }
break;
case 58:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 436 "parse-gram.y"
{ (yyval.list) = symbol_list_sym_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); }
break;
case 59:
#line 436 "parse-gram.y"
{ (yyval.list) = symbol_list_sym_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); }
break;
case 59:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 438 "parse-gram.y"
{ (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), symbol_list_sym_new ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)]))); }
break;
case 60:
#line 438 "parse-gram.y"
{ (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), symbol_list_sym_new ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)]))); }
break;
case 60:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 442 "parse-gram.y"
{ (yyval.symbol) = (yyvsp[(1) - (1)].symbol); }
break;
case 61:
#line 442 "parse-gram.y"
{ (yyval.symbol) = (yyvsp[(1) - (1)].symbol); }
break;
case 61:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 443 "parse-gram.y"
{ (yyval.symbol) = (yyvsp[(1) - (2)].symbol); symbol_user_token_number_set ((yyvsp[(1) - (2)].symbol), (yyvsp[(2) - (2)].integer), (yylsp[(2) - (2)])); }
break;
case 62:
#line 443 "parse-gram.y"
{ (yyval.symbol) = (yyvsp[(1) - (2)].symbol); symbol_user_token_number_set ((yyvsp[(1) - (2)].symbol), (yyvsp[(2) - (2)].integer), (yylsp[(2) - (2)])); }
break;
case 62:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 449 "parse-gram.y"
{ (yyval.list) = symbol_list_sym_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); }
break;
case 63:
#line 449 "parse-gram.y"
{ (yyval.list) = symbol_list_sym_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); }
break;
case 63:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 451 "parse-gram.y"
{ (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), symbol_list_sym_new ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)]))); }
break;
case 64:
#line 451 "parse-gram.y"
{ (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), symbol_list_sym_new ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)]))); }
break;
case 64:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 455 "parse-gram.y"
{ (yyval.list) = (yyvsp[(1) - (1)].list); }
break;
case 65:
#line 455 "parse-gram.y"
{ (yyval.list) = (yyvsp[(1) - (1)].list); }
break;
case 65:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 456 "parse-gram.y"
{ (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), (yyvsp[(2) - (2)].list)); }
break;
case 66:
#line 456 "parse-gram.y"
{ (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), (yyvsp[(2) - (2)].list)); }
break;
case 66:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 460 "parse-gram.y"
{ (yyval.list) = symbol_list_sym_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); }
break;
case 67:
#line 460 "parse-gram.y"
{ (yyval.list) = symbol_list_sym_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); }
break;
case 67:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 461 "parse-gram.y"
{ (yyval.list) = symbol_list_type_new ((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 68:
#line 461 "parse-gram.y"
{ (yyval.list) = symbol_list_type_new ((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 68:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 462 "parse-gram.y"
{ (yyval.list) = symbol_list_default_tagged_new ((yylsp[(1) - (1)])); }
break;
case 69:
#line 462 "parse-gram.y"
{ (yyval.list) = symbol_list_default_tagged_new ((yylsp[(1) - (1)])); }
break;
case 69:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 463 "parse-gram.y"
{ (yyval.list) = symbol_list_default_tagless_new ((yylsp[(1) - (1)])); }
break;
case 70:
#line 463 "parse-gram.y"
{ (yyval.list) = symbol_list_default_tagless_new ((yylsp[(1) - (1)])); }
break;
case 70:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 469 "parse-gram.y"
{
current_type = (yyvsp[(1) - (1)].uniqstr);
#line 469 "parse-gram.y"
{
current_type = (yyvsp[(1) - (1)].uniqstr);
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 474 "parse-gram.y"
{
symbol_class_set ((yyvsp[(1) - (1)].symbol), current_class, (yylsp[(1) - (1)]), true);
#line 474 "parse-gram.y"
{
symbol_class_set ((yyvsp[(1) - (1)].symbol), current_class, (yylsp[(1) - (1)]), true);
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 479 "parse-gram.y"
{
symbol_class_set ((yyvsp[(1) - (2)].symbol), current_class, (yylsp[(1) - (2)]), true);
#line 479 "parse-gram.y"
{
symbol_class_set ((yyvsp[(1) - (2)].symbol), current_class, (yylsp[(1) - (2)]), true);
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 485 "parse-gram.y"
{
symbol_class_set ((yyvsp[(1) - (2)].symbol), current_class, (yylsp[(1) - (2)]), true);
#line 485 "parse-gram.y"
{
symbol_class_set ((yyvsp[(1) - (2)].symbol), current_class, (yylsp[(1) - (2)]), true);
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 491 "parse-gram.y"
{
symbol_class_set ((yyvsp[(1) - (3)].symbol), current_class, (yylsp[(1) - (3)]), true);
#line 491 "parse-gram.y"
{
symbol_class_set ((yyvsp[(1) - (3)].symbol), current_class, (yylsp[(1) - (3)]), true);
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 521 "parse-gram.y"
{
yyerrok;
#line 521 "parse-gram.y"
{
yyerrok;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 527 "parse-gram.y"
{ current_lhs = (yyvsp[(1) - (2)].symbol); current_lhs_location = (yylsp[(1) - (2)]);
current_lhs_named_ref = (yyvsp[(2) - (2)].named_ref); }
#line 527 "parse-gram.y"
{ current_lhs = (yyvsp[(1) - (2)].symbol); current_lhs_location = (yylsp[(1) - (2)]);
current_lhs_named_ref = (yyvsp[(2) - (2)].named_ref); }
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 532 "parse-gram.y"
{ grammar_current_rule_end ((yylsp[(1) - (1)])); }
break;
case 85:
#line 532 "parse-gram.y"
{ grammar_current_rule_end ((yylsp[(1) - (1)])); }
break;
case 85:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 533 "parse-gram.y"
{ grammar_current_rule_end ((yylsp[(3) - (3)])); }
break;
case 87:
#line 533 "parse-gram.y"
{ grammar_current_rule_end ((yylsp[(3) - (3)])); }
break;
case 87:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 539 "parse-gram.y"
{ grammar_current_rule_begin (current_lhs, current_lhs_location,
current_lhs_named_ref); }
#line 539 "parse-gram.y"
{ grammar_current_rule_begin (current_lhs, current_lhs_location,
current_lhs_named_ref); }
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 542 "parse-gram.y"
{ grammar_current_rule_symbol_append ((yyvsp[(2) - (3)].symbol), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].named_ref)); }
break;
case 89:
#line 542 "parse-gram.y"
{ grammar_current_rule_symbol_append ((yyvsp[(2) - (3)].symbol), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].named_ref)); }
break;
case 89:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 544 "parse-gram.y"
{ grammar_current_rule_action_append ((yyvsp[(2) - (3)].code), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].named_ref)); }
break;
case 90:
#line 544 "parse-gram.y"
{ grammar_current_rule_action_append ((yyvsp[(2) - (3)].code), (yylsp[(2) - (3)]), (yyvsp[(3) - (3)].named_ref)); }
break;
case 90:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 546 "parse-gram.y"
{ grammar_current_rule_prec_set ((yyvsp[(3) - (3)].symbol), (yylsp[(3) - (3)])); }
break;
case 91:
#line 546 "parse-gram.y"
{ grammar_current_rule_prec_set ((yyvsp[(3) - (3)].symbol), (yylsp[(3) - (3)])); }
break;
case 91:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 548 "parse-gram.y"
{ grammar_current_rule_dprec_set ((yyvsp[(3) - (3)].integer), (yylsp[(3) - (3)])); }
break;
case 92:
#line 548 "parse-gram.y"
{ grammar_current_rule_dprec_set ((yyvsp[(3) - (3)].integer), (yylsp[(3) - (3)])); }
break;
case 92:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 550 "parse-gram.y"
{ grammar_current_rule_merge_set ((yyvsp[(3) - (3)].uniqstr), (yylsp[(3) - (3)])); }
break;
case 93:
#line 550 "parse-gram.y"
{ grammar_current_rule_merge_set ((yyvsp[(3) - (3)].uniqstr), (yylsp[(3) - (3)])); }
break;
case 93:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 554 "parse-gram.y"
{ (yyval.named_ref) = 0; }
break;
case 94:
#line 554 "parse-gram.y"
{ (yyval.named_ref) = 0; }
break;
case 94:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 556 "parse-gram.y"
{ (yyval.named_ref) = named_ref_new((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 96:
#line 556 "parse-gram.y"
{ (yyval.named_ref) = named_ref_new((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 96:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 568 "parse-gram.y"
{ (yyval.uniqstr) = uniqstr_new ((yyvsp[(1) - (1)].chars)); }
break;
case 97:
#line 568 "parse-gram.y"
{ (yyval.uniqstr) = uniqstr_new ((yyvsp[(1) - (1)].chars)); }
break;
case 97:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 573 "parse-gram.y"
{ (yyval.chars) = ""; }
break;
case 99:
#line 573 "parse-gram.y"
{ (yyval.chars) = ""; }
break;
case 99:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 584 "parse-gram.y"
{
code_props plain_code;
#line 584 "parse-gram.y"
{
code_props plain_code;
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 604 "parse-gram.y"
{ (yyval.symbol) = symbol_from_uniqstr ((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 101:
#line 604 "parse-gram.y"
{ (yyval.symbol) = symbol_from_uniqstr ((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 101:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 606 "parse-gram.y"
{
(yyval.symbol) = symbol_get (char_name ((yyvsp[(1) - (1)].character)), (yylsp[(1) - (1)]));
#line 606 "parse-gram.y"
{
(yyval.symbol) = symbol_get (char_name ((yyvsp[(1) - (1)].character)), (yylsp[(1) - (1)]));
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 614 "parse-gram.y"
{ (yyval.symbol) = symbol_from_uniqstr ((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 105:
#line 614 "parse-gram.y"
{ (yyval.symbol) = symbol_from_uniqstr ((yyvsp[(1) - (1)].uniqstr), (yylsp[(1) - (1)])); }
break;
case 105:
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 626 "parse-gram.y"
{
(yyval.symbol) = symbol_get (quotearg_style (c_quoting_style, (yyvsp[(1) - (1)].chars)), (yylsp[(1) - (1)]));
#line 626 "parse-gram.y"
{
(yyval.symbol) = symbol_get (quotearg_style (c_quoting_style, (yyvsp[(1) - (1)].chars)), (yylsp[(1) - (1)]));
-/* Line 1463 of yacc.c */
+/* Line 1464 of yacc.c */
#line 635 "parse-gram.y"
{
code_props plain_code;
#line 635 "parse-gram.y"
{
code_props plain_code;
-/* Line 1463 of yacc.c */
-#line 2657 "parse-gram.c"
+/* Line 1464 of yacc.c */
+#line 2658 "parse-gram.c"
default: break;
}
YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
default: break;
}
YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
-/* Line 1683 of yacc.c */
+/* Line 1684 of yacc.c */
-/* Line 1684 of yacc.c */
+/* Line 1685 of yacc.c */
#line 94 "parse-gram.y"
symbol *symbol;
#line 94 "parse-gram.y"
symbol *symbol;
-/* Line 1684 of yacc.c */
+/* Line 1685 of yacc.c */
#line 181 "parse-gram.h"
} YYSTYPE;
# define YYSTYPE_IS_TRIVIAL 1
#line 181 "parse-gram.h"
} YYSTYPE;
# define YYSTYPE_IS_TRIVIAL 1
AT_COMPILE([input])
AT_PARSER_CHECK([./input '0<0'])
AT_COMPILE([input])
AT_PARSER_CHECK([./input '0<0'])
-# FIXME: This is an actual bug, but a new one, in the sense that
-# no one has ever spotted it! The messages are *wrong*: there should
-# be nothing there, it should be expected eof.
AT_PARSER_CHECK([./input '0<0<0'], [1], [],
AT_PARSER_CHECK([./input '0<0<0'], [1], [],
- [syntax error, unexpected '<', expecting '<' or '>'
+ [syntax error, unexpected '<'
])
AT_PARSER_CHECK([./input '0>0'])
AT_PARSER_CHECK([./input '0>0>0'], [1], [],
])
AT_PARSER_CHECK([./input '0>0'])
AT_PARSER_CHECK([./input '0>0>0'], [1], [],
- [syntax error, unexpected '>', expecting '<' or '>'
+ [syntax error, unexpected '>'
])
AT_PARSER_CHECK([./input '0<0>0'], [1], [],
])
AT_PARSER_CHECK([./input '0<0>0'], [1], [],
- [syntax error, unexpected '>', expecting '<' or '>'
+ [syntax error, unexpected '>'