diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-12 14:04:22 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 14:04:22 -0400 |
| commit | 230753c968d4615b8e875940c4147d79d04d1ad3 (patch) | |
| tree | 639cb07fdae987e65a8240c3aec788dff15a230e /src/lacweb.lex | |
| parent | c1c6013533ba8eaa3b41924bcd61d99a4da27955 (diff) | |
Parsing and printing basic module system
Diffstat (limited to 'src/lacweb.lex')
| -rw-r--r-- | src/lacweb.lex | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/lacweb.lex b/src/lacweb.lex index 3fb3d95e..2170c1d5 100644 --- a/src/lacweb.lex +++ b/src/lacweb.lex @@ -128,6 +128,12 @@ realconst = [0-9]+\.[0-9]*; <INITIAL> "val" => (Tokens.VAL (yypos, yypos + size yytext)); <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> "struct" => (Tokens.STRUCT (yypos, yypos + size yytext)); +<INITIAL> "sig" => (Tokens.SIG (yypos, yypos + size yytext)); +<INITIAL> "end" => (Tokens.END (yypos, yypos + size yytext)); + <INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext)); <INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext)); |