comparison src/urweb.lex @ 1299:3c334458c84f

Fix typing of cut operators; fix lexing of XML comments
author Adam Chlipala <adam@chlipala.net>
date Thu, 16 Sep 2010 15:34:50 -0400
parents 514be09d5018
children d008c4c43a0a
comparison
equal deleted inserted replaced
1298:e665527fce1c 1299:3c334458c84f
170 id = [a-z_][A-Za-z0-9_']*; 170 id = [a-z_][A-Za-z0-9_']*;
171 cid = [A-Z][A-Za-z0-9_]*; 171 cid = [A-Z][A-Za-z0-9_]*;
172 ws = [\ \t\012]; 172 ws = [\ \t\012];
173 intconst = [0-9]+; 173 intconst = [0-9]+;
174 realconst = [0-9]+\.[0-9]*; 174 realconst = [0-9]+\.[0-9]*;
175 notags = [^<{\n(]+; 175 notags = ([^<{\n(]|(\([^\*]))+;
176 xcom = ([^\-]|(-[^\-]))+; 176 xcom = ([^\-]|(-[^\-]))+;
177 oint = [0-9][0-9][0-9]; 177 oint = [0-9][0-9][0-9];
178 xint = x[0-9a-fA-F][0-9a-fA-F]; 178 xint = x[0-9a-fA-F][0-9a-fA-F];
179 179
180 %% 180 %%