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));