comparison src/lacweb.lex @ 58:fd8a81ecd598

include
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 18:17:21 -0400
parents a6e185c7c428
children 9f89f0b00b84
comparison
equal deleted inserted replaced
57:618b7054f931 58:fd8a81ecd598
153 <INITIAL> "sig" => (if yypos = 2 then initialSig () else (); Tokens.SIG (pos yypos, pos yypos + size yytext)); 153 <INITIAL> "sig" => (if yypos = 2 then initialSig () else (); Tokens.SIG (pos yypos, pos yypos + size yytext));
154 <INITIAL> "end" => (Tokens.END (pos yypos, pos yypos + size yytext)); 154 <INITIAL> "end" => (Tokens.END (pos yypos, pos yypos + size yytext));
155 <INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext)); 155 <INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext));
156 <INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext)); 156 <INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext));
157 <INITIAL> "extern" => (Tokens.EXTERN (pos yypos, pos yypos + size yytext)); 157 <INITIAL> "extern" => (Tokens.EXTERN (pos yypos, pos yypos + size yytext));
158 <INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext));
159 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext));
158 160
159 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext)); 161 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
160 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext)); 162 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));
161 163
162 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); 164 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));