Mercurial > urweb

comparison src/urweb.lex @ 446:86c063fedc4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing 'let'
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 10:47:10 -0400
parents dfc8c991abd0
children f542bc3133dc
comparison
equal deleted inserted replaced
445:dfc8c991abd0 446:86c063fedc4d
297 297
298 <INITIAL> "structure" => (Tokens.STRUCTURE (pos yypos, pos yypos + size yytext)); 298 <INITIAL> "structure" => (Tokens.STRUCTURE (pos yypos, pos yypos + size yytext));
299 <INITIAL> "signature" => (Tokens.SIGNATURE (pos yypos, pos yypos + size yytext)); 299 <INITIAL> "signature" => (Tokens.SIGNATURE (pos yypos, pos yypos + size yytext));
300 <INITIAL> "struct" => (Tokens.STRUCT (pos yypos, pos yypos + size yytext)); 300 <INITIAL> "struct" => (Tokens.STRUCT (pos yypos, pos yypos + size yytext));
301 <INITIAL> "sig" => (if yypos = 2 then initialSig () else (); Tokens.SIG (pos yypos, pos yypos + size yytext)); 301 <INITIAL> "sig" => (if yypos = 2 then initialSig () else (); Tokens.SIG (pos yypos, pos yypos + size yytext));
302 <INITIAL> "let" => (Tokens.LET (pos yypos, pos yypos + size yytext));
303 <INITIAL> "in" => (Tokens.IN (pos yypos, pos yypos + size yytext));
302 <INITIAL> "end" => (Tokens.END (pos yypos, pos yypos + size yytext)); 304 <INITIAL> "end" => (Tokens.END (pos yypos, pos yypos + size yytext));
303 <INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext)); 305 <INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext));
304 <INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext)); 306 <INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext));
305 <INITIAL> "extern" => (Tokens.EXTERN (pos yypos, pos yypos + size yytext)); 307 <INITIAL> "extern" => (Tokens.EXTERN (pos yypos, pos yypos + size yytext));
306 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext)); 308 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext));