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