Mercurial > urweb
comparison src/urweb.lex @ 2154:9ea29c93246d
Allow apostrophes in capitalized identifiers
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 11 Jun 2015 19:06:32 -0400 |
parents | 763ccca119bc |
children | 2b1af5dc6dee |
comparison
equal
deleted
inserted
replaced
2153:39bd1d4007a9 | 2154:9ea29c93246d |
---|---|
176 %full | 176 %full |
177 %s COMMENT STRING CHAR XML XMLTAG; | 177 %s COMMENT STRING CHAR XML XMLTAG; |
178 | 178 |
179 id = [a-z_][A-Za-z0-9_']*; | 179 id = [a-z_][A-Za-z0-9_']*; |
180 xmlid = [A-Za-z][A-Za-z0-9_-]*; | 180 xmlid = [A-Za-z][A-Za-z0-9_-]*; |
181 cid = [A-Z][A-Za-z0-9_]*; | 181 cid = [A-Z][A-Za-z0-9_']*; |
182 ws = [\ \t\012\r]; | 182 ws = [\ \t\012\r]; |
183 intconst = [0-9]+; | 183 intconst = [0-9]+; |
184 realconst = [0-9]+\.[0-9]*; | 184 realconst = [0-9]+\.[0-9]*; |
185 hexconst = 0x[0-9A-F]+; | 185 hexconst = 0x[0-9A-F]+; |
186 notags = ([^<{\n(]|(\([^\*<{\n]))+; | 186 notags = ([^<{\n(]|(\([^\*<{\n]))+; |