diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-29 16:38:15 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 16:38:15 -0400 |
| commit | aa1b3a24913edd0dc97af0d1fc9e3dc0026a2460 (patch) | |
| tree | ea20c705efe957d91b540e491ed8b7c6ff58efd9 /src/lacweb.lex | |
| parent | c9e2d6c9f290298c0068a72831d314793897f327 (diff) | |
Parsing basic patterns
Diffstat (limited to 'src/lacweb.lex')
| -rw-r--r-- | src/lacweb.lex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lacweb.lex b/src/lacweb.lex index 506537e5..862d5d31 100644 --- a/src/lacweb.lex +++ b/src/lacweb.lex @@ -259,6 +259,7 @@ notags = [^<{\n]+; <INITIAL> "and" => (Tokens.AND (pos yypos, pos yypos + size yytext)); <INITIAL> "fn" => (Tokens.FN (pos yypos, pos yypos + size yytext)); <INITIAL> "fold" => (Tokens.FOLD (pos yypos, pos yypos + size yytext)); +<INITIAL> "case" => (Tokens.CASE (pos yypos, pos yypos + size yytext)); <INITIAL> "structure" => (Tokens.STRUCTURE (pos yypos, pos yypos + size yytext)); <INITIAL> "signature" => (Tokens.SIGNATURE (pos yypos, pos yypos + size yytext)); |