comparison src/lacweb.lex @ 203:dd82457fda82

Parsing and elaborating 'table'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 13:20:29 -0400
parents 85b5f663bb86
children 241c9a0e3397
comparison
equal deleted inserted replaced
202:af5bd54cbbd7 203:dd82457fda82
277 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext)); 277 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext));
278 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext)); 278 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext));
279 <INITIAL> "constraint"=> (Tokens.CONSTRAINT (pos yypos, pos yypos + size yytext)); 279 <INITIAL> "constraint"=> (Tokens.CONSTRAINT (pos yypos, pos yypos + size yytext));
280 <INITIAL> "constraints"=> (Tokens.CONSTRAINTS (pos yypos, pos yypos + size yytext)); 280 <INITIAL> "constraints"=> (Tokens.CONSTRAINTS (pos yypos, pos yypos + size yytext));
281 <INITIAL> "export" => (Tokens.EXPORT (pos yypos, pos yypos + size yytext)); 281 <INITIAL> "export" => (Tokens.EXPORT (pos yypos, pos yypos + size yytext));
282 <INITIAL> "table" => (Tokens.TABLE (pos yypos, pos yypos + size yytext));
282 283
283 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext)); 284 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
284 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext)); 285 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));
285 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext)); 286 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext));
286 287