diff options
Diffstat (limited to 'src/urweb.lex')
-rw-r--r-- | src/urweb.lex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/urweb.lex b/src/urweb.lex index 6f6bb63f..cd6cf66a 100644 --- a/src/urweb.lex +++ b/src/urweb.lex @@ -162,6 +162,11 @@ notags = [^<{\n]+; 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 |