Some warning message refinements
This commit is contained in:
parent
5fdc971f36
commit
16d700b310
@ -1699,8 +1699,9 @@ class Parser(metaclass=ParserMeta):
|
|||||||
fail = True
|
fail = True
|
||||||
|
|
||||||
unused_terminals = grammar.unused_terminals()
|
unused_terminals = grammar.unused_terminals()
|
||||||
for term in unused_terminals:
|
if unused_terminals:
|
||||||
cls.log.warning('Token %r defined, but not used', term)
|
unused_str = '{' + ','.join(unused_terminals) + '}'
|
||||||
|
cls.log.warning(f'Token{"(s)" if len(unused_terminals) >1 else ""} {unused_str} defined, but not used')
|
||||||
|
|
||||||
unused_rules = grammar.unused_rules()
|
unused_rules = grammar.unused_rules()
|
||||||
for prod in unused_rules:
|
for prod in unused_rules:
|
||||||
|
Loading…
Reference in New Issue
Block a user