comparison src/urweb.lex @ 2081:d4ed20beb93b

Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)
author Adam Chlipala <adam@chlipala.net>
date Tue, 25 Nov 2014 08:21:09 -0500
parents 6d126af2e1cb
children 8cf40452c900 4d967a4ddb82
comparison
equal deleted inserted replaced
2080:f05fcb206571 2081:d4ed20beb93b
175 %header (functor UrwebLexFn(structure Tokens : Urweb_TOKENS)); 175 %header (functor UrwebLexFn(structure Tokens : Urweb_TOKENS));
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 notags = ([^<{\n(]|(\([^\*<{\n]))+; 185 notags = ([^<{\n(]|(\([^\*<{\n]))+;