comparison src/lacweb.lex @ 31:1c91c5e6840f

Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents e6ccf961d8a3
children e3d3c2791105
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
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)); 131 <INITIAL> "structure" => (Tokens.STRUCTURE (yypos, yypos + size yytext));
132 <INITIAL> "signature" => (Tokens.STRUCTURE (yypos, yypos + size yytext)); 132 <INITIAL> "signature" => (Tokens.SIGNATURE (yypos, yypos + size yytext));
133 <INITIAL> "struct" => (Tokens.STRUCT (yypos, yypos + size yytext)); 133 <INITIAL> "struct" => (Tokens.STRUCT (yypos, yypos + size yytext));
134 <INITIAL> "sig" => (Tokens.SIG (yypos, yypos + size yytext)); 134 <INITIAL> "sig" => (Tokens.SIG (yypos, yypos + size yytext));
135 <INITIAL> "end" => (Tokens.END (yypos, yypos + size yytext)); 135 <INITIAL> "end" => (Tokens.END (yypos, yypos + size yytext));
136 136
137 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext)); 137 <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext));