Mercurial > urweb

diff src/urweb.lex @ 360:c1e96b387115

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Syntax highlighting for embedded XML
author Adam Chlipala <adamc@hcoop.net>
date Tue, 14 Oct 2008 16:37:43 -0400
parents 075b36dbb1a4
children acaf9d19fbb7
line wrap: on
line diff
--- a/src/urweb.lex	Mon Oct 13 15:31:02 2008 -0400
+++ b/src/urweb.lex	Tue Oct 14 16:37:43 2008 -0400
@@ -162,6 +162,11 @@
                                    continue ())
                           end);
 
+<INITIAL> "<" {id} "/>"=>(let
+			      val tag = String.substring (yytext, 1, size yytext - 3)
+			  in
+			      Tokens.XML_BEGIN_END (tag, yypos, yypos + size yytext)
+			  end);
 <INITIAL> "<" {id} ">"=> (let
 			      val tag = String.substring (yytext, 1, size yytext - 2)
 			  in