comparison src/urweb.lex @ 2010:403f0cc65b9c

New lessSafeFfi
author Adam Chlipala <adam@chlipala.net>
date Fri, 02 May 2014 19:19:09 -0400
parents 146ec8e90063
children 6d126af2e1cb
comparison
equal deleted inserted replaced
2009:799be3911ce3 2010:403f0cc65b9c
443 <INITIAL> "class" => (Tokens.CLASS (pos yypos, pos yypos + size yytext)); 443 <INITIAL> "class" => (Tokens.CLASS (pos yypos, pos yypos + size yytext));
444 <INITIAL> "cookie" => (Tokens.COOKIE (pos yypos, pos yypos + size yytext)); 444 <INITIAL> "cookie" => (Tokens.COOKIE (pos yypos, pos yypos + size yytext));
445 <INITIAL> "style" => (Tokens.STYLE (pos yypos, pos yypos + size yytext)); 445 <INITIAL> "style" => (Tokens.STYLE (pos yypos, pos yypos + size yytext));
446 <INITIAL> "task" => (Tokens.TASK (pos yypos, pos yypos + size yytext)); 446 <INITIAL> "task" => (Tokens.TASK (pos yypos, pos yypos + size yytext));
447 <INITIAL> "policy" => (Tokens.POLICY (pos yypos, pos yypos + size yytext)); 447 <INITIAL> "policy" => (Tokens.POLICY (pos yypos, pos yypos + size yytext));
448 <INITIAL> "ffi" => (Tokens.FFI (pos yypos, pos yypos + size yytext));
448 449
449 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext)); 450 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
450 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext)); 451 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));
451 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext)); 452 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext));
452 453