From 17730b0287daa3a3e94521e0a942493762e7c4c3 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sun, 9 Dec 2018 08:46:59 +0100 Subject: [PATCH] parser: minor refactoring * src/parse-gram.y (symbol.prec): Reuse int.opt. --- src/parse-gram.y | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) diff --git a/src/parse-gram.y b/src/parse-gram.y index e9aee7dd..bc8f22d7 100644 --- a/src/parse-gram.y +++ b/src/parse-gram.y @@ -458,16 +458,12 @@ symbols.prec: ; symbol.prec: - symbol + symbol[id] int.opt[num] { - $$ = $1; - symbol_class_set ($1, token_sym, @1, false); - } -| symbol INT - { - $$ = $1; - symbol_class_set ($1, token_sym, @1, false); - symbol_user_token_number_set ($1, $2, @2); + $$ = $id; + symbol_class_set ($id, token_sym, @id, false); + if (0 <= $num) + symbol_user_token_number_set ($id, $num, @num); } ;