comparison src/lacweb.lex @ 110:3739af9e727a

Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children 6230bdd122e7
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
225 <INITIAL> "()" => (Tokens.UNIT (pos yypos, pos yypos + size yytext)); 225 <INITIAL> "()" => (Tokens.UNIT (pos yypos, pos yypos + size yytext));
226 <INITIAL> "(" => (Tokens.LPAREN (pos yypos, pos yypos + size yytext)); 226 <INITIAL> "(" => (Tokens.LPAREN (pos yypos, pos yypos + size yytext));
227 <INITIAL> ")" => (Tokens.RPAREN (pos yypos, pos yypos + size yytext)); 227 <INITIAL> ")" => (Tokens.RPAREN (pos yypos, pos yypos + size yytext));
228 <INITIAL> "[" => (Tokens.LBRACK (pos yypos, pos yypos + size yytext)); 228 <INITIAL> "[" => (Tokens.LBRACK (pos yypos, pos yypos + size yytext));
229 <INITIAL> "]" => (Tokens.RBRACK (pos yypos, pos yypos + size yytext)); 229 <INITIAL> "]" => (Tokens.RBRACK (pos yypos, pos yypos + size yytext));
230 <INITIAL> "{" => (Tokens.LBRACE (pos yypos, pos yypos + size yytext)); 230 <INITIAL> "{" => (enterBrace ();
231 <INITIAL> "}" => (Tokens.RBRACE (pos yypos, pos yypos + size yytext)); 231 Tokens.LBRACE (pos yypos, pos yypos + size yytext));
232 <INITIAL> "}" => (exitBrace ();
233 Tokens.RBRACE (pos yypos, pos yypos + size yytext));
232 234
233 <INITIAL> "->" => (Tokens.ARROW (pos yypos, pos yypos + size yytext)); 235 <INITIAL> "->" => (Tokens.ARROW (pos yypos, pos yypos + size yytext));
234 <INITIAL> "=>" => (Tokens.DARROW (pos yypos, pos yypos + size yytext)); 236 <INITIAL> "=>" => (Tokens.DARROW (pos yypos, pos yypos + size yytext));
235 <INITIAL> "++" => (Tokens.PLUSPLUS (pos yypos, pos yypos + size yytext)); 237 <INITIAL> "++" => (Tokens.PLUSPLUS (pos yypos, pos yypos + size yytext));
236 238