diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-14 16:37:43 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-14 16:37:43 -0400 |
| commit | 98c7a9c7a897d8a5f7a483aa15bf211c9769dad4 (patch) | |
| tree | 106aa4e31f132174d78e175a25e5e3851a24c049 /src/urweb.lex | |
| parent | cf62ed3325e024601d3d04d638b6a0aa383310ae (diff) | |
Syntax highlighting for embedded XML
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 |