diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-17 10:09:34 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-17 10:09:34 -0400 |
| commit | dcfd6390610712e9d498cdb4e466eb932a6bb138 (patch) | |
| tree | 83ba4c2e9b1d7a6ef837f323bed5a279b517fdb9 /src/lacweb.lex | |
| parent | c8dc6a0ab0a9f64a6d5bd1bfae94f04dc941e26d (diff) | |
Parsing and elaborating (non-mutual) 'val rec'
Diffstat (limited to 'src/lacweb.lex')
| -rw-r--r-- | src/lacweb.lex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lacweb.lex b/src/lacweb.lex index 9e261d9f..f6aeedf3 100644 --- a/src/lacweb.lex +++ b/src/lacweb.lex @@ -251,6 +251,8 @@ notags = [^<{\n]+; <INITIAL> "con" => (Tokens.CON (pos yypos, pos yypos + size yytext)); <INITIAL> "type" => (Tokens.LTYPE (pos yypos, pos yypos + size yytext)); <INITIAL> "val" => (Tokens.VAL (pos yypos, pos yypos + size yytext)); +<INITIAL> "rec" => (Tokens.REC (pos yypos, pos yypos + size yytext)); +<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)); |