diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-10-10 13:07:38 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-10-10 13:07:38 -0400 |
| commit | d8bc26c9647d2b45009f6538bc2a69508c983449 (patch) | |
| tree | 1d0f355dec824a81d80e9e838e0cae8845f8e179 /src/urweb.lex | |
| parent | 975b1f43784dfc1769ec93dd5dd408434791464e (diff) | |
Flex kinds for type-level tuples; ::_ notation
Diffstat (limited to 'src/urweb.lex')
| -rw-r--r-- | src/urweb.lex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/urweb.lex b/src/urweb.lex index 0ee09cad..a6df5f1b 100644 --- a/src/urweb.lex +++ b/src/urweb.lex @@ -372,6 +372,7 @@ xint = x[0-9a-fA-F][0-9a-fA-F]; <INITIAL> ">=" => (Tokens.GE (pos yypos, pos yypos + size yytext)); <INITIAL> "," => (Tokens.COMMA (pos yypos, pos yypos + size yytext)); <INITIAL> ":::" => (Tokens.TCOLON (pos yypos, pos yypos + size yytext)); +<INITIAL> "::_" => (Tokens.DCOLONWILD (pos yypos, pos yypos + size yytext)); <INITIAL> "::" => (Tokens.DCOLON (pos yypos, pos yypos + size yytext)); <INITIAL> ":" => (Tokens.COLON (pos yypos, pos yypos + size yytext)); <INITIAL> "..." => (Tokens.DOTDOTDOT (pos yypos, pos yypos + size yytext)); |