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];