Mercurial > urweb
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)); |