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