From 55a669bc95cb2831f5a4fc084d2aa828863a1f07 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 10 Aug 2010 14:52:33 -0400
Subject: HTML comments

---
 src/urweb.lex | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/urweb.lex')

diff --git a/src/urweb.lex b/src/urweb.lex
index 8a989884..88b7d857 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -173,6 +173,7 @@ ws = [\ \t\012];
 intconst = [0-9]+;
 realconst = [0-9]+\.[0-9]*;
 notags = [^<{\n(]+;
+xcom = ([^-]|(-[^-]))+;
 oint = [0-9][0-9][0-9];
 xint = x[0-9a-fA-F][0-9a-fA-F];
 
@@ -207,6 +208,8 @@ xint = x[0-9a-fA-F][0-9a-fA-F];
 <COMMENT> "*)"        => (exitComment ();
 			  continue ());
 
+<XML> "<!--" {xcom} "-->" => (continue ());
+
 <STRING,CHAR> "\\\""  => (str := #"\"" :: !str; continue());
 <STRING,CHAR> "\\'"   => (str := #"'" :: !str; continue());
 <STRING,CHAR> "\\n"   => (str := #"\n" :: !str; continue());
-- 
cgit v1.2.3