comparison src/lacweb.lex @ 30:e6ccf961d8a3

Parsing and printing basic module system
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 14:04:22 -0400
parents 9a578171de9e
children 1c91c5e6840f
comparison
equal deleted inserted replaced
29:537db4ee89f4 30:e6ccf961d8a3
126 <INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext)); 126 <INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext));
127 <INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext)); 127 <INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext));
128 <INITIAL> "val" => (Tokens.VAL (yypos, yypos + size yytext)); 128 <INITIAL> "val" => (Tokens.VAL (yypos, yypos + size yytext));
129 <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext)); 129 <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext));
130 130
131 <INITIAL> "structure" => (Tokens.STRUCTURE (yypos, yypos + size yytext));
132 <INITIAL> "signature" => (Tokens.STRUCTURE (yypos, yypos + size yytext));
133 <INITIAL> "struct" => (Tokens.STRUCT (yypos, yypos + size yytext));
134 <INITIAL> "sig" => (Tokens.SIG (yypos, yypos + size yytext));
135 <INITIAL> "end" => (Tokens.END (yypos, yypos + size yytext));
136
131 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext)); 137 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext));
132 <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext)); 138 <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext));
133 139
134 <INITIAL> {id} => (Tokens.SYMBOL (yytext, yypos, yypos + size yytext)); 140 <INITIAL> {id} => (Tokens.SYMBOL (yytext, yypos, yypos + size yytext));
135 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, yypos, yypos + size yytext)); 141 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, yypos, yypos + size yytext));