projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5b35d95)
rtlil: remove dotted identifiers.
authorwhitequark <whitequark@whitequark.org>
Wed, 25 Nov 2020 16:47:20 +0000 (16:47 +0000)
committerwhitequark <whitequark@whitequark.org>
Wed, 25 Nov 2020 16:47:20 +0000 (16:47 +0000)
No one knows where they came from and they never did anything useful.

frontends/rtlil/rtlil_lexer.l patch | blob | history

diff --git a/frontends/rtlil/rtlil_lexer.l b/frontends/rtlil/rtlil_lexer.l
index 295455f53e660c9141210d0a986308fa75c8c347..beef220f6f0aab84febfae9479cc63abe68cf0da 100644 (file)
--- 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]+               {