comparison src/urweb.lex @ 459:f542bc3133dc

Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 86c063fedc4d
children 3f1b9231a37b
comparison
equal deleted inserted replaced
458:8f65b0fa3b29 459:f542bc3133dc
311 <INITIAL> "constraints"=> (Tokens.CONSTRAINTS (pos yypos, pos yypos + size yytext)); 311 <INITIAL> "constraints"=> (Tokens.CONSTRAINTS (pos yypos, pos yypos + size yytext));
312 <INITIAL> "export" => (Tokens.EXPORT (pos yypos, pos yypos + size yytext)); 312 <INITIAL> "export" => (Tokens.EXPORT (pos yypos, pos yypos + size yytext));
313 <INITIAL> "table" => (Tokens.TABLE (pos yypos, pos yypos + size yytext)); 313 <INITIAL> "table" => (Tokens.TABLE (pos yypos, pos yypos + size yytext));
314 <INITIAL> "sequence" => (Tokens.SEQUENCE (pos yypos, pos yypos + size yytext)); 314 <INITIAL> "sequence" => (Tokens.SEQUENCE (pos yypos, pos yypos + size yytext));
315 <INITIAL> "class" => (Tokens.CLASS (pos yypos, pos yypos + size yytext)); 315 <INITIAL> "class" => (Tokens.CLASS (pos yypos, pos yypos + size yytext));
316 <INITIAL> "cookie" => (Tokens.COOKIE (pos yypos, pos yypos + size yytext));
316 317
317 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext)); 318 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
318 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext)); 319 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));
319 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext)); 320 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext));
320 321