Multiline comments

This commit is contained in:
Erik Ellingsen
2020-02-27 00:02:25 +01:00
parent 737e95c3f9
commit e62027b73c
7 changed files with 12 additions and 5 deletions

View File

@@ -10,7 +10,8 @@
%x dir
%x vertex
%%
\%\%[^\n]*\n* /* do nothing */
\%\%[^\n]*\n* /* skip comments */
\%\%\*((.|\n)*)\*\%\% /* multiline skip comments */
["] this.begin("string");
<string>["] this.popState();
<string>[^"]* return "STR";