comparison src/lacweb.lex @ 211:e86411f647c6

Initial type class support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:32:18 -0400
parents 1487c712eb12
children 5292c0113024
comparison
equal deleted inserted replaced
210:f4033abd6ab1 211:e86411f647c6
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 <INITIAL> "table" => (Tokens.TABLE (pos yypos, pos yypos + size yytext));
283 <INITIAL> "class" => (Tokens.CLASS (pos yypos, pos yypos + size yytext));
283 284
284 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext)); 285 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
285 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext)); 286 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));
286 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext)); 287 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext));
287 288