comparison src/urweb.lex @ 1306:3a845f2ce9e9

:::_ notation; switch to TooDeep error message
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 20:33:10 -0400
parents d008c4c43a0a
children 1595a738e4e9
comparison
equal deleted inserted replaced
1305:a6fc03d28170 1306:3a845f2ce9e9
369 <INITIAL> "<" => (Tokens.LT (pos yypos, pos yypos + size yytext)); 369 <INITIAL> "<" => (Tokens.LT (pos yypos, pos yypos + size yytext));
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.TCOLONWILD (pos yypos, pos yypos + size yytext));
374 <INITIAL> ":::" => (Tokens.TCOLON (pos yypos, pos yypos + size yytext)); 375 <INITIAL> ":::" => (Tokens.TCOLON (pos yypos, pos yypos + size yytext));
375 <INITIAL> "::_" => (Tokens.DCOLONWILD (pos yypos, pos yypos + size yytext)); 376 <INITIAL> "::_" => (Tokens.DCOLONWILD (pos yypos, pos yypos + size yytext));
376 <INITIAL> "::" => (Tokens.DCOLON (pos yypos, pos yypos + size yytext)); 377 <INITIAL> "::" => (Tokens.DCOLON (pos yypos, pos yypos + size yytext));
377 <INITIAL> ":" => (Tokens.COLON (pos yypos, pos yypos + size yytext)); 378 <INITIAL> ":" => (Tokens.COLON (pos yypos, pos yypos + size yytext));
378 <INITIAL> "..." => (Tokens.DOTDOTDOT (pos yypos, pos yypos + size yytext)); 379 <INITIAL> "..." => (Tokens.DOTDOTDOT (pos yypos, pos yypos + size yytext));