comparison src/lacweb.lex @ 8:a455a9f85cc3

Parsing basic expressions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 17:10:26 -0500
parents 2ce5bf227d01
children f1c36df29ed7
comparison
equal deleted inserted replaced
7:2ce5bf227d01 8:a455a9f85cc3
108 <INITIAL> "$" => (Tokens.DOLLAR (yypos, yypos + size yytext)); 108 <INITIAL> "$" => (Tokens.DOLLAR (yypos, yypos + size yytext));
109 <INITIAL> "#" => (Tokens.HASH (yypos, yypos + size yytext)); 109 <INITIAL> "#" => (Tokens.HASH (yypos, yypos + size yytext));
110 110
111 <INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext)); 111 <INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext));
112 <INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext)); 112 <INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext));
113 <INITIAL> "val" => (Tokens.VAL (yypos, yypos + size yytext));
113 <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext)); 114 <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext));
114 115
115 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext)); 116 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext));
116 <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext)); 117 <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext));
117 118