Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/urweb.lex Thu Sep 09 12:42:25 2010 -0400 +++ b/src/urweb.lex Thu Sep 16 15:34:50 2010 -0400 @@ -172,7 +172,7 @@ ws = [\ \t\012]; intconst = [0-9]+; realconst = [0-9]+\.[0-9]*; -notags = [^<{\n(]+; +notags = ([^<{\n(]|(\([^\*]))+; xcom = ([^\-]|(-[^\-]))+; oint = [0-9][0-9][0-9]; xint = x[0-9a-fA-F][0-9a-fA-F];