comparison src/lacweb.lex @ 7:2ce5bf227d01

Add type keyword
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:51:39 -0500
parents 4202f6eda946
children a455a9f85cc3
comparison
equal deleted inserted replaced
6:38bf996e1c2e 7:2ce5bf227d01
107 <INITIAL> "." => (Tokens.DOT (yypos, yypos + size yytext)); 107 <INITIAL> "." => (Tokens.DOT (yypos, yypos + size yytext));
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> "fn" => (Tokens.FN (yypos, yypos + size yytext)); 113 <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext));
113 114
114 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext)); 115 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext));
115 <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext)); 116 <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext));
116 117