Mercurial > urweb
comparison src/urweb.lex @ 446:86c063fedc4d
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)); |