comparison src/urweb.lex @ 2149:854d7ba67a59

Remove duplicate lexer line
author Adam Chlipala <adam@chlipala.net>
date Thu, 28 May 2015 10:28:15 -0400
parents a49c12ddf47d
children 763ccca119bc
comparison
equal deleted inserted replaced
2148:a49c12ddf47d 2149:854d7ba67a59
535 <INITIAL> "CASCADE" => (Tokens.CASCADE (pos yypos, pos yypos + size yytext)); 535 <INITIAL> "CASCADE" => (Tokens.CASCADE (pos yypos, pos yypos + size yytext));
536 <INITIAL> "REFERENCES"=> (Tokens.REFERENCES (pos yypos, pos yypos + size yytext)); 536 <INITIAL> "REFERENCES"=> (Tokens.REFERENCES (pos yypos, pos yypos + size yytext));
537 537
538 <INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (pos yypos, pos yypos + size yytext)); 538 <INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (pos yypos, pos yypos + size yytext));
539 539
540 <INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (pos yypos, pos yypos + size yytext));
541
542 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); 540 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
543 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext)); 541 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));
544 542
545 <INITIAL> {hexconst} => (let val digits = String.extract (yytext, 2, NONE) 543 <INITIAL> {hexconst} => (let val digits = String.extract (yytext, 2, NONE)
546 val v = (StringCvt.scanString (Int64.scan StringCvt.HEX) digits) 544 val v = (StringCvt.scanString (Int64.scan StringCvt.HEX) digits)