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