Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/lacweb.lex Thu Jun 12 14:04:22 2008 -0400 +++ b/src/lacweb.lex Thu Jun 12 17:16:20 2008 -0400 @@ -129,7 +129,7 @@ <INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext)); <INITIAL> "structure" => (Tokens.STRUCTURE (yypos, yypos + size yytext)); -<INITIAL> "signature" => (Tokens.STRUCTURE (yypos, yypos + size yytext)); +<INITIAL> "signature" => (Tokens.SIGNATURE (yypos, yypos + size yytext)); <INITIAL> "struct" => (Tokens.STRUCT (yypos, yypos + size yytext)); <INITIAL> "sig" => (Tokens.SIG (yypos, yypos + size yytext)); <INITIAL> "end" => (Tokens.END (yypos, yypos + size yytext));