diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:16:20 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:16:20 -0400 |
commit | 2355b20a32d8ed4924cee84a44831061b2b49b49 (patch) | |
tree | 7aa350f9a882036f84b87db938ee217663af875b /src/lacweb.lex | |
parent | 230753c968d4615b8e875940c4147d79d04d1ad3 (diff) |
Simple signature matching
Diffstat (limited to 'src/lacweb.lex')
-rw-r--r-- | src/lacweb.lex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lacweb.lex b/src/lacweb.lex index 2170c1d5..c5ce7ae8 100644 --- a/src/lacweb.lex +++ b/src/lacweb.lex @@ -129,7 +129,7 @@ realconst = [0-9]+\.[0-9]*; <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)); |