From: whitequark <whitequark@whitequark.org>
Date: Wed, 25 Nov 2020 16:47:20 +0000 (+0000)
Subject: rtlil: remove dotted identifiers.
X-Git-Tag: working-ls180~187^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=015b476e56b6bc05acdf9055284e633c1cce2491;p=yosys.git

rtlil: remove dotted identifiers.

No one knows where they came from and they never did anything useful.
---

diff --git a/frontends/rtlil/rtlil_lexer.l b/frontends/rtlil/rtlil_lexer.l
index 295455f53..beef220f6 100644
--- a/frontends/rtlil/rtlil_lexer.l
+++ b/frontends/rtlil/rtlil_lexer.l
@@ -86,7 +86,6 @@ USING_YOSYS_NAMESPACE
 
 "\\"[^ \t\r\n]+		{ rtlil_frontend_yylval.string = strdup(yytext); return TOK_ID; }
 "$"[^ \t\r\n]+		{ rtlil_frontend_yylval.string = strdup(yytext); return TOK_ID; }
-"."[0-9]+		{ rtlil_frontend_yylval.string = strdup(yytext); return TOK_ID; }
 
 [0-9]+'[01xzm-]*	{ rtlil_frontend_yylval.string = strdup(yytext); return TOK_VALUE; }
 -?[0-9]+		{