Mercurial > urweb

comparison src/urweb.lex @ 1732:4a03aa3251cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial support for reusing elaboration results
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Apr 2012 13:17:31 -0400
parents ac141fbb313a
children d6e233db97c8
comparison
equal deleted inserted replaced
1731:27e731a65934 1732:4a03aa3251cb
424 <INITIAL> "let" => (Tokens.LET (pos yypos, pos yypos + size yytext)); 424 <INITIAL> "let" => (Tokens.LET (pos yypos, pos yypos + size yytext));
425 <INITIAL> "in" => (Tokens.IN (pos yypos, pos yypos + size yytext)); 425 <INITIAL> "in" => (Tokens.IN (pos yypos, pos yypos + size yytext));
426 <INITIAL> "end" => (Tokens.END (pos yypos, pos yypos + size yytext)); 426 <INITIAL> "end" => (Tokens.END (pos yypos, pos yypos + size yytext));
427 <INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext)); 427 <INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext));
428 <INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext)); 428 <INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext));
429 <INITIAL> "extern" => (Tokens.EXTERN (pos yypos, pos yypos + size yytext));
430 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext)); 429 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext));
431 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext)); 430 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext));
432 <INITIAL> "constraint"=> (Tokens.CONSTRAINT (pos yypos, pos yypos + size yytext)); 431 <INITIAL> "constraint"=> (Tokens.CONSTRAINT (pos yypos, pos yypos + size yytext));
433 <INITIAL> "constraints"=> (Tokens.CONSTRAINTS (pos yypos, pos yypos + size yytext)); 432 <INITIAL> "constraints"=> (Tokens.CONSTRAINTS (pos yypos, pos yypos + size yytext));
434 <INITIAL> "export" => (Tokens.EXPORT (pos yypos, pos yypos + size yytext)); 433 <INITIAL> "export" => (Tokens.EXPORT (pos yypos, pos yypos + size yytext));