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]))+;