[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
parser: minor refactoring
From: |
Akim Demaille |
Subject: |
parser: minor refactoring |
Date: |
Sun, 9 Dec 2018 08:57:15 +0100 |
commit 886947c9c7d5f248860969b3e84b738602816c85
Author: Akim Demaille <address@hidden>
Date: Sun Dec 9 08:46:59 2018 +0100
parser: minor refactoring
* src/parse-gram.y (symbol.prec): Reuse int.opt.
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
- {
- $$ = $1;
- symbol_class_set ($1, token_sym, @1, false);
- }
-| symbol INT
+ symbol[id] int.opt[num]
{
- $$ = $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);
}
;
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- parser: minor refactoring,
Akim Demaille <=