comparison src/lacweb.lex @ 243:2b9dfaffb008

Transactions and queries, at source level
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 14:48:33 -0400
parents cc193f680193
children
comparison
equal deleted inserted replaced
242:cc193f680193 243:2b9dfaffb008
264 <INITIAL> "__" => (Tokens.UNDERUNDER (pos yypos, pos yypos + size yytext)); 264 <INITIAL> "__" => (Tokens.UNDERUNDER (pos yypos, pos yypos + size yytext));
265 <INITIAL> "_" => (Tokens.UNDER (pos yypos, pos yypos + size yytext)); 265 <INITIAL> "_" => (Tokens.UNDER (pos yypos, pos yypos + size yytext));
266 <INITIAL> "~" => (Tokens.TWIDDLE (pos yypos, pos yypos + size yytext)); 266 <INITIAL> "~" => (Tokens.TWIDDLE (pos yypos, pos yypos + size yytext));
267 <INITIAL> "|" => (Tokens.BAR (pos yypos, pos yypos + size yytext)); 267 <INITIAL> "|" => (Tokens.BAR (pos yypos, pos yypos + size yytext));
268 <INITIAL> "*" => (Tokens.STAR (pos yypos, pos yypos + size yytext)); 268 <INITIAL> "*" => (Tokens.STAR (pos yypos, pos yypos + size yytext));
269 <INITIAL> "<-" => (Tokens.LARROW (pos yypos, pos yypos + size yytext));
270 <INITIAL> ";" => (Tokens.SEMI (pos yypos, pos yypos + size yytext));
269 271
270 <INITIAL> "con" => (Tokens.CON (pos yypos, pos yypos + size yytext)); 272 <INITIAL> "con" => (Tokens.CON (pos yypos, pos yypos + size yytext));
271 <INITIAL> "type" => (Tokens.LTYPE (pos yypos, pos yypos + size yytext)); 273 <INITIAL> "type" => (Tokens.LTYPE (pos yypos, pos yypos + size yytext));
272 <INITIAL> "datatype" => (Tokens.DATATYPE (pos yypos, pos yypos + size yytext)); 274 <INITIAL> "datatype" => (Tokens.DATATYPE (pos yypos, pos yypos + size yytext));
273 <INITIAL> "of" => (Tokens.OF (pos yypos, pos yypos + size yytext)); 275 <INITIAL> "of" => (Tokens.OF (pos yypos, pos yypos + size yytext));