Mercurial > urweb
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)); |