comparison src/lacweb.lex @ 18:9a578171de9e

Unification wildcards
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 14:25:27 -0400
parents f1c36df29ed7
children e6ccf961d8a3
comparison
equal deleted inserted replaced
17:9bd8669d53c2 18:9a578171de9e
118 <INITIAL> "::" => (Tokens.DCOLON (yypos, yypos + size yytext)); 118 <INITIAL> "::" => (Tokens.DCOLON (yypos, yypos + size yytext));
119 <INITIAL> ":" => (Tokens.COLON (yypos, yypos + size yytext)); 119 <INITIAL> ":" => (Tokens.COLON (yypos, yypos + size yytext));
120 <INITIAL> "." => (Tokens.DOT (yypos, yypos + size yytext)); 120 <INITIAL> "." => (Tokens.DOT (yypos, yypos + size yytext));
121 <INITIAL> "$" => (Tokens.DOLLAR (yypos, yypos + size yytext)); 121 <INITIAL> "$" => (Tokens.DOLLAR (yypos, yypos + size yytext));
122 <INITIAL> "#" => (Tokens.HASH (yypos, yypos + size yytext)); 122 <INITIAL> "#" => (Tokens.HASH (yypos, yypos + size yytext));
123 <INITIAL> "__" => (Tokens.UNDERUNDER (yypos, yypos + size yytext));
124 <INITIAL> "_" => (Tokens.UNDER (yypos, yypos + size yytext));
123 125
124 <INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext)); 126 <INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext));
125 <INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext)); 127 <INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext));
126 <INITIAL> "val" => (Tokens.VAL (yypos, yypos + size yytext)); 128 <INITIAL> "val" => (Tokens.VAL (yypos, yypos + size yytext));
127 <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext)); 129 <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext));