comparison src/urweb.lex @ 1432:7d024767b024

Cope with DOS-format line breaks in source code
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Mar 2011 19:26:35 -0500
parents 1595a738e4e9
children 5530a8075b62
comparison
equal deleted inserted replaced
1431:4a6f84092399 1432:7d024767b024
167 %full 167 %full
168 %s COMMENT STRING CHAR XML XMLTAG; 168 %s COMMENT STRING CHAR XML XMLTAG;
169 169
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\r];
173 intconst = [0-9]+; 173 intconst = [0-9]+;
174 realconst = [0-9]+\.[0-9]*; 174 realconst = [0-9]+\.[0-9]*;
175 notags = ([^<{\n(]|(\([^\*<{\n]))+; 175 notags = ([^<{\n(]|(\([^\*<{\n]))+;
176 xcom = ([^\-]|(-[^\-]))+; 176 xcom = ([^\-]|(-[^\-]))+;
177 oint = [0-9][0-9][0-9]; 177 oint = [0-9][0-9][0-9];