comparison src/urweb.lex @ 1302:d008c4c43a0a

Flex kinds for type-level tuples; ::_ notation
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 13:07:38 -0400
parents 3c334458c84f
children 3a845f2ce9e9
comparison
equal deleted inserted replaced
1301:4359e185d3af 1302:d008c4c43a0a
370 <INITIAL> ">" => (Tokens.GT (pos yypos, pos yypos + size yytext)); 370 <INITIAL> ">" => (Tokens.GT (pos yypos, pos yypos + size yytext));
371 <INITIAL> "<=" => (Tokens.LE (pos yypos, pos yypos + size yytext)); 371 <INITIAL> "<=" => (Tokens.LE (pos yypos, pos yypos + size yytext));
372 <INITIAL> ">=" => (Tokens.GE (pos yypos, pos yypos + size yytext)); 372 <INITIAL> ">=" => (Tokens.GE (pos yypos, pos yypos + size yytext));
373 <INITIAL> "," => (Tokens.COMMA (pos yypos, pos yypos + size yytext)); 373 <INITIAL> "," => (Tokens.COMMA (pos yypos, pos yypos + size yytext));
374 <INITIAL> ":::" => (Tokens.TCOLON (pos yypos, pos yypos + size yytext)); 374 <INITIAL> ":::" => (Tokens.TCOLON (pos yypos, pos yypos + size yytext));
375 <INITIAL> "::_" => (Tokens.DCOLONWILD (pos yypos, pos yypos + size yytext));
375 <INITIAL> "::" => (Tokens.DCOLON (pos yypos, pos yypos + size yytext)); 376 <INITIAL> "::" => (Tokens.DCOLON (pos yypos, pos yypos + size yytext));
376 <INITIAL> ":" => (Tokens.COLON (pos yypos, pos yypos + size yytext)); 377 <INITIAL> ":" => (Tokens.COLON (pos yypos, pos yypos + size yytext));
377 <INITIAL> "..." => (Tokens.DOTDOTDOT (pos yypos, pos yypos + size yytext)); 378 <INITIAL> "..." => (Tokens.DOTDOTDOT (pos yypos, pos yypos + size yytext));
378 <INITIAL> "." => (Tokens.DOT (pos yypos, pos yypos + size yytext)); 379 <INITIAL> "." => (Tokens.DOT (pos yypos, pos yypos + size yytext));
379 <INITIAL> "$" => (Tokens.DOLLAR (pos yypos, pos yypos + size yytext)); 380 <INITIAL> "$" => (Tokens.DOLLAR (pos yypos, pos yypos + size yytext));