diff src/urweb.lex @ 403:8084fa9216de

New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents acaf9d19fbb7
children c5335613f31e
line wrap: on
line diff
--- a/src/urweb.lex	Tue Oct 21 15:11:42 2008 -0400
+++ b/src/urweb.lex	Tue Oct 21 16:41:11 2008 -0400
@@ -278,6 +278,7 @@
 <INITIAL> "-"         => (Tokens.MINUS (pos yypos, pos yypos + size yytext));
 <INITIAL> "/"         => (Tokens.DIVIDE (yypos, yypos + size yytext));
 <INITIAL> "%"         => (Tokens.MOD (pos yypos, pos yypos + size yytext));
+<INITIAL> "@"         => (Tokens.AT (pos yypos, pos yypos + size yytext));
 
 <INITIAL> "con"       => (Tokens.CON (pos yypos, pos yypos + size yytext));
 <INITIAL> "type"      => (Tokens.LTYPE (pos yypos, pos yypos + size yytext));