summaryrefslogtreecommitdiff
path: root/src/lacweb.lex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-24 10:09:21 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-24 10:09:21 -0400
commit9e860c86c7d9c763deb9d51490a6766d9c72ed25 (patch)
tree7ba7c7cada5e7afa00c3e46879eb9974849286cf /src/lacweb.lex
parentf19ae3bb20fa0c60e737606949b2bec6e3ae04f9 (diff)
Record cut
Diffstat (limited to 'src/lacweb.lex')
-rw-r--r--src/lacweb.lex1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lacweb.lex b/src/lacweb.lex
index f6aeedf3..4412d9e4 100644
--- a/src/lacweb.lex
+++ b/src/lacweb.lex
@@ -235,6 +235,7 @@ notags = [^<{\n]+;
<INITIAL> "->" => (Tokens.ARROW (pos yypos, pos yypos + size yytext));
<INITIAL> "=>" => (Tokens.DARROW (pos yypos, pos yypos + size yytext));
<INITIAL> "++" => (Tokens.PLUSPLUS (pos yypos, pos yypos + size yytext));
+<INITIAL> "--" => (Tokens.MINUSMINUS (pos yypos, pos yypos + size yytext));
<INITIAL> "=" => (Tokens.EQ (pos yypos, pos yypos + size yytext));
<INITIAL> "," => (Tokens.COMMA (pos yypos, pos yypos + size yytext));