diff --git a/src/reader.c b/src/reader.c index 2c7fecae..49bf2d1f 100644 --- a/src/reader.c +++ b/src/reader.c @@ -351,6 +351,11 @@ grammar_rule_check (const symbol_list *r) && !r->ruleprec->content->prec) complain (&r->location, Wother, _("token for %%prec is not defined: %s"), r->ruleprec->tag); + + /* Check that the (main) action was not typed. */ + if (r->action_props.type) + complain (&r->location, Wother, + _("only midrule actions can be typed: %s"), r->action_props.type); } diff --git a/tests/input.at b/tests/input.at index 44be3942..527c0398 100644 --- a/tests/input.at +++ b/tests/input.at @@ -2193,7 +2193,7 @@ input.y:13.11-21: previous definition AT_CLEANUP -##--------------------------- ## +## -------------------------- ## ## Non-deprecated directives. ## ## -------------------------- ## @@ -2224,3 +2224,23 @@ AT_BISON_CHECK([[input.y]], [[0]], [[]], ]]) AT_CLEANUP + + +## -------------------- ## +## Cannot type action. ## +## -------------------- ## + +AT_SETUP([[Cannot type action]]) + +AT_DATA_GRAMMAR([[input.y]], +[[%% +exp: {} +]]) + +AT_BISON_CHECK([[-fcaret input.y]], [[0]], [[]], +[[input.y:10.6-13: warning: only midrule actions can be typed: int [-Wother] + exp: {} + ^^^^^^^^ +]]) + +AT_CLEANUP