Mercurial > urweb
diff src/lacweb.lex @ 195:85b5f663bb86
Tuples syntactic sugar
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 09 Aug 2008 12:50:49 -0400 |
parents | 3eb53c957d10 |
children | dd82457fda82 |
line wrap: on
line diff
--- a/src/lacweb.lex Sat Aug 09 08:47:36 2008 -0400 +++ b/src/lacweb.lex Sat Aug 09 12:50:49 2008 -0400 @@ -250,6 +250,7 @@ <INITIAL> "_" => (Tokens.UNDER (pos yypos, pos yypos + size yytext)); <INITIAL> "~" => (Tokens.TWIDDLE (pos yypos, pos yypos + size yytext)); <INITIAL> "|" => (Tokens.BAR (pos yypos, pos yypos + size yytext)); +<INITIAL> "*" => (Tokens.STAR (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));