diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2019-10-06 10:48:59 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2019-10-06 12:15:12 +0200 |
| commit | 9e6c5328d321da6bc1d7ce0db4e3676d8132a295 (patch) | |
| tree | e0a3c57d08928aa71543a280d730ffd6715683dc /src | |
| parent | fec13ce2db675d18afb887e3c98f347a2b3de31e (diff) | |
| download | bison-9e6c5328d321da6bc1d7ce0db4e3676d8132a295.tar.gz | |
diagnostics: also show suggested %empty
* src/reader.c (grammar_rule_check_and_complete): Suggest to add %empty.
* tests/actions.at, tests/diagnostics.at: Adjust expectations.
Diffstat (limited to 'src')
| -rw-r--r-- | src/reader.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/reader.c b/src/reader.c index 928c8a7a..fb8a19d6 100644 --- a/src/reader.c +++ b/src/reader.c @@ -358,6 +358,8 @@ grammar_rule_check_and_complete (symbol_list *r) && warning_is_enabled (Wempty_rule)) { complain (&r->rhs_loc, Wempty_rule, _("empty rule without %%empty")); + if (feature_flag & feature_caret) + location_caret_suggestion (r->rhs_loc, "%empty", stderr); location loc = r->rhs_loc; loc.end = loc.start; fixits_register (&loc, " %empty "); |